Abstract
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. © Springer-Verlag Berlin Heidelberg 2005.
Cite
CITATION STYLE
Huang, Z., & Stuckenschmidt, H. (2005). Reasoning with multi-version ontologies: A temporal logic approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3729 LNCS, pp. 398–412). Springer Verlag. https://doi.org/10.1007/11574620_30
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
