Article

Model-based revision operators for terminologies in description logics

Authors:

Jianfeng DuAuthors Info & Claims

IJCAI'09: Proceedings of the 21st International Joint Conference on Artificial Intelligence

Pages 891 - 897

Published: 11 July 2009 Publication History

Abstract

The problem of revising an ontology consistently is closely related to the problem of belief revision which has been widely discussed in the literature. Some syntax-based belief revision operators have been adapted to revise ontologies in Description Logics (DLs). However, these operators remove the whole axioms to resolve logical contradictions and thus are not fine-grained. In this paper, we propose three model-based revision operators to revise terminologies in DLs. We show that one of them is more rational than others by comparing their logical properties. Therefore, we focus on this revision operator. We also consider the problem of computing the result of revision by our operator with the help of the notion of concept forgetting. Finally, we analyze the computational complexity of our revision operator.

References

[1]

{Baader et al., 2007} F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook: Theory, implementation and application. Cambridge University Press, 2007.

Digital Library

[2]

{Benferhat et al., 2002} 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]

{Calvanese et al., 2007} 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.

Digital Library

[4]

{Dalal, 1988} M. Dalal. Investigations into a theory of knowledge base revision. In Proc. of AAAI, pages 475- 479, 1988.

[5]

{Flouris et al., 2005} G. Flouris, D. Plexousakis, and G. Antoniou. On applying the AGM theory to DLs and OWL. In Proc. of ISWC, pages 216-231, 2005.

Digital Library

[6]

{Flouris et al., 2006} 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.

Digital Library

[7]

{Gärdenfors, 1988} P. Gärdenfors. Knowledge in Flux-Modeling the Dynamic of Epistemic States. The MIT Press, Cambridge, Mass, 1988.

[8]

{Giacomo et al., 2007} 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.

Digital Library

[9]

{Haase and Stojanovic, 2005} P. Haase and L. Stojanovic. Consistent evolution of owl ontologies. In Proc. of ESWC, pages 182-197, 2005.

Digital Library

[10]

{Haase et al., 2005} 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.

Digital Library

[11]

{Halaschek-Wiener et al., 2006} C. Halaschek-Wiener, Y. Katz, and B. Parsia. Belief base revision for expressive description logics. In Proc. of OWL-ED. 2006.

[12]

{Hansson, 1999} S. O. Hansson. A Textbook of Belief Dynamics: Theory Change and Database Updating. Kluwer Academic Publishers, 1999.

[13]

{Katsuno and Mendelzon, 1992} H. Katsuno and A.O. Mendelzon. Propositional knowledge base revision and minimal change. Artif. Intell., 52(3):263-294, 1992.

Digital Library

[14]

{Konev et al., 2008} B. Konev, C. Lutz, D. Walther, and F. Wolter. Formal properties of modularisation. In H. Stuckenschmidt and S. Spaccapietra, eds., Ontology Modularization, Springer, 2008.

Digital Library

[15]

{Krentel, 1988} Mark W. Krentel. The complexity of optimization problems. J. Comput. Syst. Sci., 36(3):490-509, 1988.

Digital Library

[16]

{Lang and Marquis, 2002} J. Lang and P. Marquis. Resolving inconsistencies by variable forgetting. In Proc. of KR, pages 239-250, 2002.

[17]

{Meyer et al., 2005} T. Meyer, K. Lee, and R. Booth. Knowledge integration for description logics. In Proc. of AAAI, pages 645-650, 2005.

Digital Library

[18]

{Qi et al., 2006} G. Qi, W. Liu, and D. Bell. Knowledge base revision in description logics. In Proc. of JELIA, pages 386-398, 2006.

Digital Library

[19]

{Qi et al., 2008} 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.

Digital Library

[20]

{Rector et al., 2004} 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]

{Ribeiro and Wassermann, 2007} M. Moretto Ribeiro and R. Wassermann. Base revision in description logics - preliminary results. In Proc. of IWOD, pages 69-82, 2007.

[22]

{Schlobach et al., 2007} S. Schlobach, Z. Huang, R. Cornet, and F. van Harmelen. Debugging incoherent terminologies. J. Autom. Reasoning, 39(3):317-349, 2007.

Digital Library

[23]

{Wang et al., 2008} Z. Wang, K. Wang, R. W. Topor, and J. Z. Pan. Forgetting concepts in dl-lite. In Proc. of ESWC, pages 245-257, 2008.

Digital Library

Cited By

