Attempto Controlled English Meets the Challenges of Knowled...

Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces

inproceedings
Norbert E. Fuchs, Kaarel Kaljurand, Gerold Schneider
We present Attempto Controlled English — a userfriendly 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.
Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces
2006
FLAIRS 2006
rerg