Task3

From Kolflow Project

(Difference between revisions)
Jump to: navigation, search
Desmontils-e (Talk | contribs)
(Created page with "{{Task | responsible=Orpailleur | no=3 | title=Inferences and Interactions for dealing with Semantic Inconsistencies | activities=Design and experiment strategies for dealing wit...")
Newer edit →

Revision as of 17:51, 6 February 2011

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 :

description Feb2011+months
D31 algorithms and architecture of the interactive semantic inconsistency managing system 1212
D32 prototype and tests of the interactive semantic inconsistency managing system 2424
D33 prototype of the extension integrating management of ”human-machine” and ”logical” inconsistencies 3636


Sub-tasks :

title
Task31 Revision and Merging of Ontologies.
Task32 Human-Computer Interactions for Managing Consistency.
Task33 Interactive Revision and Merging of Ontologies.
Task34 Interactive Reasoning with a Globally Inconsistent Family of Ontologies.


Participants :