Zhuang ZWang ZWang KDelgrande J(2019)A generalisation of AGM contraction and revision to fragments of first-order logicJournal of Artificial Intelligence Research10.1613/jair.1.1133764:1(147-179)Online publication date: 1-Jan-2019
https://dl.acm.org/doi/10.1613/jair.1.11337
Zhang XFeng ZWu WWang XRao G(2018)PROSEInternational Journal on Semantic Web & Information Systems10.4018/IJSWIS.201801010514:1(121-139)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.4018/IJSWIS.2018010105
Zheleznyakov DKharlamov EHorrocks ISingh SMarkovitch S(2017)Trust-sensitive evolution of DL-Lite knowledge basesProceedings of the Thirty-First AAAI Conference on Artificial Intelligence10.5555/3298239.3298424(1266-1272)Online publication date: 4-Feb-2017
https://dl.acm.org/doi/10.5555/3298239.3298424
Show More Cited By

Index Terms

Model-based revision operators for terminologies in description logics
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
      1. Nonmonotonic, default reasoning and belief revision
2. Theory of computation
  1. Logic

Recommendations

Knowledge base revision in description logics
JELIA'06: Proceedings of the 10th European conference on Logics in Artificial Intelligence

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 ...
Dynamic belief revision operators

The AGM approach to belief change is not geared to provide a decent account of iterated belief change. Darwiche and Pearl have sought to extend the AGM proposal in an interesting way to deal with this problem. We show that the original Darwiche-Pearl ...
Some Operators for Iterated Revision
ECSQARU '01: Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty

We propose a construction that allows to define operators for iterated revision from "classical" AGM revision operators. We call those operators revision with memory operators. We show that the operators obtained have nice logical properties.We ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

IJCAI'09: Proceedings of the 21st International Joint Conference on Artificial Intelligence

July 2009

2107 pages

Editor:
Hiroaki Kitano

Sponsors

The Association for the Advancement of Artificial Intelligence (AAAI)
The International Joint Conferences on Artificial Intelligence, Inc. (IJCAI)

Publisher

Morgan Kaufmann Publishers Inc.

San Francisco, CA, United States

Publication History

Published: 11 July 2009

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

20
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Zhuang ZWang ZWang KDelgrande J(2019)A generalisation of AGM contraction and revision to fragments of first-order logicJournal of Artificial Intelligence Research10.1613/jair.1.1133764:1(147-179)Online publication date: 1-Jan-2019
https://dl.acm.org/doi/10.1613/jair.1.11337
Zhang XFeng ZWu WWang XRao G(2018)PROSEInternational Journal on Semantic Web & Information Systems10.4018/IJSWIS.201801010514:1(121-139)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.4018/IJSWIS.2018010105
Zheleznyakov DKharlamov EHorrocks ISingh SMarkovitch S(2017)Trust-sensitive evolution of DL-Lite knowledge basesProceedings of the Thirty-First AAAI Conference on Artificial Intelligence10.5555/3298239.3298424(1266-1272)Online publication date: 4-Feb-2017
https://dl.acm.org/doi/10.5555/3298239.3298424
Dong TLe Duc CLamolle M(2017)Tableau-based revision for expressive description logics with individualsWeb Semantics: Science, Services and Agents on the World Wide Web10.1016/j.websem.2017.09.00145:C(63-79)Online publication date: 1-Aug-2017
https://dl.acm.org/doi/10.1016/j.websem.2017.09.001
Zhang XWang KWang ZMa YQi GFeng Z(2017)A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-LiteInternational Journal of Approximate Reasoning10.1016/j.ijar.2016.08.00389:C(58-79)Online publication date: 1-Oct-2017
https://dl.acm.org/doi/10.1016/j.ijar.2016.08.003
Benferhat SBouraoui ZPapini OWürbel E(2017)Prioritized assertional-based removed sets revision of DL-Lite belief basesAnnals of Mathematics and Artificial Intelligence10.1007/s10472-015-9494-279:1-3(45-75)Online publication date: 1-Mar-2017
https://dl.acm.org/doi/10.1007/s10472-015-9494-2
Brewka GMailly JWoltran S(2016)Translation-based revision and merging for minimal horn reasoningProceedings of the Twenty-second European Conference on Artificial Intelligence10.3233/978-1-61499-672-9-734(734-742)Online publication date: 29-Aug-2016
https://dl.acm.org/doi/10.3233/978-1-61499-672-9-734
Zhuang ZWang ZWang KDelgrande J(2015)Extending AGM contraction to arbitrary logicsProceedings of the 24th International Conference on Artificial Intelligence10.5555/2832581.2832709(3299-3305)Online publication date: 25-Jul-2015
https://dl.acm.org/doi/10.5555/2832581.2832709
Wang ZWang KTopor R(2015)DL-Lite Ontology Revision Based on An Alternative Semantic CharacterizationACM Transactions on Computational Logic10.1145/278675916:4(1-37)Online publication date: 17-Aug-2015
https://dl.acm.org/doi/10.1145/2786759
Dong TDuc CBonnot PLamolle M(2015)Tableau-Based Revision over $$\mathcal {SHIQ}$$ TBoxesProceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - Volume 945010.1007/978-3-662-48899-7_40(575-590)Online publication date: 24-Nov-2015
https://dl.acm.org/doi/10.1007/978-3-662-48899-7_40
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents