Snorocket

swMATH22926MaRDI QIDQ34712FDOQ34712

Author name not available (Why is that?)

Official website: http://www.cs.ox.ac.uk/isg/conferences/ORE2013/paper_3.pdf

Cited In (14)

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

This page was built for software: Snorocket