A framework for handling inconsistency in changing ontologies

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

Volumn 3729 LNCS, Issue , 2005, Pages 353-367

  Haase, Peter ^a   Van Harmelen, Frank ^b   Huang, Zhisheng ^b   Stuckenschmidt, Heiner ^b   Sure, York ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SCIENCE; DATA PROCESSING; DISTRIBUTED COMPUTER SYSTEMS; KNOWLEDGE BASED SYSTEMS;

INCONSISTENCIES; MULTI-VERSION REASONING; ONTOLOGIES;

INFORMATION RETRIEVAL;

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

References (15)

1. Giorgos Flouris. Belief change in arbitrary logics. In HDMS, 2004.
2. P. Haase and L. Stojanovic. Consistent evolution of OWL ontologies. In Proceedings of the Second European Semantic Web Conference, Heraklion, Greece, 2005, MAY 2005.
3. J. Heflin. Towards the Semantic Web: Knowledge Representation in a Dynamic, Distributed Environment. Phd thesis, University of Maryland, 2001.
4. J.Heflin and J. Z. Pan. A model theoretic semantics for ontology versioning. In Third International Semantic Web Conference, pages 62-76, Hiroshima, Japan, 2004. Springer.
5. I. Horrocks and P. F. Patel-Schneider, Reducing OWL Entailment to Description Logic Satisfiability. Journal of Web Semantics, 1(4), 2004.
6. I. Horrocks, U. Sattler, and S. Tobies. Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL, 8(3):239-263, 2000.
7. Z. Huang and H. Stuckenschmidt. Reasoning with multiversion ontologies: a temporal logic approach. In Proceedings of the 2005 International Semantic Web Conference (ISWC'05), 2005.
8. Z. Huang, F. van Harmelen, and A. ten Teije. Reasoning with inconsistent ontologies. In Proceedings of the International Joint Conference on Artificial Intelligence(IJCAI'05), pages 254-259, 2005.
9. M. Klein. Change Management for Distributed Ontologies. Phd thesis, Vrije Universiteit Amsterdam, 2004.
10. D. McGuinness and F. van Harmelen. OWL Web Ontology Language. Recommendation, W3C, 2004. http://www.w3.org/TR/owl-features/.
11. N.F. Noy and MA. Musen. The prompt suite: Interactive tools for ontology merging and mapping. International Journal of Human-Computer Studies, 59(6):983-1024, 2003.
12. R. Reiter. A theory of diagnosis from first principles. Artif. Intelligence, 32(1):57-95, 1987.
13. S. Schlobach and R. Cornet. Non-standard reasoning services for the debugging of description logic terminologies. In Proceedings of the International Joint Conference on Artificial Intelligence - IJCAI'03, Acapulco, Mexico, 2003. Morgan Kaufmann.
14. L. Stojanovic. Methods and Tools for Ontology Evolution. Phd thesis, University of Karlsruhe, 2004.
15. H. Stuckenschmidt and M. Klein. Integrity and change in modular ontologies. In Proceedings of the International Joint Conference on Artificial Intelligence - IJCAI'03, Acapulco, Mexico, 2003. Morgan Kaufmann.