Snorocket
From MaRDI portal
Software:34712
No author found.
Related Items (4)
OWL reasoning: subsumption test hardness and modularity ⋮ Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) ⋮ OWL 2 Profiles: An Introduction to Lightweight Ontology Languages ⋮ The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
This page was built for software: Snorocket
