- AutorIn
- Felix Distel
- Titel
- Learning Description Logic Knowledge Bases from Data Using Methods from Formal Concept Analysis
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa-70199
- Datum der Einreichung
- 21.12.2010
- Datum der Verteidigung
- 27.04.2011
- Abstract (EN)
- Description Logics (DLs) are a class of knowledge representation formalisms that can represent terminological and assertional knowledge using a well-defined semantics. Often, knowledge engineers are experts in their own fields, but not in logics, and require assistance in the process of ontology design. This thesis presents three methods that can extract terminological knowledge from existing data and thereby assist in the design process. They are based on similar formalisms from Formal Concept Analysis (FCA), in particular the Next-Closure Algorithm and Attribute-Exploration. The first of the three methods computes terminological knowledge from the data, without any expert interaction. The two other methods use expert interaction where a human expert can confirm each terminological axiom or refute it by providing a counterexample. These two methods differ only in the way counterexamples are provided.
- Freie Schlagwörter (DE)
- Beschreibungslogik, Formale Begriffsanalyse, Wissensrepräsentation
- Freie Schlagwörter (EN)
- Description Logics, Formal Concept Analysis, Knowledge Representation
- Klassifikation (DDC)
- 001, 131
- Klassifikation (RVK)
- ST 125
- Normschlagwörter (GND)
- Logik, Ontologie <Wissensverarbeitung>
- GutachterIn
- Prof. Dr. rer. nat. Gerd Stumme
- BetreuerIn
- Prof. Dr.-Ing. Franz Baader
- Den akademischen Grad verleihende / prüfende Institution
- Technische Universtiät Dresden, Dresden
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa-70199
- Veröffentlichungsdatum Qucosa
- 29.06.2011
- Dokumenttyp
- Dissertation
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis