Project 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. Written in Haskell.

Last edited Mar 2, 2011 at 1:20 PM by Alien282, version 2