EL2MCS

swMATH28624MaRDI QIDQ40338FDOQ40338

Author name not available (Why is that?)

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

Cited In (15)

• BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
• Ltur
• CEL
• MUSer2
• BEACON
• Just
• ELK
• VoCol
• PULi
• QUICKXPLAIN
• HgMUS
• 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