Attempto Controlled English meets the challenges of knowledge representation, reasoning, interoperability and user interfaces
Norbert E. Fuchs, Kaarel Kaljurand · Zurich Open Repository and Archive (University of Zurich) · 2006
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.