Snorocket
From MaRDI portal
Cited in
(14)- OWL reasoning: subsumption test hardness and modularity
- Racer
- KAON2
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- Konclude
- CEL
- COROR
- Chainsaw
- WebPIE
- DReW
- RacerPro
- ELK
- OWL 2 profiles: an introduction to lightweight ontology languages
This page was built for software: Snorocket
