EL2MCS

swMATH28624MaRDI QIDQ40338FDOQ40338

Author name not available (Why is that?)

Cited In (5)

• 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
• Enumerating justifications using resolution
• Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing

This page was built for software: EL2MCS