Tableau-based revision for expressive description logics with individuals T Dong, C Le Duc, M Lamolle Journal of Web Semantics 45, 63-79, 2017 | 13 | 2017 |
Raisonnement fondé sur un tableau compressé pour les Logiques de Description C Le Duc, T Dong, M Lamolle, A Bossard Douzièmes Journées Francophones de Programmation par Contraintes JFPC 2016, 2016 | 6 | 2016 |
Decentralized Reasoning on a Network of Aligned Ontologies with Link Keys J Lhez, C Le Duc, T Dong, M Lamolle International Workshop on Ontology Matching co-located with the 18th …, 2019 | 4 | 2019 |
Tableau-Based Revision over TBoxes T Dong, C Le Duc, P Bonnot, M Lamolle Logic for Programming, Artificial Intelligence, and Reasoning, 575-590, 2015 | 2 | 2015 |
Moteur de révision d’ontologie en SHIQ D Thinh, M Lamolle, LE Chan, P Bonnot Ingenierie des Systemes d'Information 23 (2), 39, 2018 | 1 | 2018 |
Tableau-based revision in SHIQ T Dong, C Le Duc, P Bonnot, M Lamolle 28thInternational Workshop on Description Logics, 101, 2015 | 1 | 2015 |
ONTOREV: un moteur de révision d’ontologies OWL T Dong, C Le Duc, M Lamolle CNIA & RJCIA 2018, 118, 2018 | | 2018 |
Tableau-based Revision for Expressive Description Logics D Thinh, C Le Duc, M Lamolle 11e Journées d'Intelligence Artificielle Fondamentale, 2017 | | 2017 |
A semantic multimedia platform for skills learning A Anghour, M Lamolle, T Dong, C Le Duc, G Delmas 1st International Workshop Management of Ontology-Driven Architectures (MODA'15), 2015 | | 2015 |
Apprentissage de gestes techniques par une architecture multimedia ontologique. M Lamolle, A Anghour, T Dong, C Le Duc, G Delmas Hammamet, 119-134, 2015 | | 2015 |
Moteur de révision d’ontologie en SHIQ Moteur de révision d’ontologie en SHIQ T Dong, M Lamolle, C Le Duc, P Bonnot | | |