Raw

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.