Chainsaw

swMATH12481MaRDI QIDQ24409FDOQ24409

Author name not available (Why is that?)

Cited In (3)

• OWL reasoning: subsumption test hardness and modularity
• The OWL reasoner evaluation (ORE) 2015 competition report
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies

This page was built for software: Chainsaw