Abstract
We introduce a dedicated form of natural logic intended for representation of sentences in a knowledge base. Natural logic is a version of formal logic whose sentences cover a stylized fragment of natural language. Thus, the sentences in the knowledge base can be read and understood directly by a domain expert, unlike, say, predicate logic and description logic. The paper describes the inference rules enabling deductive querying of the knowledge base. The natural logic sentences and the inference rules are represented in Datalog providing a convenient graph form. As such, the natural logic knowledge base may be viewed as an enriched formal ontology structure. We describe various query facilities including pathway finding accommodated by this setup.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Andreasen, T., Bulskov, H., Nilsson, J.F., Jensen, P.A.: A system for conceptual pathway finding and deductive querying. In: Andreasen, T., et al. (eds.) Flexible Query Answering Systems 2015. AISC, vol. 400, pp. 461–472. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-26154-6_35
Andreasen, T., Bulskov, H., Jensen, P.A., Nilsson, J.F. A natural logic for natural-language knowledge bases. In: Partiality, Underspecification, and Natural Language Processing. Cambridge Scholars (2017a)
Andreasen, T., Bulskov, H., Jensen, P.A., Nilsson, J.F.: Pathway computation in models derived from bio-science text sources. In: Kryszkiewicz, M., Appice, A., Ślęzak, D., Rybinski, H., Skowron, A., Raś, Z.W. (eds.) ISMIS 2017. LNCS (LNAI), vol. 10352, pp. 424–434. Springer, Cham (2017b). https://doi.org/10.1007/978-3-319-60438-1_42
Andreasen, T., Bulskov, H., Jensen, P.A., Nilsson, J.F.: Natural logic knowledge bases and their graph form. Submitted to Journal, 34 p. (2018, under review)
Andreasen, T., Nilsson, J.F.: Grammatical specification of domain ontologies. Data Knowl. Eng. 48(2), 221–230 (2004)
Kehler, A.: Anatomi og Fysologi I og II. Arnold Busk (1988)
Klíma, G.: Natural logic, medieval logic and formal semantics. Logic Lang. Math. 2 (2010)
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)
Sánchez Valencia, V.M.: Studies on Natural Logic and Categorial Grammar. Categorial grammar. Universiteit van Amsterdam, Amsterdam, Holland (1991)
Smith, B., Rosse, C.: The role of foundational relations in the alignment of biomedical ontologies. Medinfo 11(Pt 1), 444–448 (2004)
van Benthem, J.: Essays in Logical Semantics. Studies in Linguistics and Philosophy, vol. 29. D. Reidel, Dordrecht (1986)
Weston, T., Horton, C., Weston, T.: Atlas of Atonomy. Marshall Cavendish (1997)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Andreasen, T., Bulskov, H., Jensen, P.A., Nilsson, J.F. (2019). Deductive Querying of Natural Logic Bases. In: Cuzzocrea, A., Greco, S., Larsen, H., Saccà, D., Andreasen, T., Christiansen, H. (eds) Flexible Query Answering Systems. FQAS 2019. Lecture Notes in Computer Science(), vol 11529. Springer, Cham. https://doi.org/10.1007/978-3-030-27629-4_22
Download citation
DOI: https://doi.org/10.1007/978-3-030-27629-4_22
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-27628-7
Online ISBN: 978-3-030-27629-4
eBook Packages: Computer ScienceComputer Science (R0)