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-Inferred

OWL2.Theorem

Description

Adds the "implied" annotation - for specifying theorems

Documentation

implied :: Annotation

rmList :: Annotations -> Annotations

rmAnnList :: AnnotatedList a -> AnnotatedList a

rmLFB :: ListFrameBit -> ListFrameBit

rmFB :: FrameBit -> FrameBit

rmImplied :: Axiom -> Axiom

rmImpliedFrame :: Frame -> Frame

addAnnList :: AnnotatedList a -> AnnotatedList a

addListFB :: ListFrameBit -> ListFrameBit

addImpliedFrameBit :: FrameBit -> FrameBit

addImplied :: Axiom -> Axiom

addImpliedFrame :: Frame -> Frame

prove1 :: Annotation -> Bool

proveList :: (Annotations, a) -> Bool

proveAnnList :: AnnotatedList a -> Bool

proveLFB :: ListFrameBit -> Bool

proveFB :: FrameBit -> Bool

prove :: Axiom -> Bool