Measuring similarity in ontologies: A new family of measures, Proceedings of EKAW'14: the 19th International Conference on Knowledge Engineering and Knowledge Management, pp.13-25, 2014. ,
BEACON: An efficient SAT-based tool for debugging EL + -ontologies, Proceedings of SAT'16: the 19th International Conference on the Theory and Applications of Satisfiability Testing, pp.521-530, 2016. ,
, The description logic handbook: theory, implementation, and applications, 2010.
An Introduction to Description Logic, 2017. ,
Pinpointing in the description logic EL, Proceedings of DL'07: the 20th International Workshop on Description Logics, 2007. ,
Inseparability and conservative extensions of description logic ontologies: A survey, Reasoning Web Summer School 2016, vol.9885, pp.27-89, 2017. ,
Games for query inseparability of description logic knowledge bases, Artificial Intelligence, vol.234, pp.78-119, 2016. ,
Query-based entailment and inseparability for alc ontologies, Proceedings of IJCAI'16: the 25th International Joint Conference on Artificial Intelligence, pp.1001-1007, 2016. ,
Zooming in on ontologies: Minimal modules and best excerpts, Proceedings Part I of ISWC'17: the 16th International Semantic Web Conference, pp.173-189, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01615905
Computing minimal subsumption modules of ontologies, Proceedings of GCAI'18: the 4th Global Conference on Artificial Intelligence, pp.41-53, 2018. ,
, Proceedings of ASWC'08: the 3rd Asian Semantic Web Conference on The Semantic Web, vol.5367, 2008.
The concept difference for EL-terminologies using hypergraphs, Proceedings of DChanges'13: the International workshop on (Document) Changes: modeling, detection, storage and visualization, 2013. ,
, Ontology Matching, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00817824
Modular reuse of ontologies: Theory and practice, Journal of Artificial Intelligence Research, vol.31, issue.1, pp.273-318, 2008. ,
Query conservative extensions in horn description logics with inverse roles, Proceedings of IJCAI'17: the 26th International Joint Conference on Artificial Intelligence, pp.1116-1122, 2017. ,
Debugging unsatisfiable classes in OWL ontologies, Journal of Web Semantics, vol.3, issue.4, pp.268-293, 2005. ,
Enumerating justifications using resolution, Proceedings of DL'17: the 30th International Workshop on Description Logics, 2017. ,
Conjunctive query inseparability of OWL 2 QL TBoxes, Proceedings of AAAI'11: the 25th Conference on Artificial Intelligence, 2011. ,
The logical difference for the lightweight description logic EL, Journal of Artificial Intelligence Research, vol.44, pp.633-708, 2012. ,
Semantic modularity and module extraction in description logics, Proceedings of ECAI'08: the 18th European Conference on Artificial Intelligence, pp.55-59, 2008. ,
Formal Properties of Modularisation, pp.25-66, 2009. ,
Model-theoretic inseparability and modularity of description logic ontologies, Artificial Intelligence, vol.203, pp.66-103, 2013. ,
The logical difference problem for description logic terminologies, Proceedings of IJCAR'08, pp.259-274, 2008. ,
The logical difference problem for description logic terminologies, Proceedings of IJCAR'08, pp.259-274, 2008. ,
Logic-based ontology comparison and module extraction, with an application to DL-Lite, Artificial Intelligence, vol.174, issue.15, pp.1093-1141, 2010. ,
A framework for semantic-based similarity measures for ELH-concepts, Proceedings of JELIA'12: the 13th European Conference Logics in Artificial Intelligence, vol.7519, pp.307-319, 2012. ,
The logical difference for ELHr-terminologies using hypergraphs, Proceedings of ECAI'14: the 21st European Conference on Artificial Intelligence, pp.555-560, 2014. ,
Module extraction in expressive ontology languages via datalog reasoning, Journal of Artificial Intelligence Research, vol.55, pp.499-564, 2016. ,
Which kind of module should I extract?, Proceedings of DL'09. CEUR Workshop Proceedings, vol.477, 2009. ,
A new method of finding all justifications in OWL 2 EL, Proceedings of WI'13: IEEE/WIC/ACM International Conferences on Web Intelligence, pp.213-220, 2013. ,