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 |
OWL 2 signature and sentences
Synopsis
- data Sign = Sign {
- concepts :: Set Class
- datatypes :: Set Datatype
- objectProperties :: Set ObjectProperty
- dataProperties :: Set DataProperty
- annotationRoles :: Set AnnotationProperty
- individuals :: Set NamedIndividual
- labelMap :: Map IRI String
- prefixMap :: PrefixMap
- 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
Sign | |
|
Instances
Instances
Eq SignAxiom Source # | |
Data SignAxiom Source # | |
Defined in OWL2.Sign gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SignAxiom -> c SignAxiom gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SignAxiom toConstr :: SignAxiom -> Constr dataTypeOf :: SignAxiom -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SignAxiom) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SignAxiom) gmapT :: (forall b. Data b => b -> b) -> SignAxiom -> SignAxiom gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SignAxiom -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SignAxiom -> r gmapQ :: (forall d. Data d => d -> u) -> SignAxiom -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> SignAxiom -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> SignAxiom -> m SignAxiom gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SignAxiom -> m SignAxiom gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SignAxiom -> m SignAxiom | |
Ord SignAxiom Source # | |
Defined in OWL2.Sign | |
Show SignAxiom Source # | |
Generic SignAxiom | |
FromJSON SignAxiom | |
Defined in OWL2.ATC_OWL2 parseJSON :: Value -> Parser SignAxiom parseJSONList :: Value -> Parser [SignAxiom] | |
ToJSON SignAxiom | |
Defined in OWL2.ATC_OWL2 toEncoding :: SignAxiom -> Encoding toJSONList :: [SignAxiom] -> Value toEncodingList :: [SignAxiom] -> Encoding | |
ShATermConvertible SignAxiom | |
Defined in OWL2.ATC_OWL2 toShATermAux :: ATermTable -> SignAxiom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SignAxiom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SignAxiom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SignAxiom]) | |
type Rep SignAxiom | |
Defined in OWL2.ATC_OWL2 type Rep SignAxiom = D1 ('MetaData "SignAxiom" "OWL2.Sign" "main" 'False) ((C1 ('MetaCons "Subconcept" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ClassExpression) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ClassExpression)) :+: C1 ('MetaCons "Role" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DomainOrRangeOrFunc (RoleKind, RoleType))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjectPropertyExpression))) :+: (C1 ('MetaCons "Data" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DomainOrRangeOrFunc ())) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DataPropertyExpression)) :+: C1 ('MetaCons "Conceptmembership" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Individual) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ClassExpression)))) |
Instances
Eq RoleKind Source # | |
Data RoleKind Source # | |
Defined in OWL2.Sign gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RoleKind -> c RoleKind gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RoleKind toConstr :: RoleKind -> Constr dataTypeOf :: RoleKind -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RoleKind) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RoleKind) gmapT :: (forall b. Data b => b -> b) -> RoleKind -> RoleKind gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RoleKind -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RoleKind -> r gmapQ :: (forall d. Data d => d -> u) -> RoleKind -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RoleKind -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RoleKind -> m RoleKind gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RoleKind -> m RoleKind gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RoleKind -> m RoleKind | |
Ord RoleKind Source # | |
Show RoleKind Source # | |
Generic RoleKind | |
FromJSON RoleKind | |
Defined in OWL2.ATC_OWL2 parseJSON :: Value -> Parser RoleKind parseJSONList :: Value -> Parser [RoleKind] | |
ToJSON RoleKind | |
Defined in OWL2.ATC_OWL2 toEncoding :: RoleKind -> Encoding toJSONList :: [RoleKind] -> Value toEncodingList :: [RoleKind] -> Encoding | |
ShATermConvertible RoleKind | |
Defined in OWL2.ATC_OWL2 toShATermAux :: ATermTable -> RoleKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RoleKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RoleKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RoleKind]) | |
type Rep RoleKind | |
Defined in OWL2.ATC_OWL2 type Rep RoleKind = D1 ('MetaData "RoleKind" "OWL2.Sign" "main" 'False) (C1 ('MetaCons "FuncRole" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RefRole" 'PrefixI 'False) (U1 :: Type -> Type)) |
Instances
Eq RoleType Source # | |
Data RoleType Source # | |
Defined in OWL2.Sign gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RoleType -> c RoleType gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RoleType toConstr :: RoleType -> Constr dataTypeOf :: RoleType -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RoleType) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RoleType) gmapT :: (forall b. Data b => b -> b) -> RoleType -> RoleType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RoleType -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RoleType -> r gmapQ :: (forall d. Data d => d -> u) -> RoleType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RoleType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RoleType -> m RoleType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RoleType -> m RoleType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RoleType -> m RoleType | |
Ord RoleType Source # | |
Show RoleType Source # | |
Generic RoleType | |
FromJSON RoleType | |
Defined in OWL2.ATC_OWL2 parseJSON :: Value -> Parser RoleType parseJSONList :: Value -> Parser [RoleType] | |
ToJSON RoleType | |
Defined in OWL2.ATC_OWL2 toEncoding :: RoleType -> Encoding toJSONList :: [RoleType] -> Value toEncodingList :: [RoleType] -> Encoding | |
ShATermConvertible RoleType | |
Defined in OWL2.ATC_OWL2 toShATermAux :: ATermTable -> RoleType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RoleType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RoleType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RoleType]) | |
type Rep RoleType | |
Defined in OWL2.ATC_OWL2 type Rep RoleType = D1 ('MetaData "RoleType" "OWL2.Sign" "main" 'False) (C1 ('MetaCons "IRole" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DRole" 'PrefixI 'False) (U1 :: Type -> Type)) |
Instances
Eq DesKind Source # | |
Data DesKind Source # | |
Defined in OWL2.Sign gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DesKind -> c DesKind gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DesKind dataTypeOf :: DesKind -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DesKind) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DesKind) gmapT :: (forall b. Data b => b -> b) -> DesKind -> DesKind gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DesKind -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DesKind -> r gmapQ :: (forall d. Data d => d -> u) -> DesKind -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> DesKind -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> DesKind -> m DesKind gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DesKind -> m DesKind gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DesKind -> m DesKind | |
Ord DesKind Source # | |
Show DesKind Source # | |
Generic DesKind | |
FromJSON DesKind | |
Defined in OWL2.ATC_OWL2 parseJSON :: Value -> Parser DesKind parseJSONList :: Value -> Parser [DesKind] | |
ToJSON DesKind | |
Defined in OWL2.ATC_OWL2 toEncoding :: DesKind -> Encoding toJSONList :: [DesKind] -> Value toEncodingList :: [DesKind] -> Encoding | |
ShATermConvertible DesKind | |
Defined in OWL2.ATC_OWL2 toShATermAux :: ATermTable -> DesKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DesKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DesKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DesKind]) | |
type Rep DesKind | |
Defined in OWL2.ATC_OWL2 type Rep DesKind = D1 ('MetaData "DesKind" "OWL2.Sign" "main" 'False) (C1 ('MetaCons "RDomain" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DDomain" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RIRange" 'PrefixI 'False) (U1 :: Type -> Type))) |
data DomainOrRangeOrFunc a Source #
Instances
Eq a => Eq (DomainOrRangeOrFunc a) Source # | |
Defined in OWL2.Sign (==) :: DomainOrRangeOrFunc a -> DomainOrRangeOrFunc a -> Bool (/=) :: DomainOrRangeOrFunc a -> DomainOrRangeOrFunc a -> Bool | |
Data a => Data (DomainOrRangeOrFunc a) Source # | |
Defined in OWL2.Sign gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DomainOrRangeOrFunc a -> c (DomainOrRangeOrFunc a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (DomainOrRangeOrFunc a) toConstr :: DomainOrRangeOrFunc a -> Constr dataTypeOf :: DomainOrRangeOrFunc a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (DomainOrRangeOrFunc a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (DomainOrRangeOrFunc a)) gmapT :: (forall b. Data b => b -> b) -> DomainOrRangeOrFunc a -> DomainOrRangeOrFunc a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DomainOrRangeOrFunc a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DomainOrRangeOrFunc a -> r gmapQ :: (forall d. Data d => d -> u) -> DomainOrRangeOrFunc a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> DomainOrRangeOrFunc a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> DomainOrRangeOrFunc a -> m (DomainOrRangeOrFunc a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DomainOrRangeOrFunc a -> m (DomainOrRangeOrFunc a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DomainOrRangeOrFunc a -> m (DomainOrRangeOrFunc a) | |
Ord a => Ord (DomainOrRangeOrFunc a) Source # | |
Defined in OWL2.Sign compare :: DomainOrRangeOrFunc a -> DomainOrRangeOrFunc a -> Ordering (<) :: DomainOrRangeOrFunc a -> DomainOrRangeOrFunc a -> Bool (<=) :: DomainOrRangeOrFunc a -> DomainOrRangeOrFunc a -> Bool (>) :: DomainOrRangeOrFunc a -> DomainOrRangeOrFunc a -> Bool (>=) :: DomainOrRangeOrFunc a -> DomainOrRangeOrFunc a -> Bool max :: DomainOrRangeOrFunc a -> DomainOrRangeOrFunc a -> DomainOrRangeOrFunc a min :: DomainOrRangeOrFunc a -> DomainOrRangeOrFunc a -> DomainOrRangeOrFunc a | |
Show a => Show (DomainOrRangeOrFunc a) Source # | |
Defined in OWL2.Sign showsPrec :: Int -> DomainOrRangeOrFunc a -> ShowS show :: DomainOrRangeOrFunc a -> String showList :: [DomainOrRangeOrFunc a] -> ShowS | |
Generic (DomainOrRangeOrFunc a) | |
Defined in OWL2.ATC_OWL2 type Rep (DomainOrRangeOrFunc a) :: Type -> Type from :: DomainOrRangeOrFunc a -> Rep (DomainOrRangeOrFunc a) x to :: Rep (DomainOrRangeOrFunc a) x -> DomainOrRangeOrFunc a | |
FromJSON a => FromJSON (DomainOrRangeOrFunc a) | |
Defined in OWL2.ATC_OWL2 parseJSON :: Value -> Parser (DomainOrRangeOrFunc a) parseJSONList :: Value -> Parser [DomainOrRangeOrFunc a] | |
ToJSON a => ToJSON (DomainOrRangeOrFunc a) | |
Defined in OWL2.ATC_OWL2 toJSON :: DomainOrRangeOrFunc a -> Value toEncoding :: DomainOrRangeOrFunc a -> Encoding toJSONList :: [DomainOrRangeOrFunc a] -> Value toEncodingList :: [DomainOrRangeOrFunc a] -> Encoding | |
ShATermConvertible a => ShATermConvertible (DomainOrRangeOrFunc a) | |
Defined in OWL2.ATC_OWL2 toShATermAux :: ATermTable -> DomainOrRangeOrFunc a -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DomainOrRangeOrFunc a] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DomainOrRangeOrFunc a) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DomainOrRangeOrFunc a]) | |
type Rep (DomainOrRangeOrFunc a) | |
Defined in OWL2.ATC_OWL2 type Rep (DomainOrRangeOrFunc a) = D1 ('MetaData "DomainOrRangeOrFunc" "OWL2.Sign" "main" 'False) (C1 ('MetaCons "DomainOrRange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DesKind) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ClassExpression)) :+: (C1 ('MetaCons "RDRange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DataRange)) :+: C1 ('MetaCons "FuncProp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))) |