Communication dans un congrès, LaHDAK, Informatique, Intelligence artificielle
Computing Subsumption Justifications of Ontologies
Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther. Computing Subsumption Justifications of Ontologies. 2017 International Workshop on Description Logics (DL2017), Jul 2017, Montpellier, France. ⟨hal-01615907⟩
