DRAOn: A Distributed Reasoner for Aligned Ontologies

Abstract : DRAOn is a distributed reasoner which offers inference services for a network of OWL ontologies correlated by alignments. Reasoning with such networks of ontologies depends on the semantics we define for alignments with respect to ontologies. DRAOn supports two semantics for a network of ontolo- gies: the standard Description Logics (DL) semantics for non-distributed reason- ing, and the Integrated Distributed Description Logics (IDDL) semantics for dis- tributed reasoning. Unlike the DL semantics where alignments are considered as inter-ontology axioms, the IDDL semantics interprets alignments as correspon- dences enabling to propagate non-emptiness (always satisfiable) and unsatisfia- bility of atomic concepts from an ontology to another one. Consequently, this makes distributed reasoning for a network of ontologies possible since consis- tency of the whole network can be decided from consistency of each ontology with axioms built from alignments such that these axioms ensure just necessary propagations of knowledge.
Type de document :
Communication dans un congrès
The OWL Reasoner Evaluation Workshop 2013 (ORE 2013), Jul 2013, Ulm, Germany. pp.14.1-14.6, 2013
Liste complète des métadonnées

https://hal-emse.ccsd.cnrs.fr/emse-00847315
Contributeur : Florent Breuil <>
Soumis le : mardi 23 juillet 2013 - 11:38:37
Dernière modification le : mardi 22 mai 2018 - 20:40:06

Identifiants

  • HAL Id : emse-00847315, version 1

Citation

Chan Le Duc, Myriam Lamolle, Antoine Zimmermann, Olivier Curé. DRAOn: A Distributed Reasoner for Aligned Ontologies. The OWL Reasoner Evaluation Workshop 2013 (ORE 2013), Jul 2013, Ulm, Germany. pp.14.1-14.6, 2013. 〈emse-00847315〉

Partager

Métriques

Consultations de la notice

221