A survey of revision approaches in description logics

CEUR Workshop Proceedings

Volumn 353, Issue , 2008, Pages

  Qi, Guilin ^a   Yang, Fangkai ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA   (China)

Author keywords

[No Author keywords available]

Indexed keywords

BELIEF REVISION; DESCRIPTION LOGIC; LOGICAL PROPERTIES; ONTOLOGY EVOLUTION; REVISION OPERATOR;

FORMAL LANGUAGES;

DATA DESCRIPTION;

EID: 84872950900     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. Carlos E. Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log., 50(2):510-530, 1985.
2. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider. The Description Logic Handbook: Theory, implementation and application. Cambridge University Press, 2003.
3. Tim Berners-Lee, James Hendler, and Ora Lassila. The semantic web. Scientific American, 284(5):3443, 2001.
4. Giorgos Flouris, Zhisheng Huang, Jeff Z. Pan, Dimitris Plexousakis, and Holger Wache. Inconsistencies, negations and changes in ontologies. In Proc. of AAAI'06, pages 1295-1300, 2006.
5. Giorgos Flouris, Dimitris Plexousakis, and Grigoris Antoniou. Generalizing the agm postulates: preliminary results and applications. In Proc. of NMR'04, pages 171-179, 2004.
6. Giorgos Flouris, Dimitris Plexousakis, and Grigoris Antoniou. On applying the AGM theory to DLs and OWL. In Proc. of 4th International Conference on Semantic Web, pages 216-231. 2005.
7. Andre Fuhrmann. Theory contraction through base contraction. Journal of Philosophical Logic, 20(2):175-203, 1991.
8. Peter Gardenfors. Knowledge in Flux-Modeling the Dynamic of Epistemic States. The MIT Press, Cambridge, Mass, 1988.
9. Peter Haase and Ljiljana Stojanovic. Consistent evolution of owl ontologies. In Proc. of ESWC'05, pages 182-197, 2005.
10. Peter Haase, Frank van Harmelen, Zhisheng Huang, Heiner Stuckenschmidt, and York Sure. A framework for handling inconsistency in changing ontologies. In Proc. of 4th International Semantic Web Conference (ISWC'05), pages 353-367. Springer, 2005.
11. Christian Halaschek-Wiener, Yarden Katz, and Bijan Parsia. Belief base revision for expressive description logics. In Proc. of OWL-ED'06. 2006.
12. Sven Ove Hansson. New operators for theory change. Theoria, 55:114-32, 1989.
13. Sven Ove Hansson. Reversing the levi identity. Journal of Philosophical Logic, 22(6):637-669, 1993.
14. Sven Ove Hansson. Semi-revision (invited paper). Journal of Applied Non-Classical Logics, 7(2):151-175, 1997.
15. Sven Ove Hansson. A Textbook of Belief Dynamics: Theory Change and Database Updating. Kluwer Academic Publishers, 1999.
16. Hirofumi Katsuno and Alberto O. Mendelzon. Propositional knowledge base revision and minimal change. Artif. Intell., 52(3):263-294, 1992.
17. Thomas Meyer, Kevin Lee, and Richard Booth. Knowledge integration for description logics. In Proc. of 20th National Conference on Artificial Intelligence (AAAI'05), pages 645-650. AAAI Press, 2005.
18. Bernhard Nebel. Reasoning and Revision in Hybrid Representation Systems, volume 422 of Lecture Notes in Computer Science. Springer, 1990.
19. Peter Plessers and Olga De Troyer. Resolving inconsistencies in evolving ontologies. In Proc. of ESWC'06, pages 200-214, 2006.
20. Guilin Qi, Weiru Liu, and David A. Bell. Knowledge base revision in description logics. In Proc. of JELIA'06, pages 386-398. Springer Verlag, 2006.
21. Márcio Moretto Ribeiro and Renata Wassermann. First steps towards revising ontologies. In Proceedings of the Second Workshop on Ontologies and their Applications (WONTO 2006), 2006.
22. Márcio Moretto Ribeiro and Renata Wassermann. Base revision in description logics - preliminary results. In Proceedings of the International Workshop on Ontology Dynamics (IWOD 2007), 2007.
23. Stefan Schlobach, Zhisheng Huang, Ronald Cornet, and Frank van Harmelen. Debugging incoherent terminologies. J. Autom. Reasoning, 39(3):317-349, 2007.
24. Ljiljana Stojanovic. Methods and Tools for Ontology Evolution. PhD thesis, University of Karlsruhe, 2004.