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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Bechhofer, S., Möller, R., Crowther, P.: The DIG description logic interface. In: International Workshop on Description Logics (DL 2003), Rome (September 2003)
Blackburn, P., Tzakova, M.: Hybrid languages and temporal logic. Logic Journal of the IGPL 7(1), 27–54 (1999)
Benjamins, V.R., Casanovas, P., Contreras, J., López-Cobo, J.M., Lemus, L.: Iuriservice: An intelligent frequently asked questions system to assist newly appointed judges. In: Benjamins, V.R., et al. (eds.) Law and the Semantic Web, pp. 205–522. Springer, London (2005)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
Compatangelo, E., Vasconcelos, W., Scharlau, B.: Managing ontology versions with a distributed blackboard architecture. In: Proceedings of the 24th Int Conf. of the British Computer Society’s Specialist Group on Artificial Intelligence (AI 2004), Springer, Heidelberg (2004)
Haarslev, V., Möller, R.: Description of the racer system and its applications. In: Proceedings of the International Workshop on Description Logics (DL 2001), Stanford, USA, August 2001, pp. 132–141 (2001)
Haase, P., van Harmelen, F., Huang, Z., Stuckenschmidt, H., Sure, Y.: A framework for handling inconsistency in changing ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 353–367. Springer, Heidelberg (2005)
Harel, D.: Dynamic logic. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic Volume II — Extensions of Classical Logic, pp. 497–604. D. Reidel Publishing Company, Dordrecht (1984)
Heflin, J., Hendler, J.: Dynamic ontologies on the web. In: Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI 2000), pp. 443–449. AAAI/MIT Press, Menlo Park (2000)
Heflin, J., Pan, Z.: A model theoretic semantics for ontology versioning. In: Proceedings of ISWC 2004, Hiroshima, Japan, pp. 62–76. Springer, Heidelberg (2004)
Huang, Z., Visser, C.: Extended DIG description logic interface support for PROLOG. Deliverable D3.4.1.2, SEKT (2004)
Klein, M.: Change Management for Distributed Ontologies. Phd thesis, Vrije Universiteit Amsterdam (2004)
Noy, N.F., Musen, M.A.: The prompt suite: Interactive tools for ontology merging and mapping. International Journal of Human-Computer Studies 59(6), 983–1024 (2003)
Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of IJCAI 2003, Acapulco, Mexico. Morgan Kaufmann, San Francisco (2003)
Stojanovic, L.: Methods and Tools for Ontology Evolution. Phd thesis, University of Karlsruhe (2003)
Stuckenschmidt, H., Klein, M.: Integrity and change in modular ontologies. In: Proceedings of IJCAI 2003, Acapulco, Mexico. Morgan Kaufmann, San Francisco (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Huang, Z., Stuckenschmidt, H. (2005). Reasoning with Multi-version Ontologies: A Temporal Logic Approach. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds) The Semantic Web – ISWC 2005. ISWC 2005. Lecture Notes in Computer Science, vol 3729. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11574620_30
Download citation
DOI: https://doi.org/10.1007/11574620_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29754-3
Online ISBN: 978-3-540-32082-1
eBook Packages: Computer ScienceComputer Science (R0)