Chainsaw: a metareasoner for large ontologies. Development for Chainsaw is at https://bitbucket.org/ignazio1977/chainsaw. For recent source code and support, please visit the BitBucket page. Chainsaw uses modularisation and atomic decomposition to delegate reasoning tasks to other OWL 2 reasoners; it leverages Divide and Conquer to reduce the ontology to the part necessary to answer a specific query.
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František: The incredible ELK. From polynomial procedures to efficient reasoning with $\mathcal EL$ ontologies (2014)