attempto (perhaps) refers to attempto controlled language. this is a subset of natural language which can processed by the attempto processing engine, whose output can be passed to a reasoning engine. the clearest example of this being done is at http://attempto.ifi.uzh.ch/site/resources/
