Advanced Query Functionalities in Natural Logic Knowledge Bases-Reference-Cited by-同舟云学术

Advanced Query Functionalities in Natural Logic Knowledge Bases

Published:2024-04-18 Issue:1 Volume:17 Page:
ISSN:1875-6883
Container-title:International Journal of Computational Intelligence Systems
language:en
Short-container-title:Int J Comput Intell Syst

Author:

Andreasen Troels^ORCID,Bulskov Henrik,Nilsson Jørgen Fischer

Abstract

AbstractNatural logics are formal logics characterized by expressions that bear a resemblance to simplified natural language sentences. The inherent readability of natural logics renders them suitable also for large knowledge bases. Within the realm of natural logics, the rules of logical proof are applicable directly to the sentences constructed using this framework. This direct application ensures explainability of query inferences. In the paper we describe a specific natural logic named NaturaLog, suited for ontology-structured knowledge bases. We outline how NaturaLog can be effectively implemented into a database system to facilitate deductive querying. The primary focus of this paper lies in exploring various query functionalities and elucidating methods to achieve these capabilities, also when dealing with large-scale knowledge bases.

Publisher

Springer Science and Business Media LLC

Link

https://link.springer.com/content/pdf/10.1007/s44196-024-00484-x.pdf

Reference15 articles.

1. Nilsson, J.F.: In pursuit of natural logics for ontology-structured knowledge bases. In: The Seventh International Conference on Advanced Cognitive Technologies and Applications (2015). https://www.thinkmind.org/index.php?view=article &articleid=cognitive_2015_3_20_40044

2. Andreasen, T., Bulskov, H., Jensen, P.A., Nilsson, J.F.: Deductive querying of natural logic bases. In: Cuzzocrea, A., Greco, S., Larsen, H.L., Saccà, D., Andreasen, T., Christiansen, H. (eds.) Flexible Query Answering Systems, pp. 231–241. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-27629-4_22

3. Andreasen, T., Bulskov, H., Jensen, P.A., Nilsson, J.F.: Natural logic knowledge bases and their graph form. Data Knowl. Eng. (2020). https://doi.org/10.1016/j.datak.2020.101848

4. Andreasen, T., Bulskov, H., Nilsson, J.F.: A natural logic system for large knowledge bases. In: Tropmann-Frick, M., Thalheim, B., Jaakkola, H., Kiyoki, Y., Yoshida, N. (eds.) Information Modelling and Knowledge Bases, vol. 333, pp. 119–133. IOS Press, Amsterdam (2021). https://ebooks.iospress.nl/volumearticle/56439

5. Moss, L.S.: Syllogistic logics with verbs. J. Log. Comput. 20(4), 947–967 (2010). https://doi.org/10.1093/logcom/exn086