Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis: A Dissertation Summary

Research output: Contribution to journalResearch articleContributedpeer-review



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.


Original languageEnglish
Pages (from-to)399-403
Number of pages5
JournalKI. Künstliche Intelligenz
Publication statusPublished - 11 Jul 2020

External IDs

Scopus 85091142481
ORCID /0000-0003-0219-0330/work/153109373


Library keywords