Pages that link to "Item:Q2055866"

The following pages link to Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes (Q2055866):

Displaying 2 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)