Skip to main content
SpringerLink
Log in

Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics

  • Conference paper
Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4724))

Abstract

In this paper, we present an approach for measuring inconsistency in a knowledge base. We first define the degree of inconsistency using a four-valued semantics for the description logic \(\mathcal{ALC}\). Then an ordering over knowledge bases is given by considering their inconsistency degrees. Our measure of inconsistency can provide important information for inconsistency handling.

We acknowledge support by the China Scholarship Council(http://www.csc.edu.cn/), by the German Federal Ministry of Education and Research (BMBF) under the SmartWeb project (grant 01 IMD01 B), by the EU under the IST project NeOn (IST-2006-027595, http://www.neon-project.org/), and by the Deutsche Forschungsgemeinschaft (DFG) in the ReaSem project.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proc. of IJCAI 2005, Professional Book Center (2005)

    Google Scholar 

  2. 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 

  3. Schlobach, S.: Diagnosing terminologies. In: Proc. of AAAI 2005, pp. 670–675 (2005)

    Google Scholar 

  4. Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: Proc. of WWW 2005, pp. 633–640 (2005)

    Google Scholar 

  5. Hunter, A.: How to act on inconsistent news: Ignore, resolve, or reject. Data Knowl. Eng. 57, 221–239 (2006)

    Article  Google Scholar 

  6. Hunter, A.: Measuring inconsistency in knowledge via quasi-classical models. In: Proc. Of AAAI/IAAI, pp. 68–73 (2002)

    Google Scholar 

  7. Hunter, A., Konieczny, S.: Approaches to measuring inconsistent information. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol. 3300, pp. 191–236. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  8. Hunter, A., Konieczny, S.: Shapley inconsistency values. In: Proc. of KR 2006, pp. 249–259 (2006)

    Google Scholar 

  9. Knight, K.: Measuring inconsistency. Journal of Philosophical Logic 31, 77–98 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  10. Oller, C.A.: Measuring coherence using LP-models. J. Applied Logic 2, 451–455 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  11. Grant, J., Hunter, A.: Measuring inconsistency in knowledgebases. J. Intell. Inf. Syst. 27, 159–184 (2006)

    Article  Google Scholar 

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

    MATH  Google Scholar 

  13. Borgida, A.: On the relative expressiveness of description logics and predicate logics. Artif. Intell. 82, 353–367 (1996)

    Article  MathSciNet  Google Scholar 

  14. Schaerf, M., Cadoli, M.: Tractable reasoning via approximation. Artif. Intell. 74, 249–310 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  15. Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. J. Web Sem. 1, 345–357 (2004)

    Article  Google Scholar 

  16. Arieli, O., Avron, A.: The value of the four values. Artif. Intell. 102, 97–141 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  17. Patel-Schneider, P.F.: A four-valued semantics for terminological logics. Artif. Intell. 38, 319–351 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  18. Straccia, U.: A sequent calculus for reasoning in four-valued description logics. In: Galmiche, D. (ed.) TABLEAUX 1997, vol. 1227, pp. 343–357. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  19. Grant, J.: Classifications for inconsistent theories. Notre Dame J. Formal Logic 19, 435–444 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  20. Hunter, A.: A semantic tableau version of first-order quasi-classical logic. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol. 2143, pp. 544–555. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Science, Peking University, China

    Yue Ma & Zuoquan Lin

  2. AIFB, Universität Karlsruhe, Germany

    Yue Ma, Guilin Qi & Pascal Hitzler

Authors
  1. Yue Ma
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Guilin Qi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Pascal Hitzler
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Zuoquan Lin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LARODEC, Institut Supérieur de Gestion de Tunis, 41 Avenue de la liberté, 2000, Le Bardo, Tunisie

    Khaled Mellouli

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ma, Y., Qi, G., Hitzler, P., Lin, Z. (2007). Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. In: Mellouli, K. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2007. Lecture Notes in Computer Science(), vol 4724. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75256-1_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-75256-1_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-75255-4

  • Online ISBN: 978-3-540-75256-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation