Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces
We present Attempto Controlled English — a user- 
friendly first-order logic language with a rich English 
syntax — and its associated tools, and demonstrate how 
they meet the challenges of knowledge representation, 
reasoning, interoperability and user interfaces created 
by large software projects like the semantic web.