Skip to main content
SpringerLink
Log in

Argumentation-Based Reasoning with Inconsistent Knowledge Bases

  • Conference paper
Advances in Artificial Intelligence (Canadian AI 2010)

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

Included in the following conference series:

Abstract

In this paper, we present an argumentation-based approach to dealing with inconsistency occurring in knowledge bases. We investigate several important logical properties of such an argumentation-based entailment relation and show its promising advantages in paraconsistent reasoning for inconsistent knowledge bases. Moreover, two basic inference problems, namely, satisfiability of concepts and query entailment, are discussed under our semantics. We provide a workable example in order to show the justifiability of the argumentation-based semantics.

The primary version of this paper firstly presented in [1].

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.

Similar content being viewed by others

References

  1. Zhang, X., Zhang, Z., Lin, Z.: An argumentative semantics for paraconsistent reasoning in description logic ALC. In: Proc. of DL 2009, UK, CEUR-WP 477, CEUR-WS.org (2009)

    Google Scholar 

  2. Bertossi, L.E., Hunter, A., Schaub, T. (eds.): Inconsistency Tolerance. LNCS, vol. 3300. Springer, Heidelberg (2005)

    Google Scholar 

  3. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc. of IJCAI 2003, Mexico, pp. 355–362. Morgan Kaufmann, San Francisco (2003)

    Google Scholar 

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

    Google Scholar 

  5. Qi, G., Du, J.: Model-based revision operators for terminologies in description logics. In: Proc. of IJCAI 2009, USA, pp. 891–897 (2009)

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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

  8. Odintsov, S.P., Wansing, H.: Inconsistency-tolerant description logic. part II: A tableau algorithm for CACL\(^{\mbox{c}}\). J. Applied Logic 6(3), 343–360 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  9. Zhang, X., Lin, Z.: Paraconsistent reasoning with quasi-classical semantic in ALC. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol. 5341, pp. 222–229. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  10. Zhang, X., Xiao, G., Lin, Z.: A tableau algorithm for handling inconsistency in OWL. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyvönen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol. 5554, pp. 399–413. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  11. Zhang, X., Lin, Z., Wang, K.: Towards a paradoxical description logic for the semantic web. In: Link, S. (ed.) FoIKS 2010. LNCS, vol. 5956, pp. 306–325. Springer, Heidelberg (2010)

    Google Scholar 

  12. Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–358 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  13. Besnard, P., Hunter, A.: A logic-based theory of deductive arguments. Artif. Intell. 128(1-2), 203–235 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  14. Tempich, C., Simperl, E.P.B., Luczak, M., Studer, R., Pinto, H.S.: Argumentation-based ontology engineering. IEEE Intelligent Systems 22(6), 52–59 (2007)

    Article  Google Scholar 

  15. Gomez, S.A., Chesnevar, C.I., Simari, G.R.: An argumentative approach to reasoning with inconsistent ontologies. In: Proc. of KROW 2008, Australia. CRPIT 90, pp. 11–20. ACS (2008)

    Google Scholar 

  16. Black, E., Hunter, A., Pan, J.Z.: An argument-based approach to using multiple ontologies. In: Godo, L., Pugliese, A. (eds.) SUM 2009. LNCS (LNAI), vol. 5785, pp. 68–79. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  17. 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, Cambridge (2003)

    MATH  Google Scholar 

  18. Dung, P.M.: An argumentation-theoretic foundations for logic programming. J. Log. Program. 22(2), 151–171 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  19. Kalyanpur, A.: Debugging and repair of OWL ontologies. PhD thesis, College Park, MD, USA, Adviser-Hendler, James (2006)

    Google Scholar 

  20. Zhang, X., Lin, Z.: An argumentation-based approach to handling inconsistencies in DL-Lite. In: Mertsching, B., Hund, M., Aziz, Z. (eds.) KI 2009. LNCS (LNAI), vol. 5803, pp. 615–622. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Mathematical Science, Peking University, Bejing, 100871, China

    Xiaowang Zhang, Zhihu Zhang, Dai Xu & Zuoquan Lin

  2. School of Mathematical Science, Anhui University, Hefei, 230039, China

    Xiaowang Zhang

Authors
  1. Xiaowang Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhihu Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dai Xu
    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. NLP Technologies Inc., 1255 University Street, H3B 3W9, Montreal, Quebec, Canada

    Atefeh Farzindar

  2. Dalhousie University, Faculty of Computer Science, 6050 University Ave, Halifax, B3H 1W5, Nova Scotia, Canada

    Vlado Kešelj

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zhang, X., Zhang, Z., Xu, D., Lin, Z. (2010). Argumentation-Based Reasoning with Inconsistent Knowledge Bases. In: Farzindar, A., Kešelj, V. (eds) Advances in Artificial Intelligence. Canadian AI 2010. Lecture Notes in Computer Science(), vol 6085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13059-5_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-13059-5_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-13058-8

  • Online ISBN: 978-3-642-13059-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation