|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Chan Le Duc, Myriam Lamolle, Olivier Curé |
A Tableaux-Based Algorithm for SHIQ\mathcal{SHIQ} with Transitive Closure of Roles in Concept and Role Inclusion Axioms.  |
ESWC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Curé, Robin Hecht, Chan Le Duc, Myriam Lamolle |
Data Integration over NoSQL Stores Using Access Path Based Mappings. |
DEXA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chan Le Duc, Myriam Lamolle, Antoine Zimmermann |
An API for Distributed Reasoning on Networked Ontologies with Alignments. |
KEOD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ludovic Menet, Myriam Lamolle, Chan Le Duc |
Incremental Validation of Models in a MDE Approach Applied to the Modeling of Complex Data Structures. |
OTM Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chan Le Duc, Myriam Lamolle |
Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Chan Le Duc |
Decidability of SHI with Transitive Closure of Roles. |
ESWC |
2009 |
DBLP DOI BibTeX RDF |
OWL, Description Logics, Decidability, Tableaux |
| 1 | Mathieu d'Aquin, Jérôme Euzenat, Chan Le Duc, Holger Lewen |
Sharing and reusing aligned ontologies with cupboard. |
K-CAP |
2009 |
DBLP DOI BibTeX RDF |
ontologies, metadata, alignment, repository, rating |
| 1 | Antoine Zimmermann, Chan Le Duc |
Reasoning with a Network of Aligned Ontologies. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chan Le Duc, Nhan Le Thanh, Marie-Christine Rousset |
A Compact Representation for Least Common Subsumers in the description logic ALE. |
AI Commun. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Chan Le Duc, Nhan Le Thanh |
On the Problems of Representing Least Common Subsumer and Computing Approximation in DLs. |
Description Logics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Chan Le Duc, Nhan Le Thanh |
Combining Revision Production Rules and Description Logics. |
KES |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")