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 #

Extracting Symbols

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 #

sublogicOfTheo :: OWL2 -> (Sign, [Axiom]) -> ProfSub 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 #

litType :: Literal -> Maybe IRI 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 # 

basedOn :: DataRange -> [Datatype] Source #

Extracts all Datatypes used in a Datarange.

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 # 

data AnnotationValue Source #

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 # 

data AnnotationAxiom Source #

Instances

Eq AnnotationAxiom Source # 
Data AnnotationAxiom Source # 

Methods

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

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

toConstr :: AnnotationAxiom -> Constr

dataTypeOf :: AnnotationAxiom -> DataType

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

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

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

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

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

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

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

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

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

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

Ord AnnotationAxiom Source # 
Show AnnotationAxiom Source # 

Methods

showsPrec :: Int -> AnnotationAxiom -> ShowS

show :: AnnotationAxiom -> String

showList :: [AnnotationAxiom] -> ShowS

Function AnnotationAxiom Source # 

data AnnotationSubject Source #

Instances

Eq AnnotationSubject Source # 
Data AnnotationSubject Source # 

Methods

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

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

toConstr :: AnnotationSubject -> Constr

dataTypeOf :: AnnotationSubject -> DataType

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

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

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

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

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

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

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

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

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

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

Ord AnnotationSubject Source # 
Show AnnotationSubject Source # 

Methods

showsPrec :: Int -> AnnotationSubject -> ShowS

show :: AnnotationSubject -> String

showList :: [AnnotationSubject] -> ShowS

Function AnnotationSubject Source # 

AXIOMS

data Axiom Source #

Instances

Eq Axiom Source # 

Methods

(==) :: Axiom -> Axiom -> Bool

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

Data Axiom Source # 

Methods

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

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

toConstr :: Axiom -> Constr

dataTypeOf :: Axiom -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Axiom Source # 

Methods

compare :: Axiom -> Axiom -> Ordering

(<) :: Axiom -> Axiom -> Bool

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

(>) :: Axiom -> Axiom -> Bool

(>=) :: Axiom -> Axiom -> Bool

max :: Axiom -> Axiom -> Axiom

min :: Axiom -> Axiom -> Axiom

Show Axiom Source # 

Methods

showsPrec :: Int -> Axiom -> ShowS

show :: Axiom -> String

showList :: [Axiom] -> ShowS

GetRange Axiom Source # 
Function Axiom Source # 

Methods

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

Sentences OWL2 Axiom Sign OWLMorphism Entity 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 #

sublogicOfTheo :: OWL2 -> (Sign, [Axiom]) -> ProfSub 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 ClassAxiom Source #

Instances

Eq ClassAxiom Source # 

Methods

(==) :: ClassAxiom -> ClassAxiom -> Bool

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

Data ClassAxiom Source # 

Methods

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

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

toConstr :: ClassAxiom -> Constr

dataTypeOf :: ClassAxiom -> DataType

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

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

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

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

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

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

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

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

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

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

Ord ClassAxiom Source # 
Show ClassAxiom Source # 

Methods

showsPrec :: Int -> ClassAxiom -> ShowS

show :: ClassAxiom -> String

showList :: [ClassAxiom] -> ShowS

Function ClassAxiom Source # 

data ObjectPropertyAxiom Source #

Instances

Eq ObjectPropertyAxiom Source # 
Data ObjectPropertyAxiom Source # 

Methods

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

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

toConstr :: ObjectPropertyAxiom -> Constr

dataTypeOf :: ObjectPropertyAxiom -> DataType

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

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

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

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

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

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

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

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

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

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

Ord ObjectPropertyAxiom Source # 
Show ObjectPropertyAxiom Source # 

Methods

showsPrec :: Int -> ObjectPropertyAxiom -> ShowS

show :: ObjectPropertyAxiom -> String

showList :: [ObjectPropertyAxiom] -> ShowS

Function ObjectPropertyAxiom Source # 

data SubObjectPropertyExpression Source #

Instances

Eq SubObjectPropertyExpression Source # 
Data SubObjectPropertyExpression Source # 

Methods

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

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

toConstr :: SubObjectPropertyExpression -> Constr

dataTypeOf :: SubObjectPropertyExpression -> DataType

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

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

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

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

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

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

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

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

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

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

Ord SubObjectPropertyExpression Source # 
Show SubObjectPropertyExpression Source # 
Function SubObjectPropertyExpression Source # 

data DataPropertyAxiom Source #

Instances

Eq DataPropertyAxiom Source # 
Data DataPropertyAxiom Source # 

Methods

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

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

toConstr :: DataPropertyAxiom -> Constr

dataTypeOf :: DataPropertyAxiom -> DataType

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

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

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

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

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

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

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

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

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

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

Ord DataPropertyAxiom Source # 
Show DataPropertyAxiom Source # 

Methods

showsPrec :: Int -> DataPropertyAxiom -> ShowS

show :: DataPropertyAxiom -> String

