Hets - the Heterogeneous Tool Set
CopyrightHeng Jiang Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

OWL2.Sign

Description

OWL 2 signature and sentences

Synopsis

Documentation

data Sign Source #

Instances

Instances details
Eq Sign Source # 
Instance details

Defined in OWL2.Sign

Methods

(==) :: Sign -> Sign -> Bool

(/=) :: Sign -> Sign -> Bool

Data Sign Source # 
Instance details

Defined in OWL2.Sign

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Sign -> c Sign

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Sign

toConstr :: Sign -> Constr

dataTypeOf :: Sign -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Sign)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Sign)

gmapT :: (forall b. Data b => b -> b) -> Sign -> Sign

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Sign -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Sign -> r

gmapQ :: (forall d. Data d => d -> u) -> Sign -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Sign -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Sign -> m Sign

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Sign -> m Sign

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Sign -> m Sign

Ord Sign Source # 
Instance details

Defined in OWL2.Sign

Methods

compare :: Sign -> Sign -> Ordering

(<) :: Sign -> Sign -> Bool

(<=) :: Sign -> Sign -> Bool

(>) :: Sign -> Sign -> Bool

(>=) :: Sign -> Sign -> Bool

max :: Sign -> Sign -> Sign

min :: Sign -> Sign -> Sign

Show Sign Source # 
Instance details

Defined in OWL2.Sign

Methods

showsPrec :: Int -> Sign -> ShowS

show :: Sign -> String

showList :: [Sign] -> ShowS

Generic Sign 
Instance details

Defined in OWL2.ATC_OWL2

Associated Types

type Rep Sign :: Type -> Type

Methods

from :: Sign -> Rep Sign x

to :: Rep Sign x -> Sign

FromJSON Sign 
Instance details

Defined in OWL2.ATC_OWL2

Methods

parseJSON :: Value -> Parser Sign

parseJSONList :: Value -> Parser [Sign]

ToJSON Sign 
Instance details

Defined in OWL2.ATC_OWL2

Methods

toJSON :: Sign -> Value

toEncoding :: Sign -> Encoding

toJSONList :: [Sign] -> Value

toEncodingList :: [Sign] -> Encoding

ShATermConvertible Sign 
Instance details

Defined in OWL2.ATC_OWL2

Methods

toShATermAux :: ATermTable -> Sign -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Sign] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Sign)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sign])

Pretty Sign Source # 
Instance details

Defined in OWL2.ManchesterPrint

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Function Sign Source # 
Instance details

Defined in OWL2.Function

Methods

function :: Action -> AMap -> Sign -> Sign Source #

ProjectSublogic ProfSub Sign Source # 
Instance details

Defined in OWL2.Logic_OWL2

MinSublogic ProfSub Sign Source # 
Instance details

Defined in OWL2.Logic_OWL2

Category Sign OWLMorphism Source # 
Instance details

Defined in OWL2.Logic_OWL2

Sentences OWL2 Axiom Sign OWLMorphism Entity Source # 
Instance details

Defined in OWL2.Logic_OWL2

StaticAnalysis OWL2 OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb Source # 
Instance details

Defined in OWL2.Logic_OWL2

Methods

basic_analysis :: OWL2 -> Maybe ((OntologyDocument, Sign, GlobalAnnos) -> Result (OntologyDocument, ExtSign Sign Entity, [Named Axiom])) Source #

sen_analysis :: OWL2 -> Maybe ((OntologyDocument, Sign, Axiom) -> Result Axiom) Source #

extBasicAnalysis :: OWL2 -> IRI -> LibName -> OntologyDocument -> Sign -> GlobalAnnos -> Result (OntologyDocument, ExtSign Sign Entity, [Named Axiom]) Source #

stat_symb_map_items :: OWL2 -> Sign -> Maybe Sign -> [SymbMapItems] -> Result (EndoMap RawSymb) Source #

stat_symb_items :: OWL2 -> Sign -> [SymbItems] -> Result [RawSymb] Source #

convertTheory :: OWL2 -> Maybe ((Sign, [Named Axiom]) -> OntologyDocument) Source #

ensures_amalgamability :: OWL2 -> ([CASLAmalgOpt], Gr Sign (Int, OWLMorphism), [(Int, OWLMorphism)], Gr String String) -> Result Amalgamates Source #

