Abstract
This paper outlines a systems architecture for deductive querying of knowledge bases in a natural logic. The natural logic may be conceived as an extension of formal ontology languages featuring multiple quantified relationships between classes in addition to the subclass relation. It is proposed to obtain deductive querying by computation and storing of relevant logical consequences in a preliminary step. The paper explains how then subsequently query answers within the natural logic can be computed through plain relational database querying using ordinary query languages.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases: The Logical Level, 1st edn. Addison-Wesley Longman Publishing Co., Inc, Boston (1995)
Abzianidze, L.: Langpro: natural language theorem prover. In: Conference on Empirical Methods in Natural Language Processing (2017)
Abzianidze, L.: LangPro: natural language theorem prover (2021). https://naturallogic.pro/LangPro/. Accessed 31 May 2021
Andreasen, T., Bulskov, H., Jensen, P.A., Nilsson, J.F.: Natural logic knowledge bases and their graph form. Data Knowl. Eng. (2020)
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 (2021). https://ebooks.iospress.nl/volumearticle/56439
Karttunen, L.: From natural logic to natural reasoning. In: Gelbukh, A. (ed.) CICLing 2015. LNCS, vol. 9041, pp. 295–309. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-18111-0_23
Moss, L.S.: Syllogistic logics with verbs. J. Log. Comput. 20(4), 947–967 (2010)
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)
Pratt-Hartmann, I., Moss, L.S.: Logics for the relational syllogistic. CoRR, abs/0808.0521 (2008)
Valencia, V.M.S.: Studies on Natural Logic and Categorial Grammar, Categorial grammar. Universiteit van Amsterdam, Amsterdam (1991)
van Benthem, J.: Essays in Logical Semantics. Studies in Linguistics and Philosophy, vol. 29. D. Reidel, Dordrecht (1986)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 Springer Nature Switzerland AG
About this paper
Cite this paper
Andreasen, T., Bulskov, H., Nilsson, J.F. (2023). On Reducing Reasoning and Querying in Natural Logic to Database Querying. In: Larsen, H.L., Martin-Bautista, M.J., Ruiz, M.D., Andreasen, T., Bordogna, G., De Tré, G. (eds) Flexible Query Answering Systems. FQAS 2023. Lecture Notes in Computer Science(), vol 14113. Springer, Cham. https://doi.org/10.1007/978-3-031-42935-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-031-42935-4_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-42934-7
Online ISBN: 978-3-031-42935-4
eBook Packages: Computer ScienceComputer Science (R0)