BEACON
From MaRDI portal
Cited in
(19)- QRATPre+
- Understanding the complexity of axiom pinpointing in lightweight description logics
- Enumerating justifications using resolution
- Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications
- The Bayesian ontology language \(\mathcal {BEL}\)
- Ltur
- AMUSE
- CEL
- MUSer2
- Pinpointing axioms in ontologies via ASP
- BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
- Efficient reasoning for inconsistent Horn formulae
- Just
- VoCol
- ELK
- PULi
- EL2MCS
- HgMUS
- Counting minimal unsatisfiable subsets
This page was built for software: BEACON
