Abstract
Description logic programs are a declarative approach to access ontological knowledge bases through a query interface, and to combine the query results using rules that can be nonmonotonic. Noticeably, a bidirectional information flow between the rules and the ontology is supported, which opens the possibility of sophisticated data exchange and advanced reasoning tasks on top of ontologies. As it happens, inconsistency may arise from the interplay of the rules and the ontology. We consider this issue and discuss different origins of inconsistency, as well as approaches to deal with it. While recent progress has been made, several issues remain to be explored; among them is inconsistency management for generalizations of description logic programs, and in particular for HEX programs, where this issues is largely unexplored and challenging, the more if distributed or web-based evaluation scenarios are considered.
This work was supported by the Austrian Science Fund (FWF) projects P20480 and P24090.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Bertossi, L., Hunter, A., Schaub, T. (eds.): Inconsistency Tolerance. LNCS, vol. 3300. Springer, Heidelberg (2005)
Bienvenu, M.: On the complexity of consistent query answering in the presence of simple ontologies. In: Proc. 26th Conf. Artificial Intelligence, pp. 705–711. AAAI Press (2012)
Eiter, T., Fink, M., Stepanova, D.: Data repair of inconsistent dl-programs. In: Proc. 23rd Int’l Joint Conf. Artificial Intelligence (IJCAI 2013). AAAI Press/IJCAI (to appear, 2013)
Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. AIJ 172, 1495–1539 (2008)
Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Proc. 19th Int’l Joint Conf. Artificial Intelligence (IJCAI 2005), pp. 90–96. Professional Book Center (2005)
Fink, M.: Paraconsistent hybrid theories. In: Proc. 13th Int’l Conf. Principles of Knowledge Representation and Reasoning (KR 2012), pp. 141–151. AAAI Press (2012)
Hunter, A.: Paraconsistent logics. In: Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 2, pp. 11–36. Kluwer (1998)
Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Inconsistency-tolerant semantics for description logics. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol. 6333, pp. 103–117. Springer, Heidelberg (2010)
Ma, Y., Hitzler, P., Lin, Z.: Paraconsistent reasoning for expressive and tractable description logics. In: Proc. DL 2008. CEUR Workshop Proc., vol. 353. CEUR-WS.org (2008)
Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM 57(5) (2010)
Pührer, J., Heymans, S., Eiter, T.: Dealing with inconsistency when combining ontologies and rules using DL-programs. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010, Part I. LNCS, vol. 6088, pp. 183–197. Springer, Heidelberg (2010)
Sakama, C., Inoue, K.: An abductive framework for computing knowledge base updates. Theory and Practice of Logic Programming 3(6), 671–713 (2003)
Wang, Y., You, J.H., Yuan, L.Y., Shen, Y.D., Zhang, M.: The loop formula based semantics of description logic programs. Theor. Comput. Sci. 415, 60–85 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Eiter, T., Fink, M., Stepanova, D. (2013). Inconsistency Management for Description Logic Programs and Beyond. In: Faber, W., Lembo, D. (eds) Web Reasoning and Rule Systems. RR 2013. Lecture Notes in Computer Science, vol 7994. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39666-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-39666-3_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39665-6
Online ISBN: 978-3-642-39666-3
eBook Packages: Computer ScienceComputer Science (R0)