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.

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