quotient_term_algebra :: OWL2 -> OWLMorphism -> [Named Axiom] -> Result (Sign, [Named Axiom]) Source #

signature_colimit :: OWL2 -> Gr Sign (Int, OWLMorphism) -> Result (Sign, Map Int OWLMorphism) Source #

qualify :: OWL2 -> SIMPLE_ID -> LibName -> OWLMorphism -> Sign -> Result (OWLMorphism, [Named Axiom]) Source #

symbol_to_raw :: OWL2 -> Entity -> RawSymb Source #

id_to_raw :: OWL2 -> Id -> RawSymb Source #

matches :: OWL2 -> Entity -> RawSymb -> Bool Source #

empty_signature :: OWL2 -> Sign Source #

add_symb_to_sign :: OWL2 -> Sign -> Entity -> Result Sign Source #

signature_union :: OWL2 -> Sign -> Sign -> Result Sign Source #

signatureDiff :: OWL2 -> Sign -> Sign -> Result Sign Source #

intersection :: OWL2 -> Sign -> Sign -> Result Sign Source #

final_union :: OWL2 -> Sign -> Sign -> Result Sign Source #

morphism_union :: OWL2 -> OWLMorphism -> OWLMorphism -> Result OWLMorphism Source #

is_subsig :: OWL2 -> Sign -> Sign -> Bool Source #

subsig_inclusion :: OWL2 -> Sign -> Sign -> Result OWLMorphism Source #

generated_sign :: OWL2 -> Set Entity -> Sign -> Result OWLMorphism Source #

cogenerated_sign :: OWL2 -> Set Entity -> Sign -> Result OWLMorphism Source #

induced_from_morphism :: OWL2 -> EndoMap RawSymb -> Sign -> Result OWLMorphism Source #

induced_from_to_morphism :: OWL2 -> EndoMap RawSymb -> ExtSign Sign Entity -> ExtSign Sign Entity -> Result OWLMorphism Source #

is_transportable :: OWL2 -> OWLMorphism -> Bool Source #

is_injective :: OWL2 -> OWLMorphism -> Bool Source #

theory_to_taxonomy :: OWL2 -> TaxoGraphKind -> MMiSSOntology -> Sign -> [Named Axiom] -> Result MMiSSOntology Source #

corresp2th :: OWL2 -> String -> Bool -> Sign -> Sign -> [SymbItems] -> [SymbItems] -> EndoMap Entity -> EndoMap Entity -> REL_REF -> Result (Sign, [Named Axiom], Sign, Sign, EndoMap Entity, EndoMap Entity) Source #

equiv2cospan :: OWL2 -> Sign -> Sign -> [SymbItems] -> [SymbItems] -> Result (Sign, Sign, Sign, EndoMap Entity, EndoMap Entity) Source #

extract_module :: OWL2 -> [IRI] -> (Sign, [Named Axiom]) -> Result (Sign, [Named Axiom]) Source #

Logic OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree Source # 
Instance details

Defined in OWL2.Logic_OWL2

Methods

parse_basic_sen :: OWL2 -> Maybe (OntologyDocument -> AParser st Axiom) Source #

stability :: OWL2 -> Stability Source #

data_logic :: OWL2 -> Maybe AnyLogic Source #

top_sublogic :: OWL2 -> ProfSub Source #

all_sublogics :: OWL2 -> [ProfSub] Source #

bottomSublogic :: OWL2 -> Maybe ProfSub Source #

sublogicDimensions :: OWL2 -> [[ProfSub]] Source #

parseSublogic :: OWL2 -> String -> Maybe ProfSub Source #

proj_sublogic_epsilon :: OWL2 -> ProfSub -> Sign -> OWLMorphism Source #

provers :: OWL2 -> [Prover Sign Axiom OWLMorphism ProfSub ProofTree] Source #

default_prover :: OWL2 -> String Source #

cons_checkers :: OWL2 -> [ConsChecker Sign Axiom ProfSub OWLMorphism ProofTree] Source #

conservativityCheck :: OWL2 -> [ConservativityChecker Sign Axiom OWLMorphism] Source #

