A Case for Embedded Natural Logic for Ontological Knowledge Bases

Troels Andreasen, Jørgen Fischer Nilsson

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Resumé

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
OriginalsprogEngelsk
Artikelnummer71
TidsskriftProceedings of the 6th International Conference on Knowledge Engineering and Ontology Development
StatusUdgivet - 2014
Begivenhed6th International Conference on Knowledge Engineering and Ontology Development : KOED 2014 - Barcelo Aran Mantegna , Rome, Italien
Varighed: 21 okt. 201424 okt. 2014
http://www.keod.ic3k.org/?y=2014 (Link til konference)

Konference

Konference6th International Conference on Knowledge Engineering and Ontology Development
LokationBarcelo Aran Mantegna
LandItalien
ByRome
Periode21/10/201424/10/2014
Internetadresse

Citer dette

@inproceedings{d2ebfb22ef804403896e7b37e4fe9675,
title = "A Case for Embedded Natural Logic for Ontological Knowledge Bases",
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",
author = "Troels Andreasen and Nilsson, {J{\o}rgen Fischer}",
year = "2014",
language = "English",
journal = "Proceedings of the 6th International Conference on Knowledge Engineering and Ontology Development",
publisher = "INSTICC",

}

A Case for Embedded Natural Logic for Ontological Knowledge Bases. / Andreasen, Troels; Nilsson, Jørgen Fischer.

I: Proceedings of the 6th International Conference on Knowledge Engineering and Ontology Development, 2014.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

TY - GEN

T1 - A Case for Embedded Natural Logic for Ontological Knowledge Bases

AU - Andreasen, Troels

AU - Nilsson, Jørgen Fischer

PY - 2014

Y1 - 2014

N2 - 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

AB - 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

M3 - Conference article

JO - Proceedings of the 6th International Conference on Knowledge Engineering and Ontology Development

JF - Proceedings of the 6th International Conference on Knowledge Engineering and Ontology Development

M1 - 71

ER -