Chainsaw
From MaRDI portal
Software:24409
No author found.
Related Items (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
