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 3 articles )
Showing results 1 to 3 of 3.
- Matentzoglu, Nicolas; Parsia, Bijan; Sattler, Uli: OWL reasoning: subsumption test hardness and modularity (2018)
- 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 (\mathcalEL) ontologies (2014)