Abstract
Ontology evolution is an important problem in the Semantic Web research. Recently, Alchourrón, Gärdenfors and Markinson’s (AGM) theory on belief change has been applied to deal with this problem. However, most of current work only focuses on the feasibility of the application of AGM postulates on contraction to description logics (DLs), a family of ontology languages. So the explicit construction of a revision operator is ignored. In this paper, we first generalize the AGM postulates on revision to DLs. We then define two revision operators in DLs. One is the weakening-based revision operator which is defined by weakening of statements in a DL knowledge base and the other is its refinement. We show that both operators capture some notions of minimal change and satisfy the generalized AGM postulates for revision.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. Journal of Automated Reasoning 14(1), 149–180 (1995)
Baader, F., Buchheit, M., Hollander, B.: Cardinality restrictions on concepts. Artificial Intelligence 88, 195–213 (1996)
Baader, F., McGuiness, D.L., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, implementation and application. Cambridge University Press, Cambridge (2003)
Benferhat, S., Baida, R.E.: A stratified first order logic approach for access control. International Journal of Intelligent Systems 19, 817–836 (2004)
Dalal, M.: Investigations into a theory of knowledge base revision: Preliminary report. In: Proc. of AAAI 1988, pp. 3–7 (1988)
Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American 284(5), 3443 (2001)
Flouris, G., Plexousakis, D., Antoniou, G.: Generalizing the AGM postulates: preliminary results and applications. In: Proc. of NMR 2004, pp. 171–179 (2004)
Flouris, G., Plexousakis, D., Antoniou, G.: On applying the AGM theory to dLs and OWL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 216–231. Springer, Heidelberg (2005)
Gärdenfors, P.: Knowledge in Flux-Modeling the Dynamic of Epistemic States. The MIT Press, Cambridge (1988)
Haase, P., Stojanovic, L.: Consistent evolution of OWL ontologies. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 182–197. Springer, Heidelberg (2005)
Haase, P., van Harmelen, F., Huang, Z., Stuckenschmidt, H., Sure, Y.: A framework for handling inconsistency in changing ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 353–367. Springer, Heidelberg (2005)
Hansson, S.O.: In denfence of base contraction. Synthese 91, 239–245 (1992)
Horrocks, I., Sattler, U.: Ontology reasoning in the SHOQ(D) description logic. In: Proc. of IJCAI 2001, pp. 199–204 (2001)
Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proc. of IJCAI 2005, pp. 254–259 (2005)
Liu, H., Lutz, C., Miličić, M., Wolter, F.: Updating description logic ABoxes. In: Proc. of KR 2006 (2006)
Kang, S.H., Lau, S.K.: Ontology revision using the concept of belief revision. In: Negoita, M.G., Howlett, R.J., Jain, L.C. (eds.) KES 2004. LNCS, vol. 3214, pp. 261–267. Springer, Heidelberg (2004)
Katsuno, H., Mendelzon, A.O.: Propositional Knowledge Base Revision and Minimal Change. Artificial Intelligence 52(3), 263–294 (1992)
Lutz, C., Areces, C., Horrocks, I., Sattler, U.: Keys, nominals, and concrete domains. Journal of Artificial Intelligence Research 23, 667–726 (2005)
Meyer, T., Lee, K., Booth, R.: Knowledge integration for description logics. In: Proc. of AAAI 2005, pp. 645–650 (2005)
Nebel, B.: Reasoning and Revision in Hybrid Representation Systems. LNCS (LNAI), vol. 422. Springer, Heidelberg (1990)
Nebel, B.: What is Hybrid in Hybrid Representation and Reasoning Systems? In: Gardin, F., Mauri, G., Filippini, M.G. (eds.) Computational Intelligence II: Proc. of the International Symposium Computational Intelligence 1989, pp. 217–228. North-Holland, Amsterdam (1990)
Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: Proc. of WWW 2005, pp. 633–640 (2005)
Qi, G., Liu, W., Bell, D.A.: Knowledge base revision in description logics, Available at: http://www.cs.qub.ac.uk/G.Qi/qlb06e.pdf
Schaerf, A.: Reasoning with individuals in concept languages. Data and Knowledge Engineering 13(2), 141–176 (1994)
Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc. of IJCAI 2003, pp. 355–360 (2003)
Schmidt-Schauß, M., Smolka, G.: Attributive Concept descriptions with complements. Artificial Intelligence 48, 1–26 (1991)
Stojanovic, L.: Methods and Tools for Ontology Evolution, PhD thesis, University of Karlsruhe (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Qi, G., Liu, W., Bell, D.A. (2006). Knowledge Base Revision in Description Logics. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds) Logics in Artificial Intelligence. JELIA 2006. Lecture Notes in Computer Science(), vol 4160. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11853886_32
Download citation
DOI: https://doi.org/10.1007/11853886_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-39625-3
Online ISBN: 978-3-540-39627-7
eBook Packages: Computer ScienceComputer Science (R0)