Abstract
Reasoning with complex ontologies can be a resource-intensive task, which can be an obstacle, e.g., for real-time applications. Hence, weakening the constraints of soundness and/or completeness is often an approach to practical solutions. In this paper, we propose an extension of incomplete reasoning methods for checking the consistency of a large number of ABoxes against a given TBox. In particular, we use and extend the clash queries proposed by Lembo et al. [9] for DL-Lite to compute inconsistent patterns of ABox assertions. By caching instantiations of these patterns, we are able to reduce the amount of reasoning required to determine the inconsistency of an ABox with every previously processed ABox. We present experimental results of our approach in terms of runtime and accuracy and compare it against complete reasoning techniques, the reasoning approach for DL-Lite \(_{\mathcal {A}}\), and an approximate reasoning approach based on machine learning proposed inĀ [15].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
All the datasets created for this paper are available online at http://web.informatik.uni-mannheim.de/rr2017.
- 2.
- 3.
Note that the \(\mathbb {H}_{b}\) caches do not contain errors related to wrong datatypes. However, these errors are less important from a reasoning perspective since all of them have been detected by comparing the stated datatype against the type of the given value.
References
Baader, F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reasoning 39(3), 385ā429 (2007)
Flouris, G., Huang, Z., Pan, J.Z., Plexousakis, D., Wache, H.: Inconsistencies, negations and changes in ontologies. In: Proceedings of the National Conference on Artificial Intelligence, vol. 21, no. 2, p. 1295 (2006)
Gangemi, A., Mika, P.: Understanding the semantic web through descriptions and situations. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds.) OTM 2003. LNCS, vol. 2888, pp. 689ā706. Springer, Heidelberg (2003). doi:10.1007/978-3-540-39964-3_44
Horridge, M., Parsia, B., Sattler, U.: Explaining inconsistencies in OWL ontologies. In: Godo, L., Pugliese, A. (eds.) SUM 2009. LNCS (LNAI), vol. 5785, pp. 124ā137. Springer, Heidelberg (2009). doi:10.1007/978-3-642-04388-8_11
Horrocks, I., Motik, B., Wang, Z.: The HermiT OWL reasoner. In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK (2012)
Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., CudrĆ©-Mauroux, P. (eds.) ASWC/ISWC -2007. LNCS, vol. 4825, pp. 267ā280. Springer, Heidelberg (2007). doi:10.1007/978-3-540-76298-0_20
Lehmann, J., Isele, R., Jakob, M., Jentzsch, A., Kontokostas, D., Mendes, P.N., Hellmann, S., Morsey, M., Van Kleef, P., Auer, S., et al.: DBpedia-a large-scale, multilingual knowledge base extracted from wikipedia. Semant. Web 6(2), 167ā195 (2015)
Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Query rewriting for inconsistent DL-Lite ontologies. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol. 6902, pp. 155ā169. Springer, Heidelberg (2011). doi:10.1007/978-3-642-23580-1_12
Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Inconsistency-tolerant first-order rewritability of DL-Lite with identification and denial assertions. In: Proceedings of the 25th International Workshop on Description Logics (2012)
Lƶsch, U., Bloehdorn, S., Rettinger, A.: Graph kernels for RDF data. In: Simperl, E., Cimiano, P., Polleres, A., Corcho, O., Presutti, V. (eds.) ESWC 2012. LNCS, vol. 7295, pp. 134ā148. Springer, Heidelberg (2012). doi:10.1007/978-3-642-30284-8_16
Nickel, M., Murphy, K., Tresp, V., Gabrilovich, E.: A review of relational machine learning for knowledge graphs. Proc. IEEE 104(1), 11ā33 (2016). http://dx.doi.org/10.1109/JPROC.2015.2483592
Nolle, A., Meilicke, C., Chekol, M., Nemirovski, G., Stuckenschmidt, H.: Schema-based debugging of federated data sources. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI2016). IOS Press (2016)
Paulheim, H., Gangemi, A.: Serving DBpedia with DOLCE ā more than just adding a cherry on top. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9366, pp. 180ā196. Springer, Cham (2015). doi:10.1007/978-3-319-25007-6_11
Paulheim, H., Stuckenschmidt, H.: Fast approximate A-Box consistency checking using machine learning. In: Sack, H., Blomqvist, E., dāAquin, M., Ghidini, C., Ponzetto, S.P., Lange, C. (eds.) ESWC 2016. LNCS, vol. 9678, pp. 135ā150. Springer, Cham (2016). doi:10.1007/978-3-319-34129-3_9
Poggi, A., Lembo, D., Calvanese, D., Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. In: Spaccapietra, S. (ed.) Journal on Data Semantics X. LNCS, vol. 4900, pp. 133ā173. Springer, Heidelberg (2008). doi:10.1007/978-3-540-77688-8_5
Steigmiller, A., Liebig, T., Glimm, B.: Konclude: system description. J. Web Sem. 27, 78ā85 (2014). http://dx.doi.org/10.1016/j.websem.2014.06.003
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Ā© 2017 Springer International Publishing AG
About this paper
Cite this paper
Meilicke, C., Ruffinelli, D., Nolle, A., Paulheim, H., Stuckenschmidt, H. (2017). Fast ABox Consistency Checking Using Incomplete Reasoning and Caching. In: Costantini, S., Franconi, E., Van Woensel, W., Kontchakov, R., Sadri, F., Roman, D. (eds) Rules and Reasoning. RuleML+RR 2017. Lecture Notes in Computer Science(), vol 10364. Springer, Cham. https://doi.org/10.1007/978-3-319-61252-2_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-61252-2_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-61251-5
Online ISBN: 978-3-319-61252-2
eBook Packages: Computer ScienceComputer Science (R0)