Chainsaw

swMATH12481MaRDI QIDQ24409FDOQ24409

Author name not available (Why is that?)

Official website: http://sourceforge.net/projects/chainsaw/

Cited In (13)

• OWL reasoning: subsumption test hardness and modularity
• The OWL reasoner evaluation (ORE) 2015 competition report
• COROR
• DReW
• Konclude
• TrOWL
• Just
• RacerPro
• BioPortal
• ELepHant
• JFact
• Snorocket
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies

This page was built for software: Chainsaw