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

Research output: Contribution to journal โ€บ Research article โ€บ Contributed โ€บ peer-review

Contributors

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

Original languageEnglish
Pages (from-to)399-403
Number of pages5
JournalKI. Kรผnstliche Intelligenz
Volume34
Publication statusPublished - 11 Jul 2020
Peer-reviewedYes

External IDs

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

Keywords

Library keywords