Hets - the Heterogeneous Tool Set

Copyright(c) C. Maeder Felix Gabriel Mance
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerAlexander.Koslowski@st.ovgu.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

OWL2.AS

Contents

Description

Synopsis

Documentation

isAnonymous :: IRI -> Bool Source #

checks if an IRI is an anonymous individual

type PrefixMap = Map String String Source #

prefix -> localname

type LexicalForm = String Source #

type LanguageTag = String Source #

type Class = IRI Source #

data EquivOrDisjoint Source #

Constructors

Equivalent 
Disjoint 

Instances

Eq EquivOrDisjoint Source # 
Data EquivOrDisjoint Source # 

Methods

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

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

toConstr :: EquivOrDisjoint -> Constr

dataTypeOf :: EquivOrDisjoint -> DataType

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

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

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

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

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

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

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

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

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

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

Ord EquivOrDisjoint Source # 
Show EquivOrDisjoint Source # 

Methods

showsPrec :: Int -> EquivOrDisjoint -> ShowS

show :: EquivOrDisjoint -> String

showList :: [EquivOrDisjoint] -> ShowS

data DomainOrRange Source #

Constructors

ADomain 
ARange 

Instances

Eq DomainOrRange Source # 
Data DomainOrRange Source # 

Methods

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

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

toConstr :: DomainOrRange -> Constr

dataTypeOf :: DomainOrRange -> DataType

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

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

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

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

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

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

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

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

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

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

Ord DomainOrRange Source # 
Show DomainOrRange Source # 

Methods

showsPrec :: Int -> DomainOrRange -> ShowS

show :: DomainOrRange -> String

showList :: [DomainOrRange] -> ShowS

data SameOrDifferent Source #

Constructors

Same 
Different 

Instances

Eq SameOrDifferent Source # 
Data SameOrDifferent Source # 

Methods

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

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

toConstr :: SameOrDifferent -> Constr

dataTypeOf :: SameOrDifferent -> DataType

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

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

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

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

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

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

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

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

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

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

Ord SameOrDifferent Source # 
Show SameOrDifferent Source # 

Methods

showsPrec :: Int -> SameOrDifferent -> ShowS

show :: SameOrDifferent -> String

showList :: [SameOrDifferent] -> ShowS

data Relation Source #

Instances

Eq Relation Source # 

Methods

(==) :: Relation -> Relation -> Bool

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

Data Relation Source # 

Methods

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

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

toConstr :: Relation -> Constr

dataTypeOf :: Relation -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Relation Source # 

Methods

compare :: Relation -> Relation -> Ordering

(<) :: Relation -> Relation -> Bool

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

(>) :: Relation -> Relation -> Bool

(>=) :: Relation -> Relation -> Bool

max :: Relation -> Relation -> Relation

min :: Relation -> Relation -> Relation

Show Relation Source # 

Methods

showsPrec :: Int -> Relation -> ShowS

show :: Relation -> String

showList :: [Relation] -> ShowS

data Character Source #

Instances

Bounded Character Source # 
Enum Character Source # 
Eq Character Source # 

Methods

(==) :: Character -> Character -> Bool

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

Data Character Source # 

Methods

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

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

toConstr :: Character -> Constr

dataTypeOf :: Character -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Character Source # 

Methods

compare :: Character -> Character -> Ordering

(<) :: Character -> Character -> Bool

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

(>) :: Character -> Character -> Bool

(>=) :: Character -> Character -> Bool

max :: Character -> Character -> Character

min :: Character -> Character -> Character

Show Character Source # 

Methods

showsPrec :: Int -> Character -> ShowS

show :: Character -> String

showList :: [Character] -> ShowS

data PositiveOrNegative Source #

Constructors

Positive 
Negative 

Instances

Eq PositiveOrNegative Source # 
Data PositiveOrNegative Source # 

Methods

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

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

toConstr :: PositiveOrNegative -> Constr

dataTypeOf :: PositiveOrNegative -> DataType

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

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

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

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

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

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

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

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

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

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

