GSH ReasonerCheck for inference and consistency your OWL 2 ontologies. | |
Download |
GSH Reasoner Ranking & Summary
Advertisement
GSH Reasoner Tags
GSH Reasoner Description
GSHR (Gloriously Slow Haskell Reasoner) is a simple, partially incomplete and very slow reasoner for OWL 2 ontologies which uses rules for inference and consistency checking. Get GSH Reasoner and take it for a spin to see what it can actually do for you!
GSH Reasoner Related Software