CREATING AND QUERYING FORMAL ONTOLOGIES VIA CONTROLLED NATURAL LANGUAGE

Formal ontologies are difficult to read and understand for domain experts who do not have a background in formal logic. This severely restricts the ability of this user group to determine whether an ontology conforms to the requirements of the application domain or not. We argue that a formal ontology—in our case a description logic knowledge base—should be created in a linguistically motivated way so that domain experts can understand and query the ontology. We first show that this can be partially achieved with the help of a naming convention which is based on those linguistic expressions that occur in the application domain. We then go a step further and suggest the use of a controlled natural language for creating and querying formal ontologies that follows the syntactic structure of a well-defined subset of English.

[1]  Catherine Dolbear,et al.  Lege Feliciter: Using Structured English to represent a Topographic Hydrology Ontology , 2007, OWLED.

[2]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[3]  Enrico Motta,et al.  PowerAqua: Fishing the Semantic Web , 2006, ESWC.

[4]  Rolf Schwitter,et al.  Let's talk in description logic via controlled natural language , 2006 .

[5]  Geoff Sutcliffe,et al.  The TPTP Problem Library , 1994, Journal of Automated Reasoning.

[6]  Chris Mellish,et al.  The semantic web as a Linguistic resource: Opportunities for natural language generation , 2005, Knowl. Based Syst..

[7]  Chris Mellish,et al.  Natural Language Processing in Pop-11: An Introduction to Computational Linguistics , 1989 .

[8]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[9]  Rolf Schwitter,et al.  Controlled Natural Language meets the SemanticWeb , 2004, ALTA.

[10]  K. Lundqvist,et al.  Investigating the readability of state-based formal requirements specification languages , 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.

[11]  E. Prud hommeaux,et al.  SPARQL query language for RDF , 2011 .

[12]  Martin Kay,et al.  Algorithm schemata and data structures in syntactic processing , 1986 .

[13]  Catherine Dolbear,et al.  A Comparison of three Controlled Natural Languages for OWL 1.1 , 2008, OWLED.

[14]  Abraham Bernstein,et al.  Querying Ontologies: A Controlled English Interface for End-Users , 2005, SEMWEB.

[15]  Volker Haarslev,et al.  Racer: A Core Inference Engine for the Semantic Web , 2003, EON.

[16]  Craig W. Thompson,et al.  Extending a Natural Language Interface with Geospatial Queries , 2007, IEEE Internet Computing.

[17]  Gerald Gazdar,et al.  Natural Language Processing in PROLOG: An Introduction to Computational Linguistics , 1989 .

[18]  Esther Kaufmann.  Talking to the Semantic Web - Query Interfaces to Ontologies for the Casual User , 2006, International Semantic Web Conference.

[19]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[20]  Neville Ryant,et al.  A Large-scale Classication of English Verbs , 2006 .

[21]  KweeTjoeLiong.  Review of "Natural language processing in LISP , 1990 .

[22]  Christoph Meinel,et al.  Student's Perception of a Semantic Search Engine , 2005, CELDA.

[23]  Kaarel Kaljurand,et al.  ATTEMPTO CONTROLLED ENGLISH AS A SEMANTIC WEB LANGUAGE , 2007 .

[24]  Ralf Schwitter,et al.  ECOLE: a look-ahead editor of controlled language , 2003, EAMT.

[25]  R. Bernardi,et al.  Lite Natural Language , 2006 .

[26]  Daniel Schober,et al.  Towards naming conventions for use in controlled vocabulary and ontology engineering , 2009 .

[27]  Harry R. Tennant,et al.  Talk to Your Semantic Web , 2005, IEEE Internet Comput..

[28]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[29]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[30]  Karen Spärck Jones,et al.  Natural language interfaces to databases , 1990, The Knowledge Engineering Review.

[31]  Bill Swartout,et al.  Description-Logic Knowledge Representation System Specification from the KRSS Group of the ARPA Know , 1993 .

[32]  Volker Haarslev,et al.  Resolving Quantifier and Number Restriction to Question OWL Ontologies , 2007, Third International Conference on Semantics, Knowledge and Grid (SKG 2007).

[33]  Tobias Kuhn,et al.  Writing Support for Controlled Natural Languages , 2008, ALTA.

[34]  Franz Baader.  Description Logics , 2009, Reasoning Web.

[35]  Oren Etzioni,et al.  Modern Natural Language Interfaces to Databases: Composing Statistical Parsing with Semantic Tractability , 2004, COLING.

[36]  Abraham Bernstein,et al.  Querix: A Natural Language Interface to Query Ontologies Based on Clarification Dialogs , 2006 .

[37]  Chris Mellish,et al.  Natural Language Processing in PROLOG , 1989 .

[38]  Peter Thanisch,et al.  Natural language interfaces to databases – an introduction , 1995, Natural Language Engineering.

[39]  Ralf Möller,et al.  A Flexible DL-based Architecture for Deductive Information Systems , 2006 .

[40]  Thomas R. Gruber,et al.  A Translation Approach to Portable Ontologies , 1993 .

[41]  Robert Stevens,et al.  OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns , 2004, EKAW.

[42]  Abraham Bernstein,et al.  Talking to the Semantic Web - A Controlled English Query Interface for Ontologies* , 2004 .

[43]  Thomas Andreas Meyer,et al.  Sydney OWL Syntax - towards a Controlled Natural Language Syntax for OWL 1.1 , 2007, OWLED.