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: |