Abstract
This paper focuses on the performance of optimized forward reason systems. The main characteristics of forward reasoning are that it is sensitive to the update of data, has a high cost of precomputation closure, and can not be closely related to the characteristics of the specific query. Therefore, it usually makes reason on irrelevant data. Processing this data reduces the performance of the reason system and consumes a lot of memory resources. Backward reasoning can make up for this defect to a certain extent, but its inherent defect of the high cost of online query rewriting cannot make it efficient in reasoning tasks. We design an efficient reason method, which can effectively combine the advantages of forward reason and backward reason to ensure the completeness of reason as much as possible. It can not only reduce the processing cost caused by data updates and desensitize semantic data to a certain extent but also avoid the high cost caused by query rewriting and greatly reduce the cost of precomputation closure. Finally, we implement the proposed method on a prototype of a forward reason system named SUMA-F and compare it with the current forward reason systems with better performance on various datasets of different sizes. Experiments show that the SUMA-F has high reasoning efficiency, is better than other systems, and has high scalability on large-scale datasets.
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
Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Sci. Am. 284(5), 34–43 (2001)
Bizer, C., et al.: DBpedia-a crystallization point for the web of data. J. Web Semant. 7(3), 154–165 (2009)
Broekstra, J., Kampman, A., van Harmelen, F.: Sesame: a generic architecture for storing and querying RDF and RDF schema. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 54–68. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-48005-6_7
Buron, M.: Efficient reasoning on large-scale heterogeneous data. Ph.D. thesis, Institut Polytechnique de Paris (2020)
Calvanese, D., et al.: Ontop: answering SPARQL queries over relational databases. Semant. Web 8(3), 471–487 (2017)
Carroll, J.J., Dickinson, I., Dollin, C., Reynolds, D., Seaborne, A., Wilkinson, K.: Jena: implementing the semantic web recommendations. In: Proceedings of the 13th International World Wide Web Conference on Alternate Track Papers and Posters, pp. 74–83 (2004)
Chen, Y., Qian, T., Li, W., Liang, Y.: Exploiting composite relation graph convolution for attributed network embedding. J. Comput. Res. Dev. 57(8), 1674–1682 (2020)
Cucala, D.T., Grau, B.C., Horrocks, I.: Sequoia: a consequence based reasoner for SROIQ. In: Proceedings of the 32nd International Workshop on Description Logics (DL 2019), pp. 1–12 (2019)
Eiter, T., Ortiz, M., Simkus, M., Tran, T.K., Xiao, G.: Query rewriting for Horn-Shiq plus rules. In: Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI 2012), pp. 22–26 (2012)
Gómez, S.A., Fillottrani, P.R.: Materialization of OWL ontologies from relational databases: a practical approach. In: Pesado, P., Arroyo, M. (eds.) CACIC 2019. CCIS, vol. 1184, pp. 285–301. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-48325-8_19
Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to query answering in DL-Lite. In: Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), vol. 10, pp. 247–257 (2010)
Lutz, C., Seylan, İ, Toman, D., Wolter, F.: The combined approach to OBDA: taming role hierarchies using filters. In: Alani, H., et al. (eds.) ISWC 2013. LNCS, vol. 8218, pp. 314–330. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-41335-3_20
Ma, L., Yang, Y., Qiu, Z., Xie, G., Pan, Y., Liu, S.: Towards a complete OWL ontology benchmark. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 125–139. Springer, Heidelberg (2006). https://doi.org/10.1007/11762256_12
Motik, B., Nenov, Y., Piro, R., Horrocks, I., Olteanu, D.: Parallel materialisation of datalog programs in centralised, main-memory RDF systems. In: Proceedings of the 28th AAAI Conference on Artificial Intelligence, pp. 129–137 (2014)
Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. Artif. Intell. Res. 36, 165–228 (2009)
Nenov, Y., Piro, R., Motik, B., Horrocks, I., Wu, Z., Banerjee, J.: RDFox: a highly-scalable RDF store. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9367, pp. 3–20. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25010-6_1
Qin, X., Zhang, X., Yasin, M.Q., Wang, S., Feng, Z., Xiao, G.: SUMA: a partial materialization-based scalable query answering in OWL 2 DL. Data Sci. Eng. 6(2), 229–245 (2021)
Qin, X., Zhang, X., Yasin, M.Q., Wang, S., Feng, Z., Xiao, G.: A partial materialization-based scalable query answering in OWL 2 DL. In: Proceedings of the 25th International Conference on Database Systems for Advanced Applications, pp. 171–187 (2020)
Shi, H., Maly, K., Zeil, S.: A scalable backward chaining-based reasoner for a semantic web. Int. J. Adv. Intell. Syst. 7(1–2), 23–38 (2014)
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. J. Web Semant. 5(2), 51–53 (2007)
Ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF schema and a semantic extension involving the OWL vocabulary. J. Web Semant. 3(2–3), 79–115 (2005)
Urbani, J., van Harmelen, F., Schlobach, S., Bal, H.: QueryPIE: backward reasoning for OWL Horst over very large knowledge bases. In: Aroyo, L., et al. (eds.) ISWC 2011. LNCS, vol. 7031, pp. 730–745. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-25073-6_46
Wang, S.-Y., Guo, Y., Qasem, A., Heflin, J.: Rapid benchmarking for semantic web knowledge base systems. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 758–772. Springer, Heidelberg (2005). https://doi.org/10.1007/11574620_54
Zhou, Y., Grau, B.C., 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
Appendix
Appendix
Rights and permissions
Copyright information
© 2022 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Cui, L., Ren, T., Zhang, X., Feng, Z. (2022). Optimization of Large-Scale Knowledge Forward Reasoning Based on OWL 2 DL Ontology. In: Gao, H., Wang, X., Wei, W., Dagiuklas, T. (eds) Collaborative Computing: Networking, Applications and Worksharing. CollaborateCom 2022. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 461. Springer, Cham. https://doi.org/10.1007/978-3-031-24386-8_21
Download citation
DOI: https://doi.org/10.1007/978-3-031-24386-8_21
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-24385-1
Online ISBN: 978-3-031-24386-8
eBook Packages: Computer ScienceComputer Science (R0)