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.