Geometric Models for (Temporally) Attributed Description Logics - Archive ouverte HAL
Communication Dans Un Congrès Année : 2021

Geometric Models for (Temporally) Attributed Description Logics

Camille Bourgaux
Ana Ozaki
  • Fonction : Auteur

Résumé

In the search for knowledge graph embeddings that could capture ontological knowledge, geometric models of existential rules have been recently introduced. It has been shown that convex geometric regions capture the so-called quasi-chained rules. Attributed description logics (DL) have been defined to bridge the gap between DL languages and knowledge graphs, whose facts often come with various kinds of annotations that may need to be taken into account for reasoning. In particular, temporally attributed DLs are enriched by specific attributes whose semantics allows for some temporal reasoning. Considering that geometric models and (temporally) attributed DLs are promising tools designed for knowledge graphs, this paper investigates their compatibility, focusing on the attributed version of a Horn dialect of the DL-Lite family. We first adapt the definition of geometric models to attributed DLs and show that every satisfiable ontology has a convex geometric model. Our second contribution is a study of the impact of temporal attributes. We show that a temporally attributed DL may not have a convex geometric model in general but we can recover geometric satisfiability by imposing some restrictions on the use of the temporal attributes.
Fichier principal
Vignette du fichier
DL2021_BOP.pdf (321.2 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03345699 , version 1 (15-09-2021)

Identifiants

Citer

Camille Bourgaux, Ana Ozaki, Jeff Z Pan. Geometric Models for (Temporally) Attributed Description Logics. DL 2021 - 34th International Workshop on Description Logics, Sep 2021, Bratislava, Slovakia. ⟨hal-03345699⟩
39 Consultations
32 Téléchargements

Altmetric

Partager

More