Task3

From Kolflow Project

Title : Inferences and Interactions for dealing with Semantic Inconsistencies

Code : 3

Responsible : Orpailleur

Activities : Design and experiment strategies for dealing with Semantic Inconsistencies

Start Date :

End Date :

Objectives : Given a knowledge base KB expressed in a classical logic, such as OWL DL, it is important that KB is semantically consistent: if it is not, anything (and its negation) can be produced by classical deductive inferences. Now, given two (or more) sources of knowledge, such as a human and a knowledge discovery process, leading to two consistent knowledge bases KB1 and KB2, their conjunction KB1 ∪ KB2 may be inconsistent. If this occurs, what should be done? It is the objective of this task to give some answers to this question, when the knowledge bases are ontologies expressed in a description logic-like formalism.

Success criteria :

Risks :

Deliverables :

Sub-tasks :

Participants :

• GDD (2)
• Edelweiss (4)
• Orpailleur (87)
• Silex (7)