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.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-026

BibTeX:

@inproceedings{REWERSE-RP-2006-026,
	author = {Norbert E. Fuchs and Kaarel Kaljurand and Gerold Schneider},
	title = {Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces},
	booktitle = {Proceedings of 19th International Florida Artificial Intelligence Research Society Conference, Melbourne Beach, Florida, USA (11th--13th May 2006)},
	year = {2006},
	organization = {The Florida Artificial Intelligence Research Society},
	pages = {664--669},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-026}
}