Abstract
Automated reasoning support is an important aspect of logic-based knowledge representation. The development of specialised procedures and sophisticated optimisation techniques significantly improved the performance even for complex reasoning tasks such as conjunctive query answering. Reasoning and query answering over knowledge bases with a large number of facts and expressive schemata remains, however, challenging.
We propose a novel approach where the reasoning over assertional knowledge is split into small, similarly sized work packages to enable a parallelised processing with tableau algorithms, which are dominantly used for reasoning with more expressive Description Logics. To retain completeness in the presence of expressive schemata, we propose a specifically designed cache that allows for controlling and synchronising the interaction between the constructed partial models. We further report on encouraging performance improvements for the implementation of the techniques in the tableau-based reasoning system Konclude.
A. Steigmiller—Funded by the German Research Foundation (Deutsche Forschungsgemeinschaft, DFG) in project number 330492673.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Source code, evaluation data, all results, and a Docker image (koncludeeval/parqa) are available at online, e.g., at https://zenodo.org/record/4606566.
- 2.
We evaluated query answering on a sample (denoted with Uniprot\(_{40}\)) since the full Uniprot ontology (Uniprot\(_{100}\)) is inconsistent and, hence, not interesting for evaluating query answering.
References
Allocca, C., et al.: Large-scale reasoning on expressive Horn ontologies. In: Proceedings of 3rd International Workshop on the Resurgence of Datalog in Academia and Industry, vol. 2368. CEUR (2019)
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)
Bajraktari, L., Ortiz, M., Simkus, M.: Compiling model representations for querying large ABoxes in expressive DLs. In: Proceedings of 27nd International Joint Conference on Arti. Intelligence (2018)
Carral, D., Dragoste, I., González, L., Jacobs, C.J.H., Krötzsch, M., Urbani, J.: VLog: a rule engine for knowledge graphs. In: Proceedings of 18th International Semantic Web Conference (ISWC 2019) (2019)
Carral, D., González, L., Koopmann, P.: From horn-SRIQ to datalog: a data-independent transformation that preserves assertion entailment. In: Proceedings of 33rd AAAI Conference on Artificial Intelligence (AAAI 2019). AAAI Press (2019)
Dolby, J., Fokoue, A., Kalyanpur, A., Schonberg, E., Srinivas, K.: Scalable highly expressive reasoner (SHER). J. Web Semant. 7(4), 357–361 (2009)
Evans, J.: A scalable concurrent malloc(3) implementation for FreeBSD. In: Proceedings of 3rd Technical BSD Conference (BSDCan 2006) (2006)
Glimm, B., Kazakov, Y., Tran, T.: Ontology materialization by abstraction refinement in Horn \(\cal{SHOIF}\). In: Proceedings of 31st AAAI Conference on Artifical Intelligence (AAAI 2017), pp. 1114–1120. AAAI Press (2017)
Haarslev, V., Möller, R.: On the scalability of description logic instance retrieval. J. Autom. Reason. 41(2), 99–142 (2008)
Haarslev, V., Möller, R., Turhan, A.-Y.: Exploiting pseudo models for TBox and ABox reasoning in expressive description logics. In: Goré, R., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS, vol. 2083, pp. 61–75. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45744-5_6
Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\cal{SROIQ}\). In: Proceedings of 10th International Conference on Principles of Knowledge Representation and Reasoning. AAAI Press (2006)
Sirin, E., Cuenca Grau, B., Parsia, B.: From wine to water: optimizing description logic reasoning for nominals. In: Proceedings of 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006). AAAI Press (2006)
Steigmiller, A., Glimm, B.: Absorption-based query answering for expressive description logics. In: Ghidini, C., Hartig, O., Maleshkova, M., Svátek, V., Cruz, I., Hogan, A., Song, J., Lefrançois, M., Gandon, F. (eds.) ISWC 2019. LNCS, vol. 11778, pp. 593–611. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-30793-6_34
Steigmiller, A., Glimm, B.: Parallelised ABox reasoning and query answering with expressive description logics - technical report. Technical report, Ulm University, Ulm, Germany (2021). https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2021/StGl2021-PARQA-TR-ESWC.pdf
Steigmiller, A., Glimm, B., Liebig, T.: Coupling tableau algorithms for expressive description logics with completion-based saturation procedures. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS (LNAI), vol. 8562, pp. 449–463. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08587-6_35
Steigmiller, A., Glimm, B., Liebig, T.: Completion graph caching for expressive description logics. In: Proceedings of 28th International Workshop on Description Logics (DL 2015) (2015)
Tsarkov, D., Horrocks, I., Patel-Schneider, P.F.: Optimizing terminological reasoning for expressive description logics. J. Autom. Reason. 39, 277–316 (2007)
Urbani, J., Kotoulas, S., Maassen, J., van Harmelen, F., Bal, H.E.: Webpie: a web-scale parallel inference engine using mapreduce. J. Web Semant. 10, 59–75 (2012)
Wandelt, S., Möller, R.: Distributed island-based query answering for expressive ontologies. In: Proceedings of 5th International Conference on Advances in Grid and Pervasive Computing (GPC 2010) (2010)
Wandelt, S., Möller, R.: Towards ABox modularization of semi-expressive description logics. J. Appl. Ontol. 7(2), 133–167 (2012)
Zhou, Y., Cuenca Grau, B., Nenov, Y., Kaminski, M., Horrocks, I.: PAGOdA: pay-as-you-go ontology query answering using a datalog reasoner. J. Artif. Intell. Res. 54, 309–367 (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Steigmiller, A., Glimm, B. (2021). Parallelised ABox Reasoning and Query Answering with Expressive Description Logics. In: Verborgh, R., et al. The Semantic Web. ESWC 2021. Lecture Notes in Computer Science(), vol 12731. Springer, Cham. https://doi.org/10.1007/978-3-030-77385-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-77385-4_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-77384-7
Online ISBN: 978-3-030-77385-4
eBook Packages: Computer ScienceComputer Science (R0)