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 language | English |
|---|---|
| Pages (from-to) | 399-403 |
| Number of pages | 5 |
| Journal | KI. Kรผnstliche Intelligenz |
| Volume | 34 |
| Publication status | Published - 11 Jul 2020 |
| Peer-reviewed | Yes |
External IDs
| Scopus | 85091142481 |
|---|---|
| ORCID | /0000-0003-0219-0330/work/153109373 |