FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Hypergraph-Based Inference Rules for Computing EL+-Ontology Justifications

Authors: Hui Yang, Yue Ma and Nicole Bidoit

Paper Information

Title:Hypergraph-Based Inference Rules for Computing EL+-Ontology Justifications
Authors:Hui Yang, Yue Ma and Nicole Bidoit
Proceedings:IJCAR 2022 Proceedings of IJCAR 2022
Editors: Laura Kovacs, Jasmin Blanchette and Dirk Pattinson
Keywords:Description Logic EL, ontology, justifications
Pages:19
Talk:Aug 08 15:10 (Session 97D: Knowledge Representation and Justification)
Paper: