Snorocket

swMATH22926MaRDI QIDQ34712FDOQ34712

Author name not available (Why is that?)

Cited In (4)

• Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
• OWL reasoning: subsumption test hardness and modularity
• 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