empty_proof_tree :: OWL2 -> ProofTree Source #

syntaxTable :: OWL2 -> Sign -> Maybe SyntaxTable Source #

omdoc_metatheory :: OWL2 -> Maybe OMCD Source #

export_symToOmdoc :: OWL2 -> NameMap Entity -> Entity -> String -> Result TCElement Source #

export_senToOmdoc :: OWL2 -> NameMap Entity -> Axiom -> Result TCorOMElement Source #

export_theoryToOmdoc :: OWL2 -> SigMap Entity -> Sign -> [Named Axiom] -> Result [TCElement] Source #

omdocToSym :: OWL2 -> SigMapI Entity -> TCElement -> String -> Result Entity Source #

omdocToSen :: OWL2 -> SigMapI Entity -> TCElement -> String -> Result (Maybe (Named Axiom)) Source #

addOMadtToTheory :: OWL2 -> SigMapI Entity -> (Sign, [Named Axiom]) -> [[OmdADT]] -> Result (Sign, [Named Axiom]) Source #

addOmdocToTheory :: OWL2 -> SigMapI Entity -> (Sign, [Named Axiom]) -> [TCElement] -> Result (Sign, [Named Axiom]) Source #

sublogicOfTheo :: OWL2 -> (Sign, [Axiom]) -> ProfSub Source #

Comorphism Propositional2OWL2 Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree Source # 
Instance details

Defined in OWL2.Propositional2OWL2

Comorphism OWL22NeSyPatterns OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree NeSyPatterns () BASIC_SPEC () SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree Source # 
Instance details

Defined in OWL2.OWL22NeSyPatterns

Comorphism OWL22CommonLogic OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree Source # 
Instance details

Defined in OWL2.OWL22CommonLogic

Comorphism OWL22CASL OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source # 
Instance details

Defined in OWL2.OWL22CASL

Comorphism CASL2OWL CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree Source # 
Instance details

Defined in OWL2.CASL2OWL

Comorphism ExtModal2OWL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree Source # 
Instance details

Defined in Comorphisms.ExtModal2OWL

Comorphism DMU2OWL2 DMU () Text () () () Text (DefaultMorphism Text) () () () OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree Source # 
Instance details

Defined in OWL2.DMU2OWL2

type Rep Sign 
Instance details

Defined in OWL2.ATC_OWL2

