Just

MaRDI QIDQ28611swMATHFDO

Official website https://lat.inf.tu-dresden.de/~michel/publications/ore2014.pdf

Cited in

(10)

• Ltur
• CEL
• Chainsaw
• BEACON
• Understanding the complexity of axiom pinpointing in lightweight description logics
• VoCol
• EL2MCS
• HgMUS
• BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
• Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing

This page was built for software: Just