Model-based revision operators for terminologies in description logics

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 891-897

  Qi, Guilin ^a   Du, Jianfeng ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b INSTITUTE OF SOFTWARE   (China)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; ONTOLOGY; TERMINOLOGY;

BELIEF REVISION; DESCRIPTION LOGIC; FINE GRAINED; LOGICAL PROPERTIES; MODEL-BASED OPC; REVISION OPERATOR; THREE MODELS;

DATA DESCRIPTION;

EID: 77951095382     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook: Theory, implementation and application. Cambridge University Press, 2007.
2. Salem Benferhat, Didier Dubois, Henri Prade, and Mary-Anne Williams. A practical approach to revising prioritized knowledge bases. Studia Logica, 70(1):105-130, 2002.
3. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. Tractable reasoning and efficient query answering in description logics: The dl-lite family. J. Autom. Reasoning, 39(3):385-429, 2007.
4. M. Dalal. Investigations into a theory of knowledge base revision. In Proc. of AAAI, pages 475-479, 1988.
5. G. Flouris, D. Plexousakis, and G. Antoniou. On applying the AGM theory to DLs and OWL. In Proc. of ISWC, pages 216-231, 2005.
6. G. Flouris, Z. Huang, J.Z. Pan, D. Plexousakis, and H. Wache. Inconsistencies, negations and changes in ontologies. In Proc. of AAAI, pages 1295-1300, 2006.
7. P. Gärdenfors. Knowledge in Flux-Modeling the Dynamic of Epistemic States. The MIT Press, Cambridge, Mass, 1988.
8. G. De Giacomo, M. Lenzerini, A. Poggi, and R. Rosati. On the approximation of instance level update and erasure in description logics. In Proc. of AAAI, pages 403-408, 2007.
9. P. Haase and L. Stojanovic. Consistent evolution of owl ontologies. In Proc. of ESWC, pages 182-197, 2005.
10. P. Haase, F. van Harmelen, Z. Huang, H. Stuckenschmidt, and Y. Sure. A framework for handling inconsistency in changing ontologies. In Proc. of ISWC, pages 353-367, 2005.
11. C. Halaschek-Wiener, Y. Katz, and B. Parsia. Belief base revision for expressive description logics. In Proc. of OWL-ED. 2006.
12. S.O. Hansson. A Textbook of Belief Dynamics: Theory Change and Database Updating. Kluwer Academic Publishers, 1999.
13. H. Katsuno and A.O. Mendelzon. Propositional knowledge base revision and minimal change. Artif. Intell., 52(3):263-294, 1992.
14. B. Konev, C. Lutz, D. Walther, and F. Wolter. Formal properties of modularisation. In H. Stuckenschmidt and S. Spaccapietra, eds., Ontology Modularization, Springer, 2008.
15. Mark W. Krentel. The complexity of optimization problems. J. Comput. Syst. Sci., 36(3):490-509, 1988.
16. J. Lang and P. Marquis. Resolving inconsistencies by variable forgetting. In Proc. of KR, pages 239-250, 2002.
17. T. Meyer, K. Lee, and R. Booth. Knowledge integration for description logics. In Proc. of AAAI, pages 645-650, 2005.
18. G. Qi,W. Liu, and D. Bell. Knowledge base revision in description logics. In Proc. of JELIA, pages 386-398, 2006.
19. G. Qi, P. Haase, Z. Huang, Q. Ji, J.Z. Pan, and J. Völker. A kernel revision operator for terminologies - algorithms and evaluation. In Proc. of ISWC, pages 419-434. 2008.
20. A.L. Rector, N. Drummond, M. Horridge, J. Rogers, H. Knublauch, R. Stevens, H. Wang, and C. Wroe. Owl pizzas: Practical experience of teaching owl-dl: Common errors & common patterns. In Proc. of EKAW, pages 63-81, 2004.
21. M. Moretto Ribeiro and R. Wassermann. Base revision in description logics - preliminary results. In Proc. of IWOD, pages 69-82, 2007.
22. S. Schlobach, Z. Huang, R. Cornet, and F. van Harmelen. Debugging incoherent terminologies. J. Autom. Reasoning, 39(3):317-349, 2007.
23. Z.Wang, K.Wang, R.W. Topor, and J.Z. Pan. Forgetting concepts in dl-lite. In Proc. of ESWC, pages 245-257, 2008.