Abstract
As a tractable description logic, DL-Lite provides a good compromise between expressive power and computational complexity of inference. It is therefore important to study ways of handling inconsistencies in tractable DL-Lite based ontologies, as classical description logics break down in the presence of inconsistent knowledge bases. In this paper, we present an argumentation-based approach to dealing with inconsistent DL-Lite based ontologies. Furthermore, we mainly develop a graph-based algorithm to implement paraconsistent reasoning in DL-Lite.
This work is supported by the major program of National Natural Science Foundation of China.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Calvanese, D., Giacomo, G.D., Lenzerini, M., Rosati, R., Vetere, G.: DL-Lite: Practical reasoning for rich DLs. In: Proc. of DL 2004, Canada. CEUR 104, vol. 104, CEUR-WS.org (2004)
McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview (February 2004), http://www.w3.org/TR/owl-features/
Besnard, P., del Cerro, L.F., Gabbay, D.M., Hunter, A.: Logical handling of inconsistent and default information. In: Uncertainty Management in Information Systems, pp. 325–342 (1996)
Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proc. of IJCAI 2005, UK, pp. 454–459. Professional Book Center (2005)
Eiter, T., Ianni, G., Schindlauer, R., Tompits, H., Wang, K.: Forgetting in managing rules and ontologies. In: Proc. of WI 2006, China, pp. 411–419. IEEE Computer Society, Los Alamitos (2006)
Ma, Y., Hitzler, P., Lin, Z.: Paraconsistent reasoning for expressive and tractable description logics. In: Proc. of DL 2008, Germany. CEUR 353, CEUR-WS.org (2008)
Zhang, X., Xiao, G., Lin, Z.: A tableau algorithm for handling inconsistency in OWL. In: Proc. of ESWC 2009, Greece. LNCS, vol. 5554, pp. 399–413. Springer, Heidelberg (2009)
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)
Elvang-Gøransson, M., Hunter, A.: Argumentative logics: Reasoning with classically inconsistent information. Data Knowl. Eng. 16(2), 125–145 (1995)
Tempich, C., Pinto, H.S., Sure, Y., Staab, S.: An argumentation ontology for distributed, loosely-controlled and evolving engineering processes of ontologies. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 241–256. Springer, Heidelberg (2005)
Gomez, S.A., Chesnevar, C.I., Simari, G.R.: An argumentative approach to reasoning with inconsistent ontologies. In: Proc. of KROW 2008, Australia, pp. 11–20. CRPIT 90, ACS (2008)
Grossi, D.: Doing Argumentation Theory in Modal Logic. Technical Report of ILLC. PP-2009-24 (2009), http://www.illc.uva.nl/Publications/
Zhang, X., Zhang, Z., Lin, Z.: An argumentative semantics for paraconsistent reasoning in description logic ALC. In: Proc. of DL 2009, UK. CEUR 477, CEUR-WS.org (2009)
Efstathiou, V., Hunter, A.: Focused search for arguments from propositional knowledge. In: Proc. of COMMA 2008, France. FAIA 172, pp. 159–170. IOS Press, Amsterdam (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, X., Lin, Z. (2009). An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite. In: Mertsching, B., Hund, M., Aziz, Z. (eds) KI 2009: Advances in Artificial Intelligence. KI 2009. Lecture Notes in Computer Science(), vol 5803. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04617-9_77
Download citation
DOI: https://doi.org/10.1007/978-3-642-04617-9_77
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04616-2
Online ISBN: 978-3-642-04617-9
eBook Packages: Computer ScienceComputer Science (R0)