Abstract
We describe principles and design of a system for knowledge bases applying a natural logic. Natural logics are forms of logic which appear as stylized fragments of natural language sentences. Accordingly, such knowledge base sentences can be read and understood directly by a domain expert. The system applies a graph form computed from the input natural logic sentences. The graph form generalizes the usual partial-order ontological sub-class structures by accommodation of affirmative sentences comprising recursive phrase structures. In this paper we focus on the logical inference rules for extending the concept graph form enabling deductive querying as well as computation of pathways between the concepts mentioned in the sentences.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
References
Andreasen, T., Bulskov, H., Nilsson, J.F., Jensen, P.A.: A system for computing conceptual pathways in bio-medical text models. In: Andreasen, T., Christiansen, H., Cubero, J.-C., Raś, Z.W. (eds.) ISMIS 2014. LNCS, vol. 8502, pp. 264–273. Springer, Heidelberg (2014)
Andreasen, T., Bulskov, H., Nilsson, J.F., Anker Jensen, P., Lassen, T.: Conceptual pathway querying of natural logic knowledge bases from text bases. In: Larsen, H.L., Martin-Bautista, M.J., Vila, M.A., Andreasen, T., Christiansen, H. (eds.) FQAS 2013. LNCS, vol. 8132, pp. 1–12. Springer, Heidelberg (2013)
Nilsson, J.F.: Diagrammatic reasoning with classes and relationships. Moktefi, A., Shin, S.-J. (eds.) Visual Reasoning with Diagrams. Studies in Universal Logic. Birkhäuser, Springer (2013)
Nilsson, J.F.: In pursuit of natural logics for ontology-structured knowledge bases. In: The Seventh International Conference on Advanced Cognitive Technologies and Applications, COGNITIVE 2015, Nice, France, March 22–27, 2015. IARIA. ISSN: 2308–4197, ISBN 978-1-61208-390-2
Andreasen, T., Nilsson, J.F.: A case for embedded natural logic for ontological knowledge bases. In: Proceedings of the 6th International Conference on Knowledge Engineering and Ontology Development (2014)
Andreasen, T., Bulskov, H., Nilsson, J.F., Jensen, P.A.: Computing pathways in bio-models derived from bio-science text sources. In: IWBBIO 2014, pp. 217–226 (2014)
Andreasen, T., Nilsson, J.F.: Grammatical Specification of Domain Ontologies in journal. Data & Knowledge Engineering 48(2), 221–230 (2004)
van Benthem, J.: Essays in Logical Semantics. Studies in Linguistics and Philosophy, vol. 29. D. Reidel Publishing Company (1986)
van Benthem, J.: Natural logic, past and future. In: Workshop on Natural Logic, Proof Theory, and Computational Semantics 2011. CSLI Stanford (2011). http://www.stanford.edu/~icard/logic&language/index.html
Smith, B., Rosse, C.: The role of foundational relations in the alignment of biomedical ontologies. In: Fieschi, M. (ed.) MEDINFO 2004 (2004)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Andreasen, T., Bulskov, H., Nilsson, J.F., Jensen, P.A. (2016). A System for Conceptual Pathway Finding and Deductive Querying. In: Andreasen, T., et al. Flexible Query Answering Systems 2015. Advances in Intelligent Systems and Computing, vol 400. Springer, Cham. https://doi.org/10.1007/978-3-319-26154-6_35
Download citation
DOI: https://doi.org/10.1007/978-3-319-26154-6_35
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-26153-9
Online ISBN: 978-3-319-26154-6
eBook Packages: Computer ScienceComputer Science (R0)