Skip Navigation


Journal of Logic and Computation Advance Access originally published online on September 5, 2008
Journal of Logic and Computation 2009 19(5):721-743; doi:10.1093/logcom/exn048
This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Ribeiro, M. M.
Right arrow Articles by Wassermann, R.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author, 2008. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

This article appears in the following Journal of Logic and Computation issue: Special Issue: Recent Advances in Ontology Dynamics [View the issue table of contents]

Original Articles

Base Revision for Ontology Debugging

Márcio M. Ribeiro and Renata Wassermann

Department of Computer Science, Institute of Mathematics and Statistics, University of São Paulo, Brazil.
E-mail: marciomr{at}ime.usp.br,renata{at}ime.usp.br

Received 11 November 2007.

Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. Ontology Debugging, on the other hand, aims to find the axioms in a terminological knowledge base which caused the base to become inconsistent. In this article, we propose a belief revision approach in order to find and repair inconsistencies in ontologies represented in some description logic (DL). As the usual belief revision operators cannot be directly applied to DLs, we propose new operators that can be used with more general logics and show that, in particular, they can be applied to the logics underlying OWL-DL and Lite.

Keywords: Belief Revision; Ontology Evolution; Description Logics



References

  1. Alchourrón C, Makinson D. Hierarchies of regulation and their logic. In: New Studies in Deontic Logic—Hilpinen R, ed. (1981) Dordrecht-Holland: D. Reidel Publishing Company. 125–148.
  2. Alchourrón C, Makinson D. On the logic of theory change: contraction functions and their associated revision functions. Theoria (1982) 48:14–37.[CrossRef][Web of Science]
  3. Alchourrón C, Makinson D. On the logic of theory change: safe contraction. Studia Logica (1985) 44:405–422.[CrossRef]
  4. Alchourrón C, Gärdenfors P, Makinson D. On the logic of theory change. Journal of Symbolic Logic (1985) 50:510–530.[CrossRef][Web of Science]
  5. Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P, eds. The Description Logic Handbook (2003) New York: Cambridge University Press.
  6. Baader F, Penaloza R. Axiom pinpointing in general tableaux. (2007) France: Springer. LNAI, Aix-en-Provence. 11–27. In Proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2007.
  7. Berners-Lee T, Hendler J, Lassila O. The semantic web: a new form of web content that is meaningful to computers will unleash a revolution of new possibilities. Scientific American (2001) 284:34–43.[Web of Science][Medline]
  8. Dean M, Schreiber G, Bechhofer S, van Harmelein F, Hendler J, Horrocks I, McGuinness DL, Patel-Schneider PF, Stein LA. OWL Web Onotology Language Reference. W3C Recomendation, 2004. Available at http://www.w3.org/TR/owl-ref/.
  9. Flouris G. On Belief Change and Ontology Evolution (2006) Heraklion, Greece: University of Crete, Department of Computer Science. PhD thesis.
  10. Flouris G, Plexousakis D, Antoniou G. Generalizing the AGM postulates: preliminary results and applications. In. In: Proceedings of the 10th International Workshop on Non-Monotonic Reasoning 2004 (NMR-04) (2004) Whistler BC, Canada: Westin Whistler Resort and Spa. 171–179.
  11. Flouris G, Plexousakis D, Antoniou G. On applying theAGM theory to DLs and OWL. (2005) Springer, New York. 216–231. In Proceedings of the International SemanticWeb Conference.
  12. Flouris G, Plexousakis D, Antoniou G. Updating description logics using theAGMtheory. (2005) Greece. Corfu. Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning, pp. 69–76. Dresden University Technical Report (ISSN 1430-211X).
  13. Flouris G, Plexousakis D, Antoniou G. On generalizing the agm postulates. (2006) IOS Press, Amsterdam, The Netherlands. 132–146. In Proceedings of the 3rd European Starting AI Researcher Symposium (STAIRS-06).
  14. Flouris G, Huang Z, Pan JZ, Plexousakis D, Wache H. Inconsistencies, negations and changes in ontologies. In. In: Proceedings of the AAAI (2006) California: AAAI Press. 1295–1300.
  15. Fuhrmann A. Theory contraction through base contraction. Journal of Philosophical Logic (1991) 20:175–203.[Web of Science]
  16. Galliers JR. Autonomous belief revision and communication. Gärdenfors P, ed. (1992) New York: Cambridge University Press. 220–246. In Belief Revision, Vol. 29 of Lecture Notes in Cambridge Tracts in Theoretical Computer Science.
  17. Gärdenfors P. Knowledge in Flux – Modeling the Dynamics of Epistemic States (1988) Cambridge, MA: MIT Press.
  18. Gärdenfors P, Rott H. Belief revision. In. In: Handbook of Logic in Artificial Intelligence and Logic Programming—Gabbay DM, Hogger CJ, Robinson JA, eds. (1995) IV. Oxford University Press. 35–132.
  19. Haase P, Sure Y. State-of-the-art on Ontology Evolution. SEKT Informal Deliverable 3.1.1.b (2004) University of Karlsruhe, Karlsruhe: Institute AIFB.
  20. Halaschek-Wiener C, Katz Y, Parsia B. Belief base revision for expressive description logics. In. In: Proceedings of the OWL: Experiences and Directions 2006 (2006) Available at http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-216/submission_21.pdf.
  21. Ove Hansson S. Belief Base Dynamics (1991) Uppsala University, Upsala, Sweden: Department of Philosophy. PhD Thesis.
  22. Ove Hansson S. Adyadic representation of belief. Gärdenfors P, ed. (1992) New York: Cambridge University Press. 89–121. In Belief Revision Vol. 29 of Lecture Notes in Cambridge Tracts in Theoretical Computer Science.
  23. Ove Hansson S. Reversing the Levi identity. Journal of Philosophical Logic (1992) 22:637–639.[CrossRef][Web of Science]
  24. Ove Hansson S. Kernel contraction. Journal of Symbolic Logic (1994) 59:845–859.[CrossRef][Web of Science]
  25. Ove Hansson S. Semi-revision. Journal of Applied Non-Classical Logic (1997) 7:151–175.
  26. Ove Hansson S. A survey of non-prioritized belief revision. Erkenntnis (1999) 50:413–427.[CrossRef]
  27. Ove Hansson S. A Textbook of Belief Dynamics (1999) New York: Kluwer Academic Press.
  28. Ove Hansson S, Wassermann Renata. Local change. Studia Logica (2002) 70:49–76.[CrossRef]
  29. Horrocks I, Sattler U, Tobies S. Practical reasoning for expressive description logics. Ganzinger H, McAllester D, Voronkov A, eds. (1999) New York. Kluwer Academic Press. 161–180. Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR’99), Vol. 1705 in Lecture Notes in Artificial Intelligence.
  30. Horrocks I, Patel-Schneider P. ReducingOWLentailment to description logic satisfiability. (2003) Springer, New York. 17–29. In Proceedings of the 2nd International SemanticWeb Conference (ISWC).
  31. Horrocks I, Patel-Schneider P. Reducing OWL entailment to description logic satisfiability. Journal of Web Semantics (2004) 1:345–357.
  32. Kalyanpur A, Parsia B, Sirin E. Black box techniques for debugging unsatisfiable concepts. Horrocks I, Sattler U, Wolter F, eds. (2005) In Description LogicsVol. 147 of Lecture Notes in CEUR Workshop Proceedings. CEUR-WS.org.
  33. Kalyanpur A, Parsia B, Sirin E, Hendler JA. Debugging unsatisfiable classes in owl ontologies. Journal of Web Semantie (2005) 3:268–293.
  34. Kalyanpur A. Debugging and repair of owl ontologies (2006) University of Maryland, College Park, MD: Faculty of the Graduate School of the University of Maryland. PhD Thesis.
  35. Kang SH, Lau SK. Ontology revision on the semantic web: integration of belief revision theory. (2007) Los Alamitos, CA, USA: IEEE Computer Society. 61. In HICSS’07: Proceedings of the 40th Annual Hawaii International Conference on System Sciences.
  36. Makinson D. Screened revision. Theoria (1997) 63:14–23.
  37. McGuinness LD, Harmelen Fvan. OWL Web Ontology Language Overview (2004) Cambridge, MA: World Wide Web Consortium. W3c recommendation.
  38. Meyer T, Lee K, Booth R, Pan Jeff Z. Finding maximally satisfiable terminologies for the description logic ALC. In. In: Proceedings of the AAAI (2006) Menlo Park, California: AAAI Press. 269–274.
  39. Nebel B. (1990) New York: Springer-Verlag. Reasoning and Revision in Hybrid Representation Systems.Vol. 422 of Lecture Notes in Artificial Intelligence.
  40. Newell A. The knowledge level. Artificial Intelligence (1982) 18:87–127.[CrossRef][Web of Science]
  41. Noy NF, McGuinness DL. Ontology development 101: a guide to creating your first ontology. In: Technical Report KSL-01-05 (2001) Stanford, CA, 94305, USA: Knowledge Systems Laboratory, Stanford University.
  42. Reiter R. A theory of diagnosis from first principles. Artificial Intelligence (1987) 32:57–95.[CrossRef][Web of Science]
  43. Ribeiro MM, Wassermann R. First steps towards revising ontologies. In. In: Proceedings of the Second Workshop on Ontologies and their Applications (WONTO 2006) (2006) Available at http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-199/wonto-03.pdf.
  44. Schlobach S, Cornet R. Non-standard reasoning services for the debugging of description logic terminologies. In. In: IJCAI—Gottlob G, Walsh T, eds. (2003) San Francisco, CA: Morgan Kaufmann. 355–362.
  45. Wassermann R. An algorithm for belief revision. (2000) San Francisco, CA. Morgan Kaufmann. 345–352. In Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000).

Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?



This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Ribeiro, M. M.
Right arrow Articles by Wassermann, R.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?