Contextualizing DL axioms: Formalization, a New Approach, and its Properties

Abstract : We address the problem of providing contextual information about a logical formula (e.g., provenance, date of validity, or confidence) and representing it within a logical system. In this case, it is needed to rely on a higher order or non standard formalism, or some kind of reifi-cation mechanism. We explore the case of reification and formalize the concept of contextualizing logical statements in the case of Description Logics. Then, we define several properties of contextualization that are desirable. No previous approaches satisfy all of the them. Consequently, we define a new way of contextually annotating statements. It is inspired by NdFluents, which is itself an extension of the 4dFluents approach for annotating statements with temporal context. In NdFluents, instances that are involved in a contextual statement are sliced into contextual parts, such that only parts in the same context hold relations to one another, with the goal of better preserving inferences. We generalize this idea by defining contextual parts of relations and classes. This formal construction better satisfies the properties, although not entirely. We show that it is a particular case of a general mechanism that NdFluents also instantiates, and present other variations.
Type de document :
Communication dans un congrès
Dell'Aglio D.,Homola M.,Bozzato L.,Eiter T.,McGuinness D.L.,Anicic D.,Barnaghi P.,Della Valle E.,Porello D. Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017), 16th International Semantic Web Conference (ISWC 2017), Oct 2017, Vienne, Austria. 1936 (Joint Proceedings of WSP and WOMoCoE 2017), pp.74-85, 2017, CEUR Workshop Proceedings. 〈http://ceur-ws.org/Vol-1936/〉
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal-emse.ccsd.cnrs.fr/emse-01619212
Contributeur : Florent Breuil <>
Soumis le : jeudi 19 octobre 2017 - 10:51:02
Dernière modification le : jeudi 26 juillet 2018 - 01:11:04
Document(s) archivé(s) le : samedi 20 janvier 2018 - 14:15:26

Fichier

paper-07.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : emse-01619212, version 1

Citation

Antoine Zimmermann, José Giménez-García. Contextualizing DL axioms: Formalization, a New Approach, and its Properties. Dell'Aglio D.,Homola M.,Bozzato L.,Eiter T.,McGuinness D.L.,Anicic D.,Barnaghi P.,Della Valle E.,Porello D. Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017), 16th International Semantic Web Conference (ISWC 2017), Oct 2017, Vienne, Austria. 1936 (Joint Proceedings of WSP and WOMoCoE 2017), pp.74-85, 2017, CEUR Workshop Proceedings. 〈http://ceur-ws.org/Vol-1936/〉. 〈emse-01619212〉

Partager

Métriques

Consultations de la notice

445

Téléchargements de fichiers

210