Thema3410: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Sebastian Rudolph (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Vergleich von Strategien zur Behandlung von Inkonsistenz in Beschreibungslogiken |Titel EN=Comparison of Inconsistency Handling St…“) |
Sebastian Rudolph (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{Abschlussarbeit | {{Abschlussarbeit | ||
|Titel DE=Vergleich von Strategien zur Behandlung von Inkonsistenz in Beschreibungslogiken | |Titel DE=Vergleich von Strategien zur Behandlung von Inkonsistenz in Beschreibungslogiken | ||
|Titel EN=Comparison of Inconsistency Handling Strategies in Description Logics | |Titel EN=Comparison of Inconsistency Handling Strategies in Description Logics | ||
|Abschlussarbeitstyp=Studienarbeit | |Abschlussarbeitstyp=Bachelor, Studienarbeit | ||
|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).
