Pages that link to "Item:Q2818038"
From MaRDI portal
The following pages link to BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies (Q2818038):
Displaying 6 items.
- Counting minimal unsatisfiable subsets (Q832272) (← links)
- Understanding the complexity of axiom pinpointing in lightweight description logics (Q1680678) (← links)
- Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications (Q2104519) (← links)
- The Bayesian ontology language \(\mathcal {BEL}\) (Q2362495) (← links)
- Pinpointing axioms in ontologies via ASP (Q2694580) (← links)
- Efficient Reasoning for Inconsistent Horn Formulae (Q2835881) (← links)
