Auflistung nach:
Auflistung Künstliche Intelligenz 34(3) - September 2020 nach Schlagwort "Description logic"
1 - 3 von 3
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelConstructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis(KI - Künstliche Intelligenz: Vol. 34, No. 3, 2020) Kriegel, FrancescoMy 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 $$\mathcal {E}\mathcal {L}$$ E L , $$\mathcal {M}$$ M , $$\textsf {Horn}$$ Horn - $$\mathcal {M}$$ M , and $$\textsf{Prob}\text{-}\mathcal {E}\mathcal {L}$$ Prob - E L . 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 $$\mathcal {E}\mathcal {L}$$ E L is provided. For instance, it is shown how upper and lower neighbors of $$\mathcal {E}\mathcal {L}$$ E L concept descriptions can be computed and further it is proven that the set of $$\mathcal {E}\mathcal {L}$$ E L concept descriptions forms a graded lattice with a non-elementary rank function.
- ZeitschriftenartikelLearning Description Logic Ontologies: Five Approaches. Where Do They Stand?(KI - Künstliche Intelligenz: Vol. 34, No. 3, 2020) Ozaki, AnaThe quest for acquiring a formal representation of the knowledge of a domain of interest has attracted researchers with various backgrounds into a diverse field called ontology learning. We highlight classical machine learning and data mining approaches that have been proposed for (semi-)automating the creation of description logic (DL) ontologies. These are based on association rule mining, formal concept analysis, inductive logic programming, computational learning theory, and neural networks. We provide an overview of each approach and how it has been adapted for dealing with DL ontologies. Finally, we discuss the benefits and limitations of each of them for learning DL ontologies.
- ZeitschriftenartikelRole-Value Maps and General Concept Inclusions in the Minimal Description Logic with Value Restrictions or Revisiting Old Skeletons in the DL Cupboard(KI - Künstliche Intelligenz: Vol. 34, No. 3, 2020) Baader, Franz; Théron, ClémentWe investigate the impact that general concept inclusions and role-value maps have on the complexity and decidability of reasoning in the description logic $$\mathcal{FL}_0$$ FL 0 . On the one hand, we give a more direct proof for ExpTime-hardness of subsumption w.r.t. general concept inclusions in $$\mathcal{FL}_0$$ FL 0 . On the other hand, we determine restrictions on role-value maps that ensure decidability of subsumption, but we also show undecidability for the cases where these restrictions are not satisfied.