The following pages link to KAON2 (Q21817):
Displaying 5 items.
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
- Inconsistency-tolerant reasoning with OWL DL (Q2353974) (← links)
- Efficient description logic reasoning in Prolog: The DLog system (Q3393230) (← links)
- Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic (Q3524995) (← links)
- A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes (Q5387895) (← links)