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
- Efficient reasoning for inconsistent Horn formulae
- Pinpointing axioms in ontologies via ASP
- The Bayesian ontology language \(\mathcal {BEL}\)
- Enumerating justifications using resolution
This page was built for software: BEACON
