Knowledge base revision in description logics

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

Volumn 4160 LNAI, Issue , 2006, Pages 386-398

  Qi, Guilin ^a   Liu, Weiru ^a   Bell, David A ^a  

^a QUEEN'S UNIVERSITY BELFAST   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LANGUAGES; KNOWLEDGE ACQUISITION; SEMANTICS;

ALCHOURRON GARDENFORS AND MARKINSON'S (AGM); DESCRIPTION LOGICS (DLS); ONTOLOGY EVOLUTION;

FORMAL LOGIC;

EID: 33750078987     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11853886_32     Document Type: Conference Paper

References (27)

1. F. Baader and B. Hollander. Embedding defaults into terminological knowledge representation formalisms, Journal of Automated Reasoning, 14(1):149-180, 1995.
2. F. Baader, M. Buchheit, and B. Hollander. Cardinality restrictions on concepts. Artificial Intelligence, 88:195-213, 1996.
3. F. Baader, D.L. McGuiness, D. Nardi, and Peter Patel-Schneider. The Description Logic Handbook: Theory, implementation and application, Cambridge University Press, 2003.
4. S. Benferhat, and R.E. Baida. A stratified first order logic approach for access control. International Journal of Intelligent Systems, 19:817-836, 2004.
5. M. Dalal. Investigations into a theory of knowledge base revision: Preliminary report, Proc. of AAAI'88, 3-7, 1988.
6. T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web, Scientific American, 284(5)-.3443, 2001.
7. G. Flouris, D. Plexousakis and G. Antoniou. Generalizing the AGM postulates: preliminary results and applications. In Proc. of NMR'04, 171-179, 2004.
8. G. Flouris, D. Plexousakis and G. Antoniou. On applying the AGM theory to DLs and OWL, In Proc. of ISWC'05, 216-231, 2005.
9. P. Gärdenfors, Knowledge in Flux-Modeling the Dynamic of Epistemic States, The MIT Press, Cambridge, Mass, 1988.
10. P. Haase and L. Stojanovic. Consistent evolution of OWL ontologies. In Proc. of 2nd European Semantic Web Conference (ESWC'05), 182-197, 2005.
11. P. Haase, F. van Harmelen, Z. Huang, H. Stuckenschmidt, and Y. Sure. A framework for handling inconsistency in changing ontologies, In Proc. of ISWC'05, LNCA3729, 353-367, 2005.
12. S.O. Hansson. In denfence of base contraction. Synthese, 91: 239-245, 1992.
13. I. Horrocks, and U. Sattler. Ontology reasoning in the SHOQ(D) description logic, In Proc. of IJCAI'01, 199-204, 2001.
14. Z. Huang, F. van Harmelen, and A. ten Teije. Reasoning with inconsistent ontologies, In Proc. of IJCAI'05, 254-259, 2005.
15. H. Liu, C. Lutz, M. Miličić, and F. Wolter. Updating description logic ABoxes. In Proc. of KR'06, 2006.
16. S.H. Kang and S.K. Lau. Ontology revision using the concept of belief revision. In Proc. of 8th International Conference on Knowledge-base Intelligent Information and Engineering Systems (KES'04), 261-267, 2004.
17. H. Katsuno and A.O. Mendelzon. Propositional Knowledge Base Revision and Minimal Change, Artificial Intelligence, 52(3): 263-294, 1992.
18. C. Lutz, C. Areces, I. Horrocks, and U. Sattler. Keys, nominals, and concrete domains, Journal of Artificial Intelligence Research, 23:667-726, 2005.
19. T. Meyer, K. Lee, and R. Booth. Knowledge integration for description logics, In Proc. of AAAI'05, 645-650, 2005.
20. B. Nebel. Reasoning and Revision in Hybrid Representation Systems, LNAI 422, Springer Verlag, Berlin, Heidelberg, New York, 1990.
21. B. Nebel. What is Hybrid in Hybrid Representation and Reasoning Systems?, In F. Gardin and G. Mauri and M. G. Filippini, editors, Computational Intelligence II: Proc. of the International Symposium Computational Intelligence 1989, North-Holland, Amsterdam, 217-228, 1990.
22. B. Parsia, E. Sirin and A. Kalyanpur. Debugging OWL ontologies, In Proc. of WWW'05, 633-640, 2005.
23. G. Qi, W. Liu and D.A. Bell. Knowledge base revision in description logics. Available at http://www.cs.qub.ac.uk/ G.Qi/qlb06e.pdf
24. A. Schaerf. Reasoning with individuals in concept languages. Data and Knowledge Engineering, 13(2):141-176, 1994.
25. S. Schlobach, and R. Cornet. Non-standard reasoning services for the debugging of description logic terminologies, In Proc. of IJCAI'2003, 355-360, 2003.
26. M. Schmidt-Schauß, and G. Smolka. Attributive Concept descriptions with complements, Artificial Intelligence, 48:1-26, 1991.
27. L. Stojanovic. Methods and Tools for Ontology Evolution, PhD thesis, University of Karlsruhe, 2004.