Reasoning with Multi-version Ontologies

EU-IST Integrated Project (IP) IST-2003-506826 SEKT Deliverable D3.5.1(WP3.5) In this document, 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. In this document, we present the design of the interfaces for MORE, and discuss its implementation. Keyword list: ontology management, ontology versioning, ontology reasoning

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

[2]  M. F.,et al.  Bibliography , 1985, Experimental Gerontology.

[3]  Jay Banerjee,et al.  Semantics and implementation of schema evolution in object-oriented databases , 1987, SIGMOD '87.

[4]  Temporal Logic , 1994, Lecture Notes in Computer Science.

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

[6]  John F. Roddick,et al.  A survey of schema versioning issues for database systems , 1995, Inf. Softw. Technol..

[7]  Ian Horrocks.  FaCT and iFaCT , 1999, Description Logics.

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

[9]  Patrick Blackburn,et al.  Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto , 2000, Log. J. IGPL.

[10]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

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

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

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

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

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

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

[17]  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 .

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

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

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

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