Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis: A Dissertation Summary
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Beitragende
Abstract
My thesis describes how methods from Formal Concept Analysis can be used for constructing and extending description logic ontologies. In particular, it is shown how concept inclusions can be axiomatized from data in the description logics 𝓔𝓛, 𝓜, Horn-𝓜, and Prob-𝓔𝓛. All proposed methods are not only sound but also complete, i.e., the result not only consists of valid concept inclusions but also entails each valid concept inclusion. Moreover, a lattice-theoretic view on the description logic 𝓔𝓛 is provided. For instance, it is shown how upper and lower neighbors of 𝓔𝓛 concept descriptions can be computed and further it is proven that the set of 𝓔𝓛 concept descriptions forms a graded lattice with a non-elementary rank function.
Details
Originalsprache | Englisch |
---|---|
Seiten (von - bis) | 399-403 |
Seitenumfang | 5 |
Fachzeitschrift | KI. Künstliche Intelligenz |
Jahrgang | 34 |
Publikationsstatus | Veröffentlicht - 11 Juli 2020 |
Peer-Review-Status | Ja |
Externe IDs
Scopus | 85091142481 |
---|---|
ORCID | /0000-0003-0219-0330/work/153109373 |