Comparison of Inconsistency Handling Strategies in Description Logics
From International Center for Computational Logic
Comparison of Inconsistency Handling Strategies in Description Logics
Topic no longer available
- Supervisor Sebastian Rudolph
- Computational Logic
- Start
Dealing with inconsistencies is a very important challenge in practical scenarios of ontology use. The aim of this project is to understand, present, and formally compare different approaches to inconsistency in DLs (such as paraconsistent reasoning and reasoning with maximal consistent subontologies).