Ord PositiveOrNegative Source # 
Show PositiveOrNegative Source # 

Methods

showsPrec :: Int -> PositiveOrNegative -> ShowS

show :: PositiveOrNegative -> String

showList :: [PositiveOrNegative] -> ShowS

data QuantifierType Source #

Instances

Eq QuantifierType Source # 
Data QuantifierType Source # 

Methods

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

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

toConstr :: QuantifierType -> Constr

dataTypeOf :: QuantifierType -> DataType

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

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

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

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

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

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

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

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

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

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

Ord QuantifierType Source # 
Show QuantifierType Source # 

Methods

showsPrec :: Int -> QuantifierType -> ShowS

show :: QuantifierType -> String

showList :: [QuantifierType] -> ShowS

Predefined IRI checkings

isThing :: IRI -> Bool Source #

isDatatypeKeyAux :: IRI -> [(String, String)] Source #

type PreDefMaps = ([String], String, String) Source #

preDefMaps :: [String] -> String -> PreDefMaps Source #

checkPredefAux :: PreDefMaps -> IRI -> Maybe (String, String) Source #

setDatatypePrefix :: IRI -> IRI Source #

sets the correct prefix for the predefined datatypes

setReservedPrefix :: IRI -> IRI Source #

checks if the IRI is part of the built-in ones and puts the correct prefix

uriToId :: IRI -> Id Source #

Extracts Id from IRI returns the name of the predefined IRI (e.g xsd:string returns "string" or http://www.w3.org/2002/07/owl#real returns "real")

getPredefName :: IRI -> String Source #

uriToTok :: IRI -> Token Source #

Extracts Token from IRI

entityToId :: Entity -> Id Source #

Extracts Id from Entities

printDatatype :: IRI -> String Source #

data DatatypeCat Source #

Instances

Eq DatatypeCat Source # 

Methods

(==) :: DatatypeCat -> DatatypeCat -> Bool

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

Data DatatypeCat Source # 

Methods

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

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

toConstr :: DatatypeCat -> Constr

dataTypeOf :: DatatypeCat -> DataType

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

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

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

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

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

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

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

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

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

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

Ord DatatypeCat Source # 
Show DatatypeCat Source # 

Methods

showsPrec :: Int -> DatatypeCat -> ShowS

show :: DatatypeCat -> String

showList :: [DatatypeCat] -> ShowS

makeXsdMap :: [String] -> PreDefMaps Source #

Cardinalities

data CardinalityType Source #

Instances

Eq CardinalityType Source # 
Data CardinalityType Source # 

Methods

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

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

toConstr :: CardinalityType -> Constr

dataTypeOf :: CardinalityType -> DataType

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

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

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

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

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

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

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

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

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

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

Ord CardinalityType Source # 
Show CardinalityType Source # 

Methods

showsPrec :: Int -> CardinalityType -> ShowS

show :: CardinalityType -> String

showList :: [CardinalityType] -> ShowS

data Cardinality a b Source #

Constructors

Cardinality CardinalityType Int a (Maybe b) 

Instances

(Eq b, Eq a) => Eq (Cardinality a b) Source # 

Methods

(==) :: Cardinality a b -> Cardinality a b -> Bool

(/=) :: Cardinality a b -> Cardinality a b -> Bool

(Data b, Data a) => Data (Cardinality a b) Source # 

Methods

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

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

toConstr :: Cardinality a b -> Constr

dataTypeOf :: Cardinality a b -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Cardinality a b))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Cardinality a b))

gmapT :: (forall c. Data c => c -> c) -> Cardinality a b -> Cardinality a b

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Cardinality a b -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Cardinality a b -> r

gmapQ :: (forall d. Data d => d -> u) -> Cardinality a b -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Cardinality a b -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Cardinality a b -> m (Cardinality a b)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Cardinality a b -> m (Cardinality a b)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Cardinality a b -> m (Cardinality a b)

