Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications
From MaRDI portal
Publication:2104519
DOI10.1007/978-3-031-10769-6_19OpenAlexW4289104026MaRDI QIDQ2104519
Yue Ma, Nicole Bidoit, Hui Yang
Publication date: 7 December 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-10769-6_19
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Directed hypergraphs: introduction and fundamental algorithms -- a survey
- Understanding the complexity of axiom pinpointing in lightweight description logics
- Enumerating justifications using resolution
- Directed hypergraphs and applications
- BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies
- Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
This page was built for publication: Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications