Abstract
Natural logics are formal logics whose sentences resemble simplified natural language. As such they are suitable for knowledge bases. The offered logical proof rules apply directly to the natural logic sentences, ensuring explainability of query inferences. We describe a natural logic, NaturaLog, suited for ontology-structured knowledge bases, and explain how it can be implemented in a database system for conducting deductive querying.
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
Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases: The Logical Level, 1st edn. Addison-Wesley Longman Publishing Co., Inc., New York (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.: Deductive querying of natural logic bases. In: Cuzzocrea, A., Greco, S., Larsen, H.L., Saccà, D., Andreasen, T., Christiansen, H. (eds.) FQAS 2019. LNCS (LNAI), vol. 11529, pp. 231–241. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-27629-4_22
Andreasen, T., Bulskov, H., Jensen, P.A., Nilsson, J.F.: Natural logic knowledge bases and their graph form. Data Knowl. Eng. 129, 101848 (2020)
Andreasen, T., Bulskov, H., Fischer Nilsson, J.: 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
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of the 12th International Conference on World Wide Web, WWW 2003, New York, NY, USA, pp. 48–57. ACM (2003)
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)
Nilsson, J.F.: A cube of opposition for predicate logic. Logica Universalis 14(1), 103–114 (2020)
Pratt-Hartmann, I., Moss, L.S.: Logics for the relational syllogistic. Rev. Symb. Logic 2(4), 647–683 (2009)
Sowa, J.F.: Knowledge Representation: Logical, Philosophical and Computational Foundations. Brooks/Cole Publishing Co., Pacific Grove (2000)
van Benthem, J.: Natural logic, past and future. In: Workshop on Natural Logic, Proof Theory, and Computational Semantics (2011)
van Benthem, J.: Essays in logical semantics, Volume 29 of Studies in Linguistics and Philosophy. D. Reidel, Dordrecht (1986)
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
Andreasen, T., Bulskov, H., Nilsson, J.F. (2021). Realization of a Natural Logic in a Database System. In: Andreasen, T., De Tré, G., Kacprzyk, J., Legind Larsen, H., Bordogna, G., Zadrożny, S. (eds) Flexible Query Answering Systems. FQAS 2021. Lecture Notes in Computer Science(), vol 12871. Springer, Cham. https://doi.org/10.1007/978-3-030-86967-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-86967-0_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-86966-3
Online ISBN: 978-3-030-86967-0
eBook Packages: Computer ScienceComputer Science (R0)