Decidability of SHI with transitive closure of roles

Chan Le Duc 1
1 EXMO - Computer mediated exchange of structured knowledge
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : This paper investigates a description logic, namely SHI+, which extends SHI by adding transitive closure of roles. The resulting logic SHI+ allows transitive closure of roles to occur not only in concept inclusion axioms but also in role inclusion axioms. We show that SHI+ is decidable by devising a sound and complete algorithm for deciding satisfiability of concepts in SHI+ with respect to a set of concept and role inclusion axioms.
Type de document :
Communication dans un congrès
Lora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyvönen, Riichiro Mizoguchi, Marta Sabou, Elena Simperl. Proc. 6th european semantic web conference (ESWC), Jun 2009, Heraklion, Greece. Springer Verlag, 5554, pp.368-383, 2009, Lecture notes in computer science. 〈10.1007/978-3-642-02121-3_29〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00793443
Contributeur : Jérôme Euzenat <>
Soumis le : vendredi 22 février 2013 - 12:32:08
Dernière modification le : mercredi 11 avril 2018 - 01:52:07

Lien texte intégral

Identifiants

Collections

Citation

Chan Le Duc. Decidability of SHI with transitive closure of roles. Lora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyvönen, Riichiro Mizoguchi, Marta Sabou, Elena Simperl. Proc. 6th european semantic web conference (ESWC), Jun 2009, Heraklion, Greece. Springer Verlag, 5554, pp.368-383, 2009, Lecture notes in computer science. 〈10.1007/978-3-642-02121-3_29〉. 〈hal-00793443〉

Partager

Métriques

Consultations de la notice

130