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.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Parsia, Bijan; Matentzoglu, Nicolas; Gonçalves, Rafael S.; Glimm, Birte; Steigmiller, Andreas: The OWL reasoner evaluation (ORE) 2015 competition report (2017)
- Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František: The incredible ELK. From polynomial procedures to efficient reasoning with $\mathcal EL$ ontologies (2014)