Reasoning with multi-version ontologies: A temporal logic approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3729 LNCS, Issue , 2005, Pages 398-412

  Huang, Zhisheng ^a   Stuckenschmidt, Heiner ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; DATA PROCESSING; FORMAL LOGIC; LOGIC PROGRAMMING; SEMANTICS; WORLD WIDE WEB;

MULTI-VERSION ONTOLOGY; SEMANTIC FOUNDATION; TEMPORAL LOGIC;

INFORMATION RETRIEVAL;

EID: 33646415338     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11574620_30     Document Type: Conference Paper

References (16)

1. Sean Bechhofer, Ralf Möller, and Peter Crowther. The DIG description logic interface. In International Workshop on Description Logics (DL2003). Rome, September 2003.
2. P. Blackburn and M. Tzakova. Hybrid languages and temporal logic. Logic Journal of the IGPL, 7(1):27-54, 1999.
3. V.R. Benjamins P. Casanovas, J. Contreras, J. M. López-Cobo, and L. Lemus. Iuriservice: An intelligent frequently asked questions system to assist newly appointed judges. In V.R. Benjamins et al, editor, Law and the Semantic Web, pages 205-522. Springer-Verlag, London, Berlin, 2005.
4. Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.
5. E. Compatangelo, W. Vasconcelos, and B. Scharlau. Managing ontology versions with a distributed blackboard architecture. In Proceedings of the 24th Int Conf. of the British Computer Societys Specialist Group on Artificial Intelligence (AI2004)-Springer-Verlag, 2004.
6. Volker Haarslev and Ralf Möller. Description of the racer system and its applications. In Proceedings of the International Workshop on Description Logics (DL-2001), pages 132-141. Stanford, USA, August 2001.
7. Peter Haase, Frank van Harmelen, Zhisheng Huang, Heiner Stuckenschmidt, and York Sure. A framework for handling inconsistency in changing ontologies. In Proceedings of ISWC2005, 2005.
8. D. Harel. Dynamic logic. In D. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic Volume II - Extensions of Classical Logic, pages 497-604. D. Reidel Publishing Company: Dordrecht, The Netherlands, 1984.
9. J. Heflin and J. Hendler. Dynamic ontologies on the web. In Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI-2000), pages 443-449. AAAI/MIT Press, Menlo Park, CA., 2000.
10. J. Heflin and Z. Pan. A model theoretic semantics for ontology versioning. In Proceedings of ISWC2004, pages 62-76, Hiroshima, Japan, 2004. Springer.
11. Zhisheng Huang and Cees Visser. Extended DIG description logic interface support for PROLOG. Deliverable D3.4.1.2, SEKT, 2004.
12. M.Klein. Change Management for Distributed Ontologies. Phd thesis, Vrije Universiteit Amsterdam, 2004.
13. N.F. Noy and M.A. Musen. The prompt suite: Interactive tools for ontology merging and mapping. International Journal of Human-Computer Studies, 59(6):983-1024, 2003.
14. S. Schlobach and R. Cornet. Non-standard reasoning services for the debugging of description logic terminologies. In Proceedings of IJCAI2003, Acapulco, Mexico, 2003. Morgan Kaufmann.
15. L. Stojanovic. Methods and Tools for Ontology Evolution. Phd thesis, University of Karlsruhe, 2003.
16. H. Stuckenschmidt and M. Klein. Integrity and change in modular ontologies. In Proceedings of IJCAI2003, Acapulco, Mexico, 2003. Morgan Kaufmann.