Attempto Controlled English (ACE) Â â a subset of English that can be translated into first-order logic â is a specification and knowledge representation language. ACE seems completely natural, but is actually a first-order logic language with an English syntax. Thus ACE is both human and machine understandable.
The Attempto Parsing Engine (APE) translates an ACE text into a discourse representation structure and other forms of first-order logic. APE has also a preliminary support for OWL-DL output, which means that ACE can now be used to write formal ontologies which are compatible with reasoners like Racer and Pellet, and tools like ProtÃ©gÃ© and SWOOP.
Zurich Uni. just made it public, though the source isn't (yet?) available ( announcement).Â
I must confess to being skeptical about the value of this kind of approach (by analogy, when working with a calculator I find it easier to enter 1234 not one thousand two hundred and thirty-four), but when there's running code at least there's the opportunity to evaluate.