EL2MCS

MaRDI QIDQ40338swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-24489-1_17

Cited in

(15)

• Understanding the complexity of axiom pinpointing in lightweight description logics
• Enumerating justifications using resolution
• Ltur
• CEL
• MUSer2
• BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
• Efficient reasoning for inconsistent Horn formulae
• BEACON
• Just
• Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing
• VoCol
• ELK
• PULi
• QUICKXPLAIN
• HgMUS

This page was built for software: EL2MCS