showList :: [DataPropertyAxiom] -> ShowS

Function DataPropertyAxiom Source # 

data Assertion Source #

Instances

Eq Assertion Source # 

Methods

(==) :: Assertion -> Assertion -> Bool

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

Data Assertion Source # 

Methods

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

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

toConstr :: Assertion -> Constr

dataTypeOf :: Assertion -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Assertion Source # 

Methods

compare :: Assertion -> Assertion -> Ordering

(<) :: Assertion -> Assertion -> Bool

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

(>) :: Assertion -> Assertion -> Bool

(>=) :: Assertion -> Assertion -> Bool

max :: Assertion -> Assertion -> Assertion

min :: Assertion -> Assertion -> Assertion

Show Assertion Source # 

Methods

showsPrec :: Int -> Assertion -> ShowS

show :: Assertion -> String

showList :: [Assertion] -> ShowS

Function Assertion Source # 

data Rule Source #

Instances

Eq Rule Source # 

Methods

(==) :: Rule -> Rule -> Bool

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

Data Rule Source # 

Methods

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

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

toConstr :: Rule -> Constr

dataTypeOf :: Rule -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Rule Source # 

Methods

compare :: Rule -> Rule -> Ordering

(<) :: Rule -> Rule -> Bool

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

(>) :: Rule -> Rule -> Bool

(>=) :: Rule -> Rule -> Bool

max :: Rule -> Rule -> Rule

min :: Rule -> Rule -> Rule

Show Rule Source # 

Methods

showsPrec :: Int -> Rule -> ShowS

show :: Rule -> String

showList :: [Rule] -> ShowS

Function Rule Source # 

Methods

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

type Body = [Atom] Source #

type Head = [Atom] Source #

data IndividualArg Source #

Instances

Eq IndividualArg Source # 
Data IndividualArg Source # 

Methods

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

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

toConstr :: IndividualArg -> Constr

dataTypeOf :: IndividualArg -> DataType

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

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

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

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

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

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

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

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

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

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

Ord IndividualArg Source # 
Show IndividualArg Source # 

Methods

showsPrec :: Int -> IndividualArg -> ShowS

show :: IndividualArg -> String

showList :: [IndividualArg] -> ShowS

Function IndividualArg Source # 

data DataArg Source #

Constructors

DArg Literal 
DVar DataVar 

Instances

Eq DataArg Source # 

Methods

(==) :: DataArg -> DataArg -> Bool

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

Data DataArg Source # 

Methods

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

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

toConstr :: DataArg -> Constr

dataTypeOf :: DataArg -> DataType

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

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

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

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

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

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

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

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

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

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

Ord DataArg Source # 

Methods

compare :: DataArg -> DataArg -> Ordering

(<) :: DataArg -> DataArg -> Bool

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

(>) :: DataArg -> DataArg -> Bool

(>=) :: DataArg -> DataArg -> Bool

max :: DataArg -> DataArg -> DataArg

min :: DataArg -> DataArg -> DataArg

Show DataArg Source # 

Methods

showsPrec :: Int -> DataArg -> ShowS

show :: DataArg -> String

showList :: [DataArg] -> ShowS

Function DataArg Source # 

data UnknownArg Source #

Instances

Eq UnknownArg Source # 

Methods

(==) :: UnknownArg -> UnknownArg -> Bool

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

Data UnknownArg Source # 

Methods

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

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

toConstr :: UnknownArg -> Constr

dataTypeOf :: UnknownArg -> DataType

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

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

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

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

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

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

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

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

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

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

Ord UnknownArg Source # 
Show UnknownArg Source # 

Methods

showsPrec :: Int -> UnknownArg -> ShowS

show :: UnknownArg -> String

showList :: [UnknownArg] -> ShowS

Function UnknownArg Source # 

data Atom Source #

Instances

Eq Atom Source # 

Methods

(==) :: Atom -> Atom -> Bool

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

Data Atom Source # 

Methods

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

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

toConstr :: Atom -> Constr

dataTypeOf :: Atom -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Atom Source # 

Methods

compare :: Atom -> Atom -> Ordering

(<) :: Atom -> Atom -> Bool

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

(>) :: Atom -> Atom -> Bool

(>=) :: Atom -> Atom -> Bool

max :: Atom -> Atom -> Atom

min :: Atom -> Atom -> Atom

Show Atom Source # 

Methods

showsPrec :: Int -> Atom -> ShowS

show :: Atom -> String

showList :: [Atom] -> ShowS

Function Atom Source # 

Methods

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

data DGAtom Source #

Instances

Eq DGAtom Source # 

Methods

(==) :: DGAtom -> DGAtom -> Bool

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

Data DGAtom Source # 

Methods

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

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

toConstr :: DGAtom -> Constr

dataTypeOf :: DGAtom -> DataType

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

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

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

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

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

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

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

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

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

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

Ord DGAtom Source # 

Methods

compare :: DGAtom -> DGAtom -> Ordering

(<) :: DGAtom -> DGAtom -> Bool

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

