Reasoning with Multi-version Ontologies
Zhisheng Huang, Heiner Stuckenschmidt · 2005
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