Knowledge representation with controlled English, ontologies and rules

I'll present ATTEMPTO controlled English (ACE) and EulerGUI.

ACE is a controlled natural language, i.e. a rich subset of standard English designed to serve as knowledge representation language. ACE appears perfectly natural, but — being a controlled subset of English — is in fact a formal (logic) language.

The ATTEMPTO tools are:

• command line tool
• AceWiki , an collaborative Web interface
• ACE View , a Protégé plugin
• ACE rule engine
• EulerGUI

I'm the main developper of EulerGUI.
EulerGUI has nice features to explore the Semantic Web and vocabularies.
The EulerGUI Integrated Development Environment (IDE) and framework allows one to develop and run rules in N3 logic language, applied to data and models in various formats converted in N3 syntax (Notation 3).
There are 4 reasoning engines: Euler proof engine , CWM , Drools, and FuXi.