(>) :: DGAtom -> DGAtom -> Bool

(>=) :: DGAtom -> DGAtom -> Bool

max :: DGAtom -> DGAtom -> DGAtom

min :: DGAtom -> DGAtom -> DGAtom

Show DGAtom Source # 

Methods

showsPrec :: Int -> DGAtom -> ShowS

show :: DGAtom -> String

showList :: [DGAtom] -> ShowS

Function DGAtom Source # 

Methods

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

data DGNodeAssertion Source #

Instances

Eq DGNodeAssertion Source # 
Data DGNodeAssertion Source # 

Methods

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

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

toConstr :: DGNodeAssertion -> Constr

dataTypeOf :: DGNodeAssertion -> DataType

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

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

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

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

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

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

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

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

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

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

Ord DGNodeAssertion Source # 
Show DGNodeAssertion Source # 

Methods

showsPrec :: Int -> DGNodeAssertion -> ShowS

show :: DGNodeAssertion -> String

showList :: [DGNodeAssertion] -> ShowS

Function DGNodeAssertion Source # 

data DGEdgeAssertion Source #

Instances

Eq DGEdgeAssertion Source # 
Data DGEdgeAssertion Source # 

Methods

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

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

toConstr :: DGEdgeAssertion -> Constr

dataTypeOf :: DGEdgeAssertion -> DataType

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

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

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

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

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

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

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

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

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

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

Ord DGEdgeAssertion Source # 
Show DGEdgeAssertion Source # 

Methods

showsPrec :: Int -> DGEdgeAssertion -> ShowS

show :: DGEdgeAssertion -> String

showList :: [DGEdgeAssertion] -> ShowS

Function DGEdgeAssertion Source # 

data OntologySyntaxType Source #

Constructors

MS 
AS 
XML 

Instances

Eq OntologySyntaxType Source # 
Data OntologySyntaxType Source # 

Methods

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

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

toConstr :: OntologySyntaxType -> Constr

dataTypeOf :: OntologySyntaxType -> DataType

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

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

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

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

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

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

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

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

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

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

Ord OntologySyntaxType Source # 
Show OntologySyntaxType Source # 

Methods

showsPrec :: Int -> OntologySyntaxType -> ShowS

show :: OntologySyntaxType -> String

showList :: [OntologySyntaxType] -> ShowS

data OntologyMetadata Source #

Instances

Eq OntologyMetadata Source # 
Data OntologyMetadata Source # 

Methods

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

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

toConstr :: OntologyMetadata -> Constr

dataTypeOf :: OntologyMetadata -> DataType

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

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

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

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

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

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

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

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

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

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

Ord OntologyMetadata Source # 
Show OntologyMetadata Source # 

Methods

showsPrec :: Int -> OntologyMetadata -> ShowS

show :: OntologyMetadata -> String

showList :: [OntologyMetadata] -> ShowS

data OntologyDocument Source #

Instances

Eq OntologyDocument Source # 
Data OntologyDocument Source # 

Methods

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

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

toConstr :: OntologyDocument -> Constr

dataTypeOf :: OntologyDocument -> DataType

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

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

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

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

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

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

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

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

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

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

Ord OntologyDocument Source # 
Show OntologyDocument Source # 

Methods

showsPrec :: Int -> OntologyDocument -> ShowS

show :: OntologyDocument -> String

showList :: [OntologyDocument] -> ShowS

GetRange OntologyDocument Source # 
Function OntologyDocument 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 #

sublogicOfTheo :: OWL2 -> (Sign, [Axiom]) -> ProfSub 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 PrefixDeclaration Source #

Instances

Eq PrefixDeclaration Source # 
Data PrefixDeclaration Source # 

Methods

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

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

toConstr :: PrefixDeclaration -> Constr

dataTypeOf :: PrefixDeclaration -> DataType

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

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

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

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

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

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

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

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

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

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

Ord PrefixDeclaration Source # 
Show PrefixDeclaration Source # 

Methods

showsPrec :: Int -> PrefixDeclaration -> ShowS

show :: PrefixDeclaration -> String

showList :: [PrefixDeclaration] -> ShowS

Function PrefixDeclaration Source # 

type PrefixName = String Source #

data Ontology Source #

Instances

Eq Ontology Source # 

Methods

(==) :: Ontology -> Ontology -> Bool

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

Data Ontology Source # 

Methods

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

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

toConstr :: Ontology -> Constr

dataTypeOf :: Ontology -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Ontology Source # 

Methods

compare :: Ontology -> Ontology -> Ordering

(<) :: Ontology -> Ontology -> Bool

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

(>) :: Ontology -> Ontology -> Bool

(>=) :: Ontology -> Ontology -> Bool

max :: Ontology -> Ontology -> Ontology

min :: Ontology -> Ontology -> Ontology

Show Ontology Source # 

Methods

showsPrec :: Int -> Ontology -> ShowS

show :: Ontology -> String

showList :: [Ontology] -> ShowS

Function Ontology Source #