Thema3410: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Sebastian Rudolph (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Sebastian Rudolph (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt) | |||
| Zeile 5: | Zeile 5: | ||
|Betreuer=Sebastian Rudolph | |Betreuer=Sebastian Rudolph | ||
|Forschungsgruppe=Computational Logic | |Forschungsgruppe=Computational Logic | ||
|Abschlussarbeitsstatus= | |Abschlussarbeitsstatus=Nicht mehr verfügbar | ||
|Beschreibung DE=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). | |Beschreibung DE=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). | ||
|Beschreibung EN=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). | |Beschreibung EN=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). | ||
}} | }} | ||
Aktuelle Version vom 8. Juni 2021, 22:57 Uhr
Vergleich von Strategien zur Behandlung von Inkonsistenz in Beschreibungslogiken
Thema nicht mehr verfügbar
- 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).
