EL2MCS

MaRDI QIDQ40338swMATHFDO

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

Cited in

(15)

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

This page was built for software: EL2MCS