(Ord b, Ord a) => Ord (Cardinality a b) Source # 

Methods

compare :: Cardinality a b -> Cardinality a b -> Ordering

(<) :: Cardinality a b -> Cardinality a b -> Bool

(<=) :: Cardinality a b -> Cardinality a b -> Bool

(>) :: Cardinality a b -> Cardinality a b -> Bool

(>=) :: Cardinality a b -> Cardinality a b -> Bool

max :: Cardinality a b -> Cardinality a b -> Cardinality a b

min :: Cardinality a b -> Cardinality a b -> Cardinality a b

(Show b, Show a) => Show (Cardinality a b) Source # 

Methods

showsPrec :: Int -> Cardinality a b -> ShowS

show :: Cardinality a b -> String

showList :: [Cardinality a b] -> ShowS

data JunctionType Source #

Constructors

UnionOf 
IntersectionOf 

Instances

Eq JunctionType Source # 

Methods

(==) :: JunctionType -> JunctionType -> Bool

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

Data JunctionType Source # 

Methods

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

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

toConstr :: JunctionType -> Constr

dataTypeOf :: JunctionType -> DataType

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

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

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

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

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

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

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

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

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

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

Ord JunctionType Source # 
Show JunctionType Source # 

Methods

showsPrec :: Int -> JunctionType -> ShowS

show :: JunctionType -> String

showList :: [JunctionType] -> ShowS

ENTITIES

data Entity Source #

Constructors

Entity 

Fields

Instances

Eq Entity Source # 

Methods

(==) :: Entity -> Entity -> Bool

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

Data Entity Source # 

Methods

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

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

toConstr :: Entity -> Constr

dataTypeOf :: Entity -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Entity Source # 

Methods

compare :: Entity -> Entity -> Ordering

(<) :: Entity -> Entity -> Bool

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

(>) :: Entity -> Entity -> Bool

(>=) :: Entity -> Entity -> Bool

max :: Entity -> Entity -> Entity

min :: Entity -> Entity -> Entity

Show Entity Source # 

Methods

showsPrec :: Int -> Entity -> ShowS

show :: Entity -> String

showList :: [Entity] -> ShowS

GetRange Entity Source # 
Function Entity Source # 

Methods

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

Sentences OWL2 Axiom Sign OWLMorphism Entity Source # 
Syntax OWL2 OntologyDocument Entity SymbItems SymbMapItems Source # 
StaticAnalysis OWL2 OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb Source # 

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 # 

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 #

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 # 
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 # 
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 # 
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 # 
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 # 
Comorphism DMU2OWL2 DMU () Text () () () Text (DefaultMorphism Text) () () () OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree Source # 

data EntityType Source #

Instances

Bounded EntityType Source # 
Enum EntityType Source # 
Eq EntityType Source # 

Methods

(==) :: EntityType -> EntityType -> Bool

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

Data EntityType Source # 

Methods

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

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

toConstr :: EntityType -> Constr

dataTypeOf :: EntityType -> DataType

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

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

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

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

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

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

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

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

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

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

Ord EntityType Source # 
Read EntityType Source # 

Methods

readsPrec :: Int -> ReadS EntityType

readList :: ReadS [EntityType]

readPrec :: ReadPrec EntityType

readListPrec :: ReadPrec [EntityType]

Show EntityType Source # 

Methods

showsPrec :: Int -> EntityType -> ShowS

show :: EntityType -> String

showList :: [EntityType] -> ShowS

LITERALS

data TypedOrUntyped Source #

Constructors

Typed Datatype 
Untyped (Maybe LanguageTag) 

Instances

Eq TypedOrUntyped Source # 
Data TypedOrUntyped Source # 

Methods

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

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

toConstr :: TypedOrUntyped -> Constr

dataTypeOf :: TypedOrUntyped -> DataType

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

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

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

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

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

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

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

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

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

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

Ord TypedOrUntyped Source # 
Show TypedOrUntyped Source # 

Methods

showsPrec :: Int -> TypedOrUntyped -> ShowS

