- 4
- 2
- 1
- 1
- 1
Olivier Curé
9
Documents
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 9
- 2
- 1
- 1
- 1
- 1
- 9
On The Potential Integration of an Ontology-Based Data Access Approach in NoSQL StoresInternational Journal of Distributed Systems and Technologies, 2013, 4 (3), pp.17 - 30. ⟨10.4018/jdst.2013070102⟩
Article dans une revue
hal-01806817v1
|
|
SHOIQ with transitive closure of roles is decidableDescription Logics, 2013, Ulm, Germany
Communication dans un congrès
hal-01740557v1
|
DRAOn: A Distributed Reasoner for Aligned OntologiesThe 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 RolesISWC 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
|
|
|
On the Potential Integration of an Ontology-Based Data Access Approach in NoSQL StoresEmerging Intelligent Data and Web Technologies, Sep 2012, Bucarest, Romania. pp.166-173
Communication dans un congrès
hal-00799030v1
|
|
An ExpSpace Tableau-based Algorithm for SHOIQDescription Logic 2012, Jun 2012, Rome, Italy. pp.11
Communication dans un congrès
hal-00799028v1
|
|
Data Integration over NoSQL Stores Using Access Path Based MappingsDEXA 2012, Aug 2011, Toulouse, France. pp.481-495, ⟨10.1007/978-3-642-23088-2_36⟩
Communication dans un congrès
hal-00738356v1
|
|
A Tableaux-Based Algorithm for SHIQ with Transitive Closure of Roles in Concept and Role Inclusion Axioms8th 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
|
|
An ExpSpace Tableau-based Algorithm for SHOIQ[Research Report] 2012, pp.36
Rapport
inria-00570161v3
|