type Rep Sign = D1 ('MetaData "Sign" "OWL2.Sign" "main" 'False) (C1 ('MetaCons "Sign" 'PrefixI 'True) (((S1 ('MetaSel ('Just "concepts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Class)) :*: S1 ('MetaSel ('Just "datatypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Datatype))) :*: (S1 ('MetaSel ('Just "objectProperties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set ObjectProperty)) :*: S1 ('MetaSel ('Just "dataProperties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set DataProperty)))) :*: ((S1 ('MetaSel ('Just "annotationRoles") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set AnnotationProperty)) :*: S1 ('MetaSel ('Just "individuals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set NamedIndividual))) :*: (S1 ('MetaSel ('Just "labelMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map IRI String)) :*: S1 ('MetaSel ('Just "prefixMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PrefixMap)))))

data SignAxiom Source #

Instances

Instances details
Eq SignAxiom Source # 
Instance details

Defined in OWL2.Sign

Methods

(==) :: SignAxiom -> SignAxiom -> Bool

(/=) :: SignAxiom -> SignAxiom -> Bool

Data SignAxiom Source # 
Instance details

Defined in OWL2.Sign

Methods

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 # 
Instance details

Defined in OWL2.Sign

Methods

compare :: SignAxiom -> SignAxiom -> Ordering

(<) :: SignAxiom -> SignAxiom -> Bool

(<=) :: SignAxiom -> SignAxiom -> Bool

(>) :: SignAxiom -> SignAxiom -> Bool

(>=) :: SignAxiom -> SignAxiom -> Bool

max :: SignAxiom -> SignAxiom -> SignAxiom

min :: SignAxiom -> SignAxiom -> SignAxiom

Show SignAxiom Source # 
Instance details

Defined in OWL2.Sign

Methods

showsPrec :: Int -> SignAxiom -> ShowS

show :: SignAxiom -> String

showList :: [SignAxiom] -> ShowS

Generic SignAxiom 
Instance details

Defined in OWL2.ATC_OWL2

Associated Types

type Rep SignAxiom :: Type -> Type

Methods

from :: SignAxiom -> Rep SignAxiom x

to :: Rep SignAxiom x -> SignAxiom

FromJSON SignAxiom 
Instance details

Defined in OWL2.ATC_OWL2

Methods

parseJSON :: Value -> Parser SignAxiom

parseJSONList :: Value -> Parser [SignAxiom]

ToJSON SignAxiom 
Instance details

Defined in OWL2.ATC_OWL2

Methods

toJSON :: SignAxiom -> Value

toEncoding :: SignAxiom -> Encoding

toJSONList :: [SignAxiom] -> Value

toEncodingList :: [SignAxiom] -> Encoding

ShATermConvertible SignAxiom 
Instance details

Defined in OWL2.ATC_OWL2

Methods

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 
Instance details

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

data RoleKind Source #

Constructors

FuncRole 
RefRole 

Instances

Instances details
Eq RoleKind Source # 
Instance details

Defined in OWL2.Sign

Methods

(==) :: RoleKind -> RoleKind -> Bool

(/=) :: RoleKind -> RoleKind -> Bool

Data RoleKind Source # 
Instance details

Defined in OWL2.Sign

Methods

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 # 
Instance details

Defined in OWL2.Sign

Methods

compare :: RoleKind -> RoleKind -> Ordering

(<) :: RoleKind -> RoleKind -> Bool

(<=) :: RoleKind -> RoleKind -> Bool

(>) :: RoleKind -> RoleKind -> Bool

(>=) :: RoleKind -> RoleKind -> Bool

max :: RoleKind -> RoleKind -> RoleKind

min :: RoleKind -> RoleKind -> RoleKind

Show RoleKind Source # 
Instance details

Defined in OWL2.Sign

Methods

showsPrec :: Int -> RoleKind -> ShowS

show :: RoleKind -> String

showList :: [RoleKind] -> ShowS

Generic RoleKind 
Instance details

Defined in OWL2.ATC_OWL2

Associated Types

type Rep RoleKind :: Type -> Type

Methods

from :: RoleKind -> Rep RoleKind x

to :: Rep RoleKind x -> RoleKind

FromJSON RoleKind 
Instance details

Defined in OWL2.ATC_OWL2

Methods

parseJSON :: Value -> Parser RoleKind

parseJSONList :: Value -> Parser [RoleKind]

ToJSON RoleKind 
Instance details

Defined in OWL2.ATC_OWL2

Methods

toJSON :: RoleKind -> Value

toEncoding :: RoleKind -> Encoding

toJSONList :: [RoleKind] -> Value

toEncodingList :: [RoleKind] -> Encoding

ShATermConvertible RoleKind 
Instance details

Defined in OWL2.ATC_OWL2

Methods

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 
Instance details

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

data RoleType Source #

Constructors

IRole 
DRole 

Instances

Instances details
Eq RoleType Source # 
Instance details

Defined in OWL2.Sign

Methods

(==) :: RoleType -> RoleType -> Bool

(/=) :: RoleType -> RoleType -> Bool

Data RoleType Source # 
Instance details

Defined in OWL2.Sign

Methods

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 # 
Instance details

Defined in OWL2.Sign

Methods

compare :: RoleType -> RoleType -> Ordering

(<) :: RoleType -> RoleType -> Bool

(<=) :: RoleType -> RoleType -> Bool

(>) :: RoleType -> RoleType -> Bool

(>=) :: RoleType -> RoleType -> Bool

max :: RoleType -> RoleType -> RoleType

min :: RoleType -> RoleType -> RoleType

Show RoleType Source # 
Instance details

Defined in OWL2.Sign

Methods

showsPrec :: Int -> RoleType -> ShowS

show :: RoleType -> String

showList :: [RoleType] -> ShowS

Generic RoleType 
Instance details

Defined in OWL2.ATC_OWL2

Associated Types

type Rep RoleType :: Type -> Type

Methods

from :: RoleType -> Rep RoleType x

to :: Rep RoleType x -> RoleType

FromJSON RoleType 
Instance details

Defined in OWL2.ATC_OWL2

Methods

parseJSON :: Value -> Parser RoleType

parseJSONList :: Value -> Parser [RoleType]

ToJSON RoleType 
Instance details

Defined in OWL2.ATC_OWL2

Methods

toJSON :: RoleType -> Value

toEncoding :: RoleType -> Encoding

toJSONList :: [RoleType] -> Value

toEncodingList :: [RoleType] -> Encoding

ShATermConvertible RoleType 
Instance details

Defined in OWL2.ATC_OWL2

Methods

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 
Instance details

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

data DesKind Source #

Constructors

RDomain 
DDomain 
RIRange 

Instances

Instances details
Eq DesKind Source # 
Instance details

Defined in OWL2.Sign

Methods

(==) :: DesKind -> DesKind -> Bool

(/=) :: DesKind -> DesKind -> Bool

Data DesKind Source # 
Instance details

Defined in OWL2.Sign

Methods

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

toConstr :: DesKind -> Constr

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 # 
Instance details

Defined in OWL2.Sign

Methods

compare :: DesKind -> DesKind -> Ordering

(<) :: DesKind -> DesKind -> Bool

(<=) :: DesKind -> DesKind -> Bool

(>) :: DesKind -> DesKind -> Bool

(>=) :: DesKind -> DesKind -> Bool

max :: DesKind -> DesKind -> DesKind

min :: DesKind -> DesKind -> DesKind

Show DesKind Source # 
Instance details

Defined in OWL2.Sign

Methods

showsPrec :: Int -> DesKind -> ShowS

show :: DesKind -> String

showList :: [DesKind] -> ShowS

Generic DesKind 
Instance details

Defined in OWL2.ATC_OWL2

Associated Types

type Rep DesKind :: Type -> Type

Methods

from :: DesKind -> Rep DesKind x

to :: Rep DesKind x -> DesKind

FromJSON DesKind 
Instance details

Defined in OWL2.ATC_OWL2

Methods

parseJSON :: Value -> Parser DesKind

parseJSONList :: Value -> Parser [DesKind]

ToJSON DesKind 
Instance details

Defined in OWL2.ATC_OWL2

Methods

toJSON :: DesKind -> Value

toEncoding :: DesKind -> Encoding

toJSONList :: [DesKind] -> Value

toEncodingList :: [DesKind] -> Encoding

ShATermConvertible DesKind 
Instance details

Defined in OWL2.ATC_OWL2

Methods

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 
Instance details

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

Instances details
Eq a => Eq (DomainOrRangeOrFunc a) Source # 
Instance details

Defined in OWL2.Sign

Data a => Data (DomainOrRangeOrFunc a) Source # 
Instance details

Defined in OWL2.Sign

Methods

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 # 
Instance details

Defined in OWL2.Sign

Show a => Show (DomainOrRangeOrFunc a) Source # 
Instance details

Defined in OWL2.Sign

Methods

showsPrec :: Int -> DomainOrRangeOrFunc a -> ShowS

show :: DomainOrRangeOrFunc a -> String

showList :: [DomainOrRangeOrFunc a] -> ShowS

Generic (DomainOrRangeOrFunc a) 
Instance details

Defined in OWL2.ATC_OWL2

Associated Types

type Rep (DomainOrRangeOrFunc a) :: Type -> Type

FromJSON a => FromJSON (DomainOrRangeOrFunc a) 
Instance details

Defined in OWL2.ATC_OWL2

Methods

parseJSON :: Value -> Parser (DomainOrRangeOrFunc a)

parseJSONList :: Value -> Parser [DomainOrRangeOrFunc a]

ToJSON a => ToJSON (DomainOrRangeOrFunc a) 
Instance details

Defined in OWL2.ATC_OWL2

ShATermConvertible a => ShATermConvertible (DomainOrRangeOrFunc a) 
Instance details

Defined in OWL2.ATC_OWL2

Methods

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) 
Instance details

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

isSubSign :: Sign -> Sign -> Bool Source #

modEntity :: (IRI -> Set IRI -> Set IRI) -> Entity -> State Sign () Source #

takes an entity and modifies the sign according to the given function

addEntity :: Entity -> State Sign () Source #

adding entities to the signature