The following pages link to Just (Q28611):
Displaying 3 items.
- Understanding the complexity of axiom pinpointing in lightweight description logics (Q1680678) (← links)
- BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies (Q2818038) (← links)
- Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (Q3453236) (← links)