Reasoning with Multi-version Ontologies: A Temporal Logic Approach

In this paper we propose a framework for reasoning with multi-version ontology, in which a temporal logic is developed to serve as its semantic foundation. We show that the temporal logic approach can provide a solid semantic foundation which can support various requirements on multi-version ontology reasoning. We have implemented the prototype of MORE (Multi-version Ontology REasoner), which is based on the proposed framework. We have tested MORE with several realistic ontologies. In this paper, we also discuss the implementation issues and report the experiments with MORE.

[1]  Peter Øhrstrøm,et al.  Temporal Logic , 1994, Lecture Notes in Computer Science.

[2]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[3]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[4]  D. Gabbay,et al.  Handbook of Philosophical Logic, Volume II. Extensions of Classical Logic , 1986 .

[5]  Michel C. A. Klein,et al.  Change Management for Distributed Ontologies , 2004 .

[6]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.

[7]  Pompeu Casanovas,et al.  Supporting newly-appointed judges: a legal knowledge management case study , 2005, J. Knowl. Manag..

[8]  Enrico Motta,et al.  The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings , 2005, SEMWEB.

[9]  Peter Crowther,et al.  The DIG Description Logic Interface , 2003, Description Logics.

[10]  Patrick Blackburn,et al.  Hybrid Languages and Temporal Logic , 1999, Log. J. IGPL.

[11]  J. van Benthem,et al.  Temporal logic , 1995 .

[12]  Frank van Harmelen,et al.  A Framework for Handling Inconsistency in Changing Ontologies , 2005, SEMWEB.

[13]  Stephan Merz,et al.  Model Checking , 2000 .

[14]  Mark A. Musen,et al.  The PROMPT suite: interactive tools for ontology merging and mapping , 2003, Int. J. Hum. Comput. Stud..

[15]  Peter Haase,et al.  Eu-ist Integrated Project (ip) Ist-2003-506826 Sekt D3.1.1 Ontology Management and Evolution – Survey, Methods and Prototypes Sekt Consortium , 2004 .

[16]  Ljiljana Stojanovic,et al.  Methods and tools for ontology evolution , 2004 .

[17]  Pieter De Leenheer,et al.  Revising and Managing Multiple Ontology Versions in a Possible Worlds Setting , 2004, OTM Workshops.

[18]  Pompeu Casanovas,et al.  Iuriservice: An Intelligent Frequently Asked Questions System to Assist Newly Appointed Judges , 2003, Law and the Semantic Web.

[19]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[20]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[21]  James A. Hendler,et al.  Dynamic Ontologies on the Web , 2000, AAAI/IAAI.

[22]  Zhisheng Huang,et al.  An Extended DIG Description Logic Interface for Prolog , 2004 .

[23]  Michel C. A. Klein,et al.  Ontology Versioning and Change Detection on the Web , 2002, EKAW.

[24]  Jeff Heflin,et al.  A Model Theoretic Semantics for Ontology Versioning , 2004, SEMWEB.

[25]  Michel C. A. Klein,et al.  Integrity and Change in Modular Ontologies , 2003, IJCAI.

[26]  Pompeu Casanovas,et al.  Law and the Semantic Web: Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications , 2005, Law and the Semantic Web.

[27]  Wamberto Weber Vasconcelos,et al.  Managing ontology versions with a distributed blackboard architecture , 2004, SGAI Conf..