Vergleich von Strategien zur Behandlung von Inkonsistenz in Beschreibungslogiken
Aus International Center for Computational Logic
Vergleich von Strategien zur Behandlung von Inkonsistenz in Beschreibungslogiken
Verfügbar als Thema einer Studienarbeit
- Betreuer Sebastian Rudolph
- Computational Logic
- Beginn
Die Behandlung von Inkonsistenzen stellt eine Herausforderung in der praktischen Verwendung von Ontologien dar. Ziel dieses Projektes ist es verschiedene Ansätze zur Inkonsistenzbehandlung in Beschreibungslogiken zu verstehen, darzustellen und formal zu vergleichen (z.B. parakonsistentes Schließen und maximale konsistente Teilontologien).
