Controlled English interface for knowledge bases

Paweł Kapłański


This paper describes the approach to interface for OWL Knowledge Bases based on Controlled English that is transformed directly to OWL 2 expressions and back. Two possible modes enable usage of the interface to specify Terminology, World Description as well as Integrity Constrains. Knowledge Base then can be validated against the Integrity Constrains to enable its continuous validation.


knowledge base; description logic; Controlled Natural Language; OWL

Full Text:



Auer S., Ives Z. G.: Integrating ontologies and relational data. Technical Report MS-CIS-07-24, University of Pennsylvania Department of Computer and Information Science Technical, 11, 2007.

Bechhofer S., Volz R., Lord P. W.: Cooking the semantic web with the OWL API. In The Semantic Web – ISWC 2003: Second International Semantic Web Conference, Sanibel Island, FL, USA 2003, p. 659÷675.

Berners-Lee T., Hendler J., Lassila O.: The Semantic Web. Scientific American, 2001, 284(5), p. 34÷43.

Cregan A., Schwitter R., Meyer T.: Sydney owl syntax – towards a controlled natural language syntax for owl 1.1. In OWLED, 2007.

Fuchs N. E., Schwertel U., Schwitter R.: Attempto controlled english – not just another logic specification language. In LOPSTR ’98: Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation, London, UK 1990, Springer-Verlag, p. 1÷20.

Hitzler P., Krotzsch M., Parsia B., Patel-Schneider P. F., Rudolph S.: OWL 2 Web Ontology Language Primer. W3C Recommendation, World Wide Web Consortium, October 2009.

Horridge M., Drummond N., Goodwin J., Rector A. L., Stevens R., Wang H.: The Manchester owl syntax. In OWLED, 2006.

Kaljurand K.: Attempto Controlled English as a Semantic Web Language. PhD thesis, Faculty of Mathematics and Computer Science, University of Tartu, 2007.

Kuhn T.: How to evaluate controlled natural languages. CoRR, abs/0907.1251, 2009.

Stanford School of Medicine. Protégé [], 2010.

Rosenkrantz D. J., Stearns R. E.: Properties of deterministic top down grammars, [in:] STOC’69: Proceedings of the first annual ACM symposium on Theory of computing, New York, NY, USA 1969, p. 165÷180.

Shearer R., Motik B., Horrocks I.: HermiT: A Highly-Efficient OWL Reasoner, [in:] Ruttenberg A., Sattler U., and Dolbear C. (eds.): Proc. of the 5th Int. Workshop on OWL: Experiences and Directions (OWLED 2008 EU), Karlsruhe, Germany, October 26–27 2008.