Hypergraph-Based Inference Rules for Computing Ontology Justifications
Published in International Joint Conference on Automated Reasoning (IJCAR 2022), 2022
Recommended citation: Yang, H., Ma, Y., & Bidoit, N. (2022). "Hypergraph-Based Inference Rules for Computing-Ontology Justifications." International Joint Conference on Automated Reasoning, 310–328. https://doi.org/10.1007/978-3-031-10769-6_19
Recommended citation: Yang, H., Ma, Y., & Bidoit, N. (2022). “Hypergraph-Based Inference Rules for Computing EL+-Ontology Justifications.” Automated Reasoning, 310–328.