Track:
All Papers
Downloads:
Abstract:
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.