| Copyright | Heng Jiang, Uni Bremen 2007 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
OWL2.Sign
Description
OWL 2 signature and sentences
- data Sign = Sign {}
- data SignAxiom
- data RoleKind
- data RoleType
- data DesKind
- data DomainOrRangeOrFunc a
- emptySign :: Sign
- diffSig :: Sign -> Sign -> Sign
- addSymbToSign :: Sign -> Entity -> Result Sign
- addSign :: Sign -> Sign -> Sign
- isSubSign :: Sign -> Sign -> Bool
- symOf :: Sign -> Set Entity
- modEntity :: (IRI -> Set IRI -> Set IRI) -> Entity -> State Sign ()
- addEntity :: Entity -> State Sign ()
Documentation
data Sign
Constructors
| Sign | |
Fields | |
Instances
data SignAxiom
data RoleKind
data RoleType
data DesKind
data DomainOrRangeOrFunc a
Constructors
| DomainOrRange DesKind ClassExpression | |
| RDRange DataRange | |
| FuncProp a |
Instances
| Eq a => Eq (DomainOrRangeOrFunc a) | |
| Data a => Data (DomainOrRangeOrFunc a) | |
| Ord a => Ord (DomainOrRangeOrFunc a) | |
| Show a => Show (DomainOrRangeOrFunc a) | |
| ShATermConvertible a => ShATermConvertible (DomainOrRangeOrFunc a) | |
| Typeable (* -> *) DomainOrRangeOrFunc |
addSymbToSign :: Sign -> Entity -> Result Sign