| Copyright | (c) Felix Gabriel Mance |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | f.mance@jacobs-university.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe |
OWL2.Theorem
Description
Adds the "implied" annotation - for specifying theorems
Documentation
implied :: Annotation Source #
rmList :: Annotations -> Annotations Source #
addImplied :: Axiom -> Axiom Source #
prove1 :: Annotation -> Bool Source #
proveAnnos :: [Annotation] -> Bool Source #