KAON2
From MaRDI portal
Cited in
(9)- A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
- Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- Pellet
- Racer
- RacerPro
- Snorocket
- Inconsistency-tolerant reasoning with OWL DL
- Efficient description logic reasoning in Prolog: The DLog system
This page was built for software: KAON2
