Norbert E. Fuchs, Kaarel Kaljurand, Gerold Schneider
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.
Subjects: 13. Natural Language Processing; 11. Knowledge Representation
Submitted: Feb 13, 2006