Theorem Proving in the Ontology Lifecycle

In this paper we present a methodology for the verification of first-order logic ontologies, and provide a lifecycle in which it may be implemented to develop a correct ontology. We discuss the need for a methodology to address development issues and illustrate the way in which this characterization of the ontology lifecycle supports the design and deployment of ontologies within software applications. Theorem proving plays a critical role in the specification of requirements, design, and verification of the ontology. We illustrate the application of theorem proving in the lifecycle using examples from the PSL Ontology.

[1]  Steffen Staab,et al.  Ontology Engineering and Evolution in a Distributed World Using DILIGENT , 2009, Handbook on Ontologies.

[2]  Michael Grüninger,et al.  PSL: A semantic domain for flow models , 2005, Software & Systems Modeling.

[3]  Asunción Gómez-Pérez,et al.  METHONTOLOGY: From Ontological Art Towards Ontological Engineering , 1997, AAAI 1997.

[4]  Michael Gruninger,et al.  Methodology for the Design and Evaluation of Ontologies , 1995, IJCAI 1995.

[5]  Michael Gruninger,et al.  Using the PSL Ontology , 2009 .

[6]  Mark S. Fox,et al.  The Role of Competency Questions in Enterprise Engineering , 1995 .

[7]  Steffen Staab,et al.  On-To-Knowledge Methodology (OTKM) , 2004, Handbook on Ontologies.

[8]  Michael Grüninger The Ontological Stance for a Manufacturing Scenario , 2009, Cases on Semantic Interoperability for Information Systems Integration.

[9]  Michael Gruninger The Ontological Stance for a Manufacturing Scenario , 2009 .

[10]  B. Parsia,et al.  11 Ontology Integration Using E-Connections , 2022 .

[11]  Bijan Parsia,et al.  Ontology Integration Using epsilon-Connections , 2009, Modular Ontologies.

[12]  Michael Grüninger,et al.  Using the PSL Ontology , 2009, Handbook on Ontologies.

[13]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[14]  Asunción Gómez-Pérez,et al.  Ontological Engineering: With Examples from the Areas of Knowledge Management, e-Commerce and the Semantic Web , 2004, Advanced Information and Knowledge Processing.

[15]  Michael Grüninger,et al.  Ontology of the Process Specification Language , 2004, Handbook on Ontologies.

[16]  Martin L. King,et al.  Towards a Methodology for Building Ontologies , 1995 .