Skip to main content
SpringerLink
Log in

Reasoning with Uncertain and Inconsistent OWL Ontologies

  • Chapter
Reasoning Web. Semantic Technologies for Advanced Query Answering (Reasoning Web 2012)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 7487))

Included in the following conference series:

Abstract

Reasoning with uncertainty and inconsistency in description logics are two important issues in the development of description logic-based ontology engineering. When constructing ontologies, one may obtain ontologies that are inconsistent and are pervaded with uncertain information, such as confidence values. In this paper, we propose some approaches to reasoning with inconsistent and uncertain ontologies in description logics. This paper consists of two parts. In the first part, we propose some inconsistency-tolerant semantics for ontologies with uncertain information. In the second part, we propose an approach to resolving inconsistencies between two heterogenous ontologies caused by erroneous mappings.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York (2003)

    MATH  Google Scholar 

  2. Baader, F., Peñaloza, R., Suntisrivaraporn, B.: Pinpointing in the Description Logic EL  + . In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol. 4667, pp. 52–67. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  3. Benferhat, S., Cayrol, C., Dubois, D., Lang, J., Prade, H.: Inconsistency management and prioritized syntax-based entailment. In: Proc. of IJCAI 1993, pp. 640–647 (1993)

    Google Scholar 

  4. Cayrol, C., Lagasquie-Schiex, M., Schiex, T.: Nonmonotonic reasoning: From complexity to algorithms. Annals of Mathematics and Artificial Intelligence 22(3-4), 207–236 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  5. Du, J., Qi, G., Shen, Y.: Weight-based consistent query answering over inconsistent shiq knowledge bases. Knowledge and Information Systems (2012), doi:10.1007/s10115-012-0478-9

    Google Scholar 

  6. Du, J., Shen, Y.: Computing minimum cost diagnoses to repair populated dl-based ontologies. In: Proc. of WWW 2008, pp. 565–574. ACM (2008)

    Google Scholar 

  7. Eén, N., Sörensson, N.: Translating pseudo-boolean constraints into SAT. Journal on Satisfiability, Boolean Modeling and Computation 2, 1–26 (2006)

    MATH  Google Scholar 

  8. Eiter, T., Gottlob, G., Mannila, H.: Disjunctive datalog. ACM Transactions on Database Systems 22(3), 364–418 (1997)

    Article  Google Scholar 

  9. Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007)

    MATH  Google Scholar 

  10. Fitting, M.: First-order Logic and Automated Theorem Proving, 2nd edn. Springer-Verlag New York, Inc., Secaucus (1996)

    Book  MATH  Google Scholar 

  11. Gardenfors, P.: Knowledge in Flux-Modeling the Dynamic of Epistemic States. The MIT Press, Cambridge (1988)

    MATH  Google Scholar 

  12. Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: Proc. of WWW, pp. 717–726 (2007)

    Google Scholar 

  13. Haase, P., Völker, J.: Ontology Learning and Reasoning — Dealing with Uncertainty and Inconsistency. In: da Costa, P.C.G., d’Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) URSW 2005 - 2007. LNCS (LNAI), vol. 5327, pp. 366–384. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  14. Hansson, S.O.: Reversing the Levi identity. Journal of Philosophical Logic 22(6), 637–669 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  15. Hansson, S.O.: Kernel contraction. Journal Symbolic Logic 59(3), 845–859 (1994)

    Article  MathSciNet  MATH  Google Scholar 

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

    Google Scholar 

  17. Heinsohn, J.: Probabilistic description logics. In: Proc. of UAI 1994, pp. 311–318. Morgan Kaufmann (1994)

    Google Scholar 

  18. Horrocks, I., Patel-Schneider, P.F.: Reducing OWL Entailment to Description Logic Satisfiability. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 17–29. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  19. Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for very expressive description logics. Logic Journal of the IGPL 8(3), 239–263 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  20. Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proc. of IJCAI, pp. 454–459 (2005)

    Google Scholar 

  21. Hustadt, U., Motik, B., Sattler, U.: Reasoning in description logics by a reduction to disjunctive datalog. Journal of Automated Reasoning 39(3), 351–384 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  22. Jaeger, M.: Probabilistic reasoning in terminological logics. In: Proc. KR 1994, pp. 305–316. Morgan Kaufmann (1994)

    Google Scholar 

  23. Krentel, M.W.: The complexity of optimization problems. Journal of Computer and System Sciences 36(3), 490–509 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  24. Lembo, D., Ruzzi, M.: Consistent Query Answering over Description Logic Ontologies. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds.) RR 2007. LNCS, vol. 4524, pp. 194–208. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  25. Lynch, C., Snyder, W., Bachmair, L., Ganzinger, H.: Basic paramodulation. Information and Computation 121(2), 172–192 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  26. Lukasiewicz, T.: Probabilistic default reasoning with conditional constraints. Annals of Mathematics and Artificial Intelligence 34(1-3), 35–88 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  27. Lukasiewicz, T.: Expressive probabilistic description logics. Artificial Intelligence 172(6-7), 852–883 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  28. Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics 6(4), 291–308 (2008)

    Article  Google Scholar 

  29. Ma, Y., Hitzler, P., Lin, Z.: Algorithms for Paraconsistent Reasoning with OWL. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 399–413. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  30. Meilicke, C., Stuckenschmidt, H.: Applying Logical Constraints to Ontology Matching. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol. 4667, pp. 99–113. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  31. Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Repairing ontology mappings. In: Proc. of AAAI 2007, pp. 1408–1413. AAAI Press (2007)

    Google Scholar 

  32. Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Reasoning support for mapping revision. Journal of Logic and Computation (2008)

    Google Scholar 

  33. Meilicke, C., Völker, J., Stuckenschmidt, H.: Learning Disjointness for Debugging Mappings between Lightweight Ontologies. In: Gangemi, A., Euzenat, J. (eds.) EKAW 2008. LNCS (LNAI), vol. 5268, pp. 93–108. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  34. Meyer, T., Lee, K., Booth, R.: Knowledge integration for description logics. In: Proc. of AAAI 2005, pp. 645–650 (2005)

    Google Scholar 

  35. Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Univesität karlsruhe, Germany (January 2006)

    Google Scholar 

  36. Nebel, B.: Base revision operations and schemes: Semantics, representation and complexity. In: Proc. of ECAI 1994, pp. 341–345 (1994)

    Google Scholar 

  37. Nieuwenhuis, R., Rubio, A.: Theorem proving with ordering and equality constrained clauses. Journal of Symbolic Computation 19(4), 321–351 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  38. Odintsov, S.P., Wansing, H.: Inconsistency-tolerant Description Logic: Motivation and Basic Systems, pp. 301–335. Kluwer Academic Publishers (2003)

    Google Scholar 

  39. Peñaloza, R., Sertkaya, B.: Axiom pinpointing is hard. In: Proc. of DL 2009 (2009)

    Google Scholar 

  40. Qi, G.: A semantic approach for iterated revision in possibilistic logic. In: Proc. of AAAI, pp. 523–528 (2008)

    Google Scholar 

  41. Qi, G., Haase, P., Huang, Z., Ji, Q., Pan, J.Z., Völker, J.: A Kernel Revision Operator for Terminologies — Algorithms and Evaluation. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 419–434. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  42. Qi, G., Ji, Q., Pan, J.Z., Du, J.: Extending description logics with uncertainty reasoning in possibilistic logic. International Journal of Intelligent Systems 26(4), 353–381 (2011)

    Article  MATH  Google Scholar 

  43. Qi, G., Liu, W., Bell, D.: A revision-based approach to handling inconsistency in description logics. Artificial Intelligence Review 26(1-2), 115–128 (2006)

    Article  Google Scholar 

  44. Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57–95 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  45. Sheini, H.M., Sakallah, K.A.: Pueblo: A hybrid pseudo-boolean SAT solver. Journal on Satisfiability, Boolean Modeling and Computation 2, 157–181 (2006)

    MATH  Google Scholar 

  46. Suntisrivaraporn, B., Qi, G., Ji, Q., Haase, P.: A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments. In: Domingue, J., Anutariya, C. (eds.) ASWC 2008. LNCS, vol. 5367, pp. 1–15. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  47. Zimmermann, A., Euzenat, J.: Three Semantics for Distributed Systems and Their Relations with Alignment Composition. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 16–29. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science and Engineering, Southeast University, Nanjing, 210096, China

    Guilin Qi

  2. Guangdong University of Foreign Studies, Guangzhou, 510006, China

    Jianfeng Du

Authors
  1. Guilin Qi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jianfeng Du
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Information Systems, Knowledge-Based Systems Group, Vienna University of Technology, Favoritenstraße 9–11/1843, A-1040, Vienna, Austria

    Thomas Eiter  & Thomas Krennwallner  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Qi, G., Du, J. (2012). Reasoning with Uncertain and Inconsistent OWL Ontologies. In: Eiter, T., Krennwallner, T. (eds) Reasoning Web. Semantic Technologies for Advanced Query Answering. Reasoning Web 2012. Lecture Notes in Computer Science, vol 7487. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33158-9_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33158-9_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33157-2

  • Online ISBN: 978-3-642-33158-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation