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