Pages that link to "Item:Q2055866"
From MaRDI portal
The following pages link to Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes (Q2055866):
Displaying 5 items.
- Combining event calculus and description logic reasoning via logic programming (Q831926) (← links)
- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes (Q2055866) (← links)
- Optimal repairs in the description logic \(\mathcal{EL}\) revisited (Q6545515) (← links)
- Controlled query evaluation in description logics through consistent query answering (Q6592995) (← links)
- Inconsistency- and error-tolerant reasoning w.r.t. optimal repairs of \(\mathcal{EL}^\bot\) ontologies (Q6630183) (← links)