show :: TypedOrUntyped -> String

showList :: [TypedOrUntyped] -> ShowS

data Literal Source #

Instances

Eq Literal Source # 

Methods

(==) :: Literal -> Literal -> Bool

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

Data Literal Source # 

Methods

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

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

toConstr :: Literal -> Constr

dataTypeOf :: Literal -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Literal Source # 

Methods

compare :: Literal -> Literal -> Ordering

(<) :: Literal -> Literal -> Bool

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

(>) :: Literal -> Literal -> Bool

(>=) :: Literal -> Literal -> Bool

max :: Literal -> Literal -> Literal

min :: Literal -> Literal -> Literal

Show Literal Source # 

Methods

showsPrec :: Int -> Literal -> ShowS

show :: Literal -> String

showList :: [Literal] -> ShowS

Function Literal Source # 

data NNInt Source #

non-negative integers given by the sequence of digits

Constructors

NNInt [Int] 

Instances

Eq NNInt Source # 

Methods

(==) :: NNInt -> NNInt -> Bool

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

Data NNInt Source # 

Methods

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

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

toConstr :: NNInt -> Constr

dataTypeOf :: NNInt -> DataType

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

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

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

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

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

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

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

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

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

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

Ord NNInt Source # 

Methods

compare :: NNInt -> NNInt -> Ordering

(<) :: NNInt -> NNInt -> Bool

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

(>) :: NNInt -> NNInt -> Bool

(>=) :: NNInt -> NNInt -> Bool

max :: NNInt -> NNInt -> NNInt

min :: NNInt -> NNInt -> NNInt

Show NNInt Source # 

Methods

showsPrec :: Int -> NNInt -> ShowS

show :: NNInt -> String

showList :: [NNInt] -> ShowS

data IntLit Source #

Constructors

IntLit 

Fields

Instances

Eq IntLit Source # 

Methods

(==) :: IntLit -> IntLit -> Bool

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

Data IntLit Source # 

Methods

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

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

toConstr :: IntLit -> Constr

dataTypeOf :: IntLit -> DataType

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

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

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

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

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

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

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

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

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

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

Ord IntLit Source # 

Methods

compare :: IntLit -> IntLit -> Ordering

(<) :: IntLit -> IntLit -> Bool

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

(>) :: IntLit -> IntLit -> Bool

(>=) :: IntLit -> IntLit -> Bool

max :: IntLit -> IntLit -> IntLit

min :: IntLit -> IntLit -> IntLit

Show IntLit Source # 

Methods

showsPrec :: Int -> IntLit -> ShowS

show :: IntLit -> String

showList :: [IntLit] -> ShowS

negNNInt :: Bool -> NNInt -> IntLit Source #

data DecLit Source #

Constructors

DecLit 

Fields

Instances

Eq DecLit Source # 

Methods

(==) :: DecLit -> DecLit -> Bool

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

Data DecLit Source # 

Methods

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

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

toConstr :: DecLit -> Constr

dataTypeOf :: DecLit -> DataType

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

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

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

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

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

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

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

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

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

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

Ord DecLit Source # 

Methods

compare :: DecLit -> DecLit -> Ordering

(<) :: DecLit -> DecLit -> Bool

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

(>) :: DecLit -> DecLit -> Bool

(>=) :: DecLit -> DecLit -> Bool

max :: DecLit -> DecLit -> DecLit

min :: DecLit -> DecLit -> DecLit

Show DecLit Source # 

Methods

showsPrec :: Int -> DecLit -> ShowS

show :: DecLit -> String

showList :: [DecLit] -> ShowS

isDecInt :: DecLit -> Bool Source #

negDec :: Bool -> DecLit -> DecLit Source #

data FloatLit Source #

Constructors

FloatLit 

Instances

Eq FloatLit Source # 

Methods

(==) :: FloatLit -> FloatLit -> Bool

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

Data FloatLit Source # 

Methods

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

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

toConstr :: FloatLit -> Constr

