Abstract : We consider the application setting where a domain-specific knowledge base about Durum Wheat has been constructed by knowledge engineers who are not experts in the domain. This knowledge base is prone to inconsistencies and incompleteness. The goal of this work is to show how the state of the art knowledge representation formalism called Datalog± can be used to cope with such problems by (1) providing inconsistency-tolerant techniques to cope with inconsistency, and (2) providing an expressive logical language that allows representing incomplete knowledge.
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01399096
Contributor : Abdallah Arioua
<>
Submitted on : Friday, November 18, 2016 - 12:39:03 PM
Last modification on : Tuesday, April 16, 2019 - 8:41:50 PM
Long-term archiving on : Tuesday, March 21, 2017 - 2:44:25 AM
