Communication dans un congrès, 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. IJCAR, Aug 2022, Haifa, Israel. pp.310-328, ⟨10.1007/978-3-031-10769-6_19⟩. ⟨hal-04247193⟩

Publié le