BEACON
From MaRDI portal
Software:28610
No author found.
Related Items (8)
The Bayesian ontology language \(\mathcal {BEL}\) ⋮ Counting minimal unsatisfiable subsets ⋮ Understanding the complexity of axiom pinpointing in lightweight description logics ⋮ Pinpointing axioms in ontologies via ASP ⋮ Enumerating justifications using resolution ⋮ BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies ⋮ Efficient Reasoning for Inconsistent Horn Formulae ⋮ Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications
This page was built for software: BEACON
