A Case for Embedded Natural Logic for Ontological Knowledge Bases

Troels Andreasen, Jørgen Fischer Nilsson

2014

Abstract

We argue in favour of adopting a form of natural logic for ontology-structured knowledge bases as an alternative to description logic and rule based languages. Natural logic is a form of logic resembling natural language assertions, unlike description logic. This is essential e.g. in life sciences, where the large and evolving knowledge specifications should be directly accessible to domain experts. Moreover, natural logic comes with intuitive inference rules. The considered version of natural logic leans toward the closed world assumption (CWA) unlike the open world assumption with classical negation in description logic. We embed the natural logic in DATALOG clauses which is to take care of the computational inference in connection with querying.

References

  1. Andreasen, T. and Fischer Nilsson, J. (2004) Grammatical Specification of Domain Ontologies. Data & Knowledge Engineering, vol: 48, issue: 2, pages: 221-230.
  2. Andreasen, T., Bulskov, H., Fischer Nilsson, J., Jensen, P. A., Lassen, T. (2013). Conceptual Pathway Querying of Natural Logic Knowledge Bases from Text Bases. In 10th international conference on Flexible Query Answering Systems, Springer-Verlag, Berlin, Heidelberg, pages 1-12.
  3. Andreasen, T., Bulskov, H., Fischer Nilsson, J., Jensen, P. A. (2014a). Computing Pathways in Bio-Models Derived from Bio-Science Text Sources. In IWBBIO International Work-Conference on Bioinformatics and Biomedical Engineering, Proceedings, Granada April 7-9, 2014, ISBN 84-15814-84-9, pages 217-226.
  4. Andreasen, T., Bulskov, H., Fischer Nilsson, J., Anker Jensen, P. (2014b). Computing Conceptual Pathways in Bio-Medical Text Models. In Foundations of Intelligent Systems - 19th International Symposium, ISMIS 2014, Roskilde, Denmark, June 28-30.
  5. de Azevedo, R. R., Freitas, F., Rocha, R. Menezes, J. A., Pereira, L. F. A. (2014). Generating Description Logic A L C from Text in Natural Language In proceedings of Foundations of Intelligent Systems - 21th International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27.
  6. van Benthem, J.(1986). Essays in Logical Semantics, Studies in Linguistics and Philosophy, Vol. 29, D. Reidel Publishing Company.
  7. van Benthem, J. (2011). Natural Logic, Past And Future, Workshop on Natural Logic, Proof Theory, and Computational Semantics 2011, CSLI Stanford. http://www.stanford.edu/ icard/logic&language/ index.html
  8. Fischer Nilsson, J. (2011). Querying class-relationship logic in a metalogic framework. In Proceedings of the 9th international conference on Flexible Query Answering Systems (FQAS'11), Henning Christiansen, H., De Tré, G., Yazici, A., Zadrozny, S., and Andreasen, T. (Eds.). Springer-Verlag, Berlin, Heidelberg (2011) 96-107
  9. Grosof, B. N. G., Horrocks, I., Volz, R., and Decker, S. (2003): Description Logic Programs: Combining Logic Programs with Description Logic. In Proceedings of the 12th international conference on World Wide Web (WWW 7803). ACM, New York, NY, USA, pages 48-57.
  10. MacCartney, B. and Manning, C. (2009): An Extended Model of Natural Logic. In Bunt, H., Petukhova, V., and Wubben, S., (eds), Proceedings of the 8th IWCS, Tilburg, pages 140-156.
  11. Muskens, R. (2011). Towards Logics that Model Natural Reasoning, Program Description Research program in Natural Logic, http://lyrawww.uvt.nl/˜ rmuskens/natural/
  12. Sanchez Valencia, V. (2004). The Algebra of Logic, in Gabbay, D. M. & Woods, J. (eds.). Handbook of the History of Logic, Vol. 3 The Rise of Modern Logic: From Leibniz to Frege, Elsevier.
  13. Smith, B. and Rosse, C. (2004). The Role of Foundational Relations in the Aligment of Biomedical Ontologies, MEDINFO 2004, M. Fieschi et al..
  14. Sowa, J. F. (ed.). (1991). Principles of Semantic Networks, Morgan Kaufmann.
  15. Sowa, J. F. (2000). Knowledge Representation, Logical, Philosophical, and Computational Foundations, Brooks/Cole Thomson Learning.
Download


Paper Citation


in Harvard Style

Andreasen T. and Fischer Nilsson J. (2014). A Case for Embedded Natural Logic for Ontological Knowledge Bases . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014) ISBN 978-989-758-049-9, pages 423-427. DOI: 10.5220/0005156504230427


in Bibtex Style

@conference{keod14,
author={Troels Andreasen and Jørgen Fischer Nilsson},
title={A Case for Embedded Natural Logic for Ontological Knowledge Bases},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014)},
year={2014},
pages={423-427},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005156504230427},
isbn={978-989-758-049-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014)
TI - A Case for Embedded Natural Logic for Ontological Knowledge Bases
SN - 978-989-758-049-9
AU - Andreasen T.
AU - Fischer Nilsson J.
PY - 2014
SP - 423
EP - 427
DO - 10.5220/0005156504230427