Abstract / Description of output
. Inconsistency handling is a central problem in many knowledge representation fields, such as belief revision, belief merging. Many approaches have been proposed to handle inconsistency in ontologies. In this paper, we propose a stratification-based approach for inconsistency handling in description logics (DLs), a family of ontology languages. This approach consists of two steps. In the first step, we obtain a preference relation on the axioms in the DL knowledge base using an algorithm. Then two existing approaches in first-order logic are adapted to resolve conflicting information in the stratified DL knowledge base.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the International Workshop on Ontology Dynamics (IWOD-07) |
| Editors | Giorgos Flouris, Mathieu d'Aquin |
| Pages | 83-96 |
| Number of pages | 14 |
| Publication status | Published - 7 Jun 2007 |
| Event | The 1st International Workshop on Ontology Dynamics - Innsbruck, Austria Duration: 7 Jun 2007 → 7 Jun 2007 Conference number: 1 https://kmi.open.ac.uk/events/iwod/ |
Conference
| Conference | The 1st International Workshop on Ontology Dynamics |
|---|---|
| Abbreviated title | IWOD 2007 |
| Country/Territory | Austria |
| City | Innsbruck |
| Period | 7/06/07 → 7/06/07 |
| Internet address |