Accéder directement au contenu

Olivier Curé

9
Documents

Publications

chanle-duc
Image document

SHOIQ with transitive closure of roles is decidable

Chan Le Duc , Myriam Lamolle , Olivier Curé
Description Logics, 2013, Ulm, Germany
Communication dans un congrès hal-01740557v1

DRAOn: A Distributed Reasoner for Aligned Ontologies

Chan Le Duc , Myriam Lamolle , Antoine Zimmermann , Olivier Curé
The OWL Reasoner Evaluation Workshop 2013 (ORE 2013), Jul 2013, Ulm, Germany. pp.14.1-14.6
Communication dans un congrès emse-00847315v1

A Decision Procedure for $\mathcal{SHOIQ}$ with Transitive Closure of Roles

Chan Le Duc , Myriam Lamolle , Olivier Curé
ISWC 2013 - 12th International Semantic Web Conference 2013, 2013, Sydney, Australia. ⟨10.1007/978-3-642-41335-3_17⟩
Communication dans un congrès hal-01740560v1
Image document

On the Potential Integration of an Ontology-Based Data Access Approach in NoSQL Stores

Olivier Curé , Fadhela Kerdjoudj , David Célestin Faye , Chan Le Duc , Myriam Lamolle
Emerging Intelligent Data and Web Technologies, Sep 2012, Bucarest, Romania. pp.166-173
Communication dans un congrès hal-00799030v1
Image document

An ExpSpace Tableau-based Algorithm for SHOIQ

Chan Le Duc , Myriam Lamolle , Olivier Curé
Description Logic 2012, Jun 2012, Rome, Italy. pp.11
Communication dans un congrès hal-00799028v1
Image document

Data Integration over NoSQL Stores Using Access Path Based Mappings

Olivier Curé , Robin Hecht , Chan Le Duc , Myriam Lamolle
DEXA 2012, Aug 2011, Toulouse, France. pp.481-495, ⟨10.1007/978-3-642-23088-2_36⟩
Communication dans un congrès hal-00738356v1
Image document

A Tableaux-Based Algorithm for SHIQ with Transitive Closure of Roles in Concept and Role Inclusion Axioms

Chan Le Duc , Myriam Lamolle , Olivier Curé
8th Extended Semantic Web Conference (ESWC 2011), May 2011, Heraklion, Crete, Greece. pp.367-381, ⟨10.1007/978-3-642-21034-1_25⟩
Communication dans un congrès hal-00738380v1