Article dans une revue, LaHDAK, Informatique

Règles d’inférence basées sur un hypergraphe pour le calcul EL+-justifications d’ontologie

Hui Yang, Yue Ma, Nicole Bidoit. Hypergraph-Based Inference Rules for Computing EL+-Ontology Justifications. Lecture Notes in Computer Science, 2022, Lecture Notes in Computer Science, 13385, pp.310-328. ⟨10.1007/978-3-031-10769-6_19⟩. ⟨hal-04247193⟩

Publié le