BEACON
From MaRDI portal
Software:28610
swMATH16742MaRDI QIDQ28610FDOQ28610
Author name not available (Why is that?)
Cited In (8)
- Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications
- Counting minimal unsatisfiable subsets
- BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies
- Understanding the complexity of axiom pinpointing in lightweight description logics
- Pinpointing axioms in ontologies via ASP
- The Bayesian ontology language \(\mathcal {BEL}\)
- Enumerating justifications using resolution
- Efficient Reasoning for Inconsistent Horn Formulae
This page was built for software: BEACON
