Hets - the Heterogeneous Tool Set

Copyright(c) Felix Gabriel Mance
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerf.mance@jacobs-university.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

OWL2.Theorem

Description

Adds the "implied" annotation - for specifying theorems

Documentation

proveList :: (Annotations, a) -> Bool Source #

prove :: Axiom -> Bool Source #