dataTypeOf :: FloatLit -> DataType

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

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

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

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

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

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

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

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

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

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

Ord FloatLit Source # 

Methods

compare :: FloatLit -> FloatLit -> Ordering

(<) :: FloatLit -> FloatLit -> Bool

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

(>) :: FloatLit -> FloatLit -> Bool

(>=) :: FloatLit -> FloatLit -> Bool

max :: FloatLit -> FloatLit -> FloatLit

min :: FloatLit -> FloatLit -> FloatLit

Show FloatLit Source # 

Methods

showsPrec :: Int -> FloatLit -> ShowS

show :: FloatLit -> String

showList :: [FloatLit] -> ShowS

isNegDec :: DecLit -> Bool Source #

cTypeS :: String Source #

PROPERTY EXPRESSIONS

data ObjectPropertyExpression Source #

Instances

Eq ObjectPropertyExpression Source # 
Data ObjectPropertyExpression Source # 

Methods

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

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

toConstr :: ObjectPropertyExpression -> Constr

dataTypeOf :: ObjectPropertyExpression -> DataType

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

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

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

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

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

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

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

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

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

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

Ord ObjectPropertyExpression Source # 
Show ObjectPropertyExpression Source # 
Function ObjectPropertyExpression Source # 

DATA RANGES

data DataRange Source #

Instances

Eq DataRange Source # 

Methods

(==) :: DataRange -> DataRange -> Bool

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

Data DataRange Source # 

Methods

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

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

toConstr :: DataRange -> Constr

dataTypeOf :: DataRange -> DataType

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

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

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

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

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

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

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

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

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

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

Ord DataRange Source # 

Methods

compare :: DataRange -> DataRange -> Ordering

(<) :: DataRange -> DataRange -> Bool

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

(>) :: DataRange -> DataRange -> Bool

(>=) :: DataRange -> DataRange -> Bool

max :: DataRange -> DataRange -> DataRange

min :: DataRange -> DataRange -> DataRange

Show DataRange Source # 

Methods

showsPrec :: Int -> DataRange -> ShowS

show :: DataRange -> String

showList :: [DataRange] -> ShowS

Function DataRange Source # 

CLASS EXPERSSIONS

data ClassExpression Source #

Instances

Eq ClassExpression Source # 
Data ClassExpression Source # 

Methods

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

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

toConstr :: ClassExpression -> Constr

dataTypeOf :: ClassExpression -> DataType

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

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

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

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

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

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

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

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

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

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

Ord ClassExpression Source # 
Show ClassExpression Source # 

Methods

showsPrec :: Int -> ClassExpression -> ShowS

show :: ClassExpression -> String

showList :: [ClassExpression] -> ShowS

Function ClassExpression Source # 

ANNOTATIONS

data Annotation Source #

Instances

Eq Annotation Source # 

Methods

(==) :: Annotation -> Annotation -> Bool

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

Data Annotation Source # 

Methods

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

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

toConstr :: Annotation -> Constr

dataTypeOf :: Annotation -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Annotation Source # 
Show Annotation Source # 

Methods

showsPrec :: Int -> Annotation -> ShowS

show :: Annotation -> String

showList :: [Annotation] -> ShowS

Function Annotation Source # 
Function Annotations Source # 
Function a => Function (AnnotatedList a) Source #

only for non-IRI AnnotatedLists

data AnnotationValue Source #

Constructors

AnnValue IRI 
AnnValLit Literal 

Instances

Eq AnnotationValue Source # 
Data AnnotationValue Source # 

Methods

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

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

toConstr :: AnnotationValue -> Constr

dataTypeOf :: AnnotationValue -> DataType

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

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

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

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

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

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

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

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

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

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

Ord AnnotationValue Source # 
Show AnnotationValue Source # 

Methods

showsPrec :: Int -> AnnotationValue -> ShowS

show :: AnnotationValue -> String

showList :: [AnnotationValue] -> ShowS

Function AnnotationValue Source #