Hets - the Heterogeneous Tool Set

Copyright(c) Felix Gabriel Mance
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerf.mance@jacobs-university.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

OWL2.MS

Description

Datatypes specific to the Manchester Syntax of OWL 2

References : http://www.w3.org/TR/owl2-manchester-syntax/

Synopsis

Documentation

type Annotations = [Annotation] Source #

annotions are annotedAnnotationList that must be preceded by the keyword Annotations: if non-empty

data Extended Source #

this datatype extends the Manchester Syntax to also allow GCIs

Instances

Eq Extended Source # 

Methods

(==) :: Extended -> Extended -> Bool

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

Data Extended Source # 

Methods

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

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

toConstr :: Extended -> Constr

dataTypeOf :: Extended -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Extended Source # 

Methods

compare :: Extended -> Extended -> Ordering

(<) :: Extended -> Extended -> Bool

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

(>) :: Extended -> Extended -> Bool

(>=) :: Extended -> Extended -> Bool

max :: Extended -> Extended -> Extended

min :: Extended -> Extended -> Extended

Show Extended Source # 

Methods

showsPrec :: Int -> Extended -> ShowS

show :: Extended -> String

showList :: [Extended] -> ShowS

Function Extended Source # 

data ListFrameBit Source #

frames with annotated lists

Instances

Eq ListFrameBit Source # 

Methods

(==) :: ListFrameBit -> ListFrameBit -> Bool

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

Data ListFrameBit Source # 

Methods

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

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

toConstr :: ListFrameBit -> Constr

dataTypeOf :: ListFrameBit -> DataType

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

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

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

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

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

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

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

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

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

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

Ord ListFrameBit Source # 
Show ListFrameBit Source # 

Methods

showsPrec :: Int -> ListFrameBit -> ShowS

show :: ListFrameBit -> String

showList :: [ListFrameBit] -> ShowS

Function ListFrameBit Source # 

data AnnoType Source #

Constructors

Declaration 
Assertion 
XmlError String 

Instances

Eq AnnoType Source # 

Methods

(==) :: AnnoType -> AnnoType -> Bool

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

Data AnnoType Source # 

Methods

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

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

toConstr :: AnnoType -> Constr

dataTypeOf :: AnnoType -> DataType

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

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

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

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

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

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

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

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

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

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

Ord AnnoType Source # 

Methods

compare :: AnnoType -> AnnoType -> Ordering

(<) :: AnnoType -> AnnoType -> Bool

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

(>) :: AnnoType -> AnnoType -> Bool

(>=) :: AnnoType -> AnnoType -> Bool

max :: AnnoType -> AnnoType -> AnnoType

min :: AnnoType -> AnnoType -> AnnoType

Show AnnoType Source # 

Methods

showsPrec :: Int -> AnnoType -> ShowS

show :: AnnoType -> String

showList :: [AnnoType] -> ShowS

data AnnFrameBit Source #

frames which start with annotations

Instances

Eq AnnFrameBit Source # 

Methods

(==) :: AnnFrameBit -> AnnFrameBit -> Bool

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

Data AnnFrameBit Source # 

Methods

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

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

toConstr :: AnnFrameBit -> Constr

dataTypeOf :: AnnFrameBit -> DataType

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

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

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

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

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

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

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

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

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

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

Ord AnnFrameBit Source # 
Show AnnFrameBit Source # 

Methods

showsPrec :: Int -> AnnFrameBit -> ShowS

show :: AnnFrameBit -> String

showList :: [AnnFrameBit] -> ShowS

Function AnnFrameBit Source # 

data Fact Source #

Instances

Eq Fact Source # 

Methods

(==) :: Fact -> Fact -> Bool

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

Data Fact Source # 

Methods

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

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

toConstr :: Fact -> Constr

dataTypeOf :: Fact -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Fact Source # 

Methods

compare :: Fact -> Fact -> Ordering

(<) :: Fact -> Fact -> Bool

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

(>) :: Fact -> Fact -> Bool

(>=) :: Fact -> Fact -> Bool

max :: Fact -> Fact -> Fact

min :: Fact -> Fact -> Fact

Show Fact Source # 

Methods

showsPrec :: Int -> Fact -> ShowS

show :: Fact -> String

showList :: [Fact] -> ShowS

Function Fact Source # 

Methods

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

data FrameBit Source #

Instances

Eq FrameBit Source # 

Methods

(==) :: FrameBit -> FrameBit -> Bool

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

Data FrameBit Source # 

Methods

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

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

toConstr :: FrameBit -> Constr

dataTypeOf :: FrameBit -> DataType

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

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

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

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

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

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

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

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

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

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

Ord FrameBit Source # 

Methods

compare :: FrameBit -> FrameBit -> Ordering

(<) :: FrameBit -> FrameBit -> Bool

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

(>) :: FrameBit -> FrameBit -> Bool

(>=) :: FrameBit -> FrameBit -> Bool

max :: FrameBit -> FrameBit -> FrameBit

min :: FrameBit -> FrameBit -> FrameBit

Show FrameBit Source # 

Methods

showsPrec :: Int -> FrameBit -> ShowS

show :: FrameBit -> String

showList :: [FrameBit] -> ShowS

Function FrameBit Source # 

data Frame Source #

Constructors

Frame Extended [FrameBit] 

Instances

Eq Frame Source # 

Methods

(==) :: Frame -> Frame -> Bool

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

Data Frame Source # 

Methods

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

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

toConstr :: Frame -> Constr

dataTypeOf :: Frame -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Frame Source # 

Methods

compare :: Frame -> Frame -> Ordering

(<) :: Frame -> Frame -> Bool

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

(>) :: Frame -> Frame -> Bool

(>=) :: Frame -> Frame -> Bool

max :: Frame -> Frame -> Frame

min :: Frame -> Frame -> Frame

Show Frame Source # 

Methods

showsPrec :: Int -> Frame -> ShowS

show :: Frame -> String

showList :: [Frame] -> ShowS

Function Frame Source # 

Methods

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

data Axiom Source #

Constructors

PlainAxiom 

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 #

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 Ontology Source #

Constructors

Ontology 

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 # 

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 #

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 # 

annotedSyms :: (a -> Set Entity) -> AnnotatedList a -> Set Entity Source #