Hets - the Heterogeneous Tool Set

Copyright(c) Felix Gabriel Mance Francisc-Nicolae Bungiu
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

RDF.AS

Contents

Description

Synopsis

RDF Turtle Document

type RDFPrefixMap = Map String IRI Source #

data TurtleDocument Source #

Instances

Eq TurtleDocument Source # 
Data TurtleDocument Source # 

Methods

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

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

toConstr :: TurtleDocument -> Constr

dataTypeOf :: TurtleDocument -> DataType

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

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

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

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

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

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

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

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

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

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

Ord TurtleDocument Source # 
Show TurtleDocument Source # 

Methods

showsPrec :: Int -> TurtleDocument -> ShowS

show :: TurtleDocument -> String

showList :: [TurtleDocument] -> ShowS

GetRange TurtleDocument Source # 
Syntax RDF TurtleDocument RDFEntity SymbItems SymbMapItems Source # 
StaticAnalysis RDF TurtleDocument Axiom SymbItems SymbMapItems Sign RDFMorphism RDFEntity RawSymb Source # 

Methods

basic_analysis :: RDF -> Maybe ((TurtleDocument, Sign, GlobalAnnos) -> Result (TurtleDocument, ExtSign Sign RDFEntity, [Named Axiom])) Source #

sen_analysis :: RDF -> Maybe ((TurtleDocument, Sign, Axiom) -> Result Axiom) Source #

extBasicAnalysis :: RDF -> IRI -> LibName -> TurtleDocument -> Sign -> GlobalAnnos -> Result (TurtleDocument, ExtSign Sign RDFEntity, [Named Axiom]) Source #

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

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

convertTheory :: RDF -> Maybe ((Sign, [Named Axiom]) -> TurtleDocument) Source #

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

quotient_term_algebra :: RDF -> RDFMorphism -> [Named Axiom] -> Result (Sign, [Named Axiom]) Source #

signature_colimit :: RDF -> Gr Sign (Int, RDFMorphism) -> Result (Sign, Map Int RDFMorphism) Source #

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

symbol_to_raw :: RDF -> RDFEntity -> RawSymb Source #

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

matches :: RDF -> RDFEntity -> RawSymb -> Bool Source #

empty_signature :: RDF -> Sign Source #

add_symb_to_sign :: RDF -> Sign -> RDFEntity -> Result Sign Source #

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

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

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

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

morphism_union :: RDF -> RDFMorphism -> RDFMorphism -> Result RDFMorphism Source #

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

subsig_inclusion :: RDF -> Sign -> Sign -> Result RDFMorphism Source #

generated_sign :: RDF -> Set RDFEntity -> Sign -> Result RDFMorphism Source #

cogenerated_sign :: RDF -> Set RDFEntity -> Sign -> Result RDFMorphism Source #

induced_from_morphism :: RDF -> EndoMap RawSymb -> Sign -> Result RDFMorphism Source #

induced_from_to_morphism :: RDF -> EndoMap RawSymb -> ExtSign Sign RDFEntity -> ExtSign Sign RDFEntity -> Result RDFMorphism Source #

is_transportable :: RDF -> RDFMorphism -> Bool Source #

is_injective :: RDF -> RDFMorphism -> Bool Source #

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

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

equiv2cospan :: RDF -> Sign -> Sign -> [SymbItems] -> [SymbItems] -> Result (Sign, Sign, Sign, EndoMap RDFEntity, EndoMap RDFEntity) Source #

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

Logic RDF RDFSub TurtleDocument Axiom SymbItems SymbMapItems Sign RDFMorphism RDFEntity RawSymb ProofTree Source # 

Methods

parse_basic_sen :: RDF -> Maybe (TurtleDocument -> AParser st Axiom) Source #

stability :: RDF -> Stability Source #

data_logic :: RDF -> Maybe AnyLogic Source #

top_sublogic :: RDF -> RDFSub Source #

all_sublogics :: RDF -> [RDFSub] Source #

bottomSublogic :: RDF -> Maybe RDFSub Source #

sublogicDimensions :: RDF -> [[RDFSub]] Source #

parseSublogic :: RDF -> String -> Maybe RDFSub Source #

proj_sublogic_epsilon :: RDF -> RDFSub -> Sign -> RDFMorphism Source #

provers :: RDF -> [Prover Sign Axiom RDFMorphism RDFSub ProofTree] Source #

default_prover :: RDF -> String Source #

cons_checkers :: RDF -> [ConsChecker Sign Axiom RDFSub RDFMorphism ProofTree] Source #

conservativityCheck :: RDF -> [ConservativityChecker Sign Axiom RDFMorphism] Source #

empty_proof_tree :: RDF -> ProofTree Source #

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

omdoc_metatheory :: RDF -> Maybe OMCD Source #

export_symToOmdoc :: RDF -> NameMap RDFEntity -> RDFEntity -> String -> Result TCElement Source #

export_senToOmdoc :: RDF -> NameMap RDFEntity -> Axiom -> Result TCorOMElement Source #

export_theoryToOmdoc :: RDF -> SigMap RDFEntity -> Sign -> [Named Axiom] -> Result [TCElement] Source #

omdocToSym :: RDF -> SigMapI RDFEntity -> TCElement -> String -> Result RDFEntity Source #

omdocToSen :: RDF -> SigMapI RDFEntity -> TCElement -> String -> Result (Maybe (Named Axiom)) Source #

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

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

data Statement Source #

Instances

Eq Statement Source # 

Methods

(==) :: Statement -> Statement -> Bool

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

Data Statement Source # 

Methods

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

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

toConstr :: Statement -> Constr

dataTypeOf :: Statement -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Statement Source # 

Methods

compare :: Statement -> Statement -> Ordering

(<) :: Statement -> Statement -> Bool

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

(>) :: Statement -> Statement -> Bool

(>=) :: Statement -> Statement -> Bool

max :: Statement -> Statement -> Statement

min :: Statement -> Statement -> Statement

Show Statement Source # 

Methods

showsPrec :: Int -> Statement -> ShowS

show :: Statement -> String

showList :: [Statement] -> ShowS

data Prefix Source #

Constructors

PrefixR String IRI 

Instances

Eq Prefix Source # 

Methods

(==) :: Prefix -> Prefix -> Bool

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

Data Prefix Source # 

Methods

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

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

toConstr :: Prefix -> Constr

dataTypeOf :: Prefix -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Prefix Source # 

Methods

compare :: Prefix -> Prefix -> Ordering

(<) :: Prefix -> Prefix -> Bool

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

(>) :: Prefix -> Prefix -> Bool

(>=) :: Prefix -> Prefix -> Bool

max :: Prefix -> Prefix -> Prefix

min :: Prefix -> Prefix -> Prefix

Show Prefix Source # 

Methods

showsPrec :: Int -> Prefix -> ShowS

show :: Prefix -> String

showList :: [Prefix] -> ShowS

data Base Source #

Constructors

Base IRI 

Instances

Eq Base Source # 

Methods

(==) :: Base -> Base -> Bool

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

Data Base Source # 

Methods

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

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

toConstr :: Base -> Constr

dataTypeOf :: Base -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Base Source # 

Methods

compare :: Base -> Base -> Ordering

(<) :: Base -> Base -> Bool

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

(>) :: Base -> Base -> Bool

(>=) :: Base -> Base -> Bool

max :: Base -> Base -> Base

min :: Base -> Base -> Base

Show Base Source # 

Methods

showsPrec :: Int -> Base -> ShowS

show :: Base -> String

showList :: [Base] -> ShowS

data Triples Source #

Instances

Eq Triples Source # 

Methods

(==) :: Triples -> Triples -> Bool

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

Data Triples Source # 

Methods

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

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

toConstr :: Triples -> Constr

dataTypeOf :: Triples -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Triples Source # 

Methods

compare :: Triples -> Triples -> Ordering

(<) :: Triples -> Triples -> Bool

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

(>) :: Triples -> Triples -> Bool

(>=) :: Triples -> Triples -> Bool

max :: Triples -> Triples -> Triples

min :: Triples -> Triples -> Triples

Show Triples Source # 

Methods

showsPrec :: Int -> Triples -> ShowS

show :: Triples -> String

showList :: [Triples] -> ShowS

data Subject Source #

Instances

Eq Subject Source # 

Methods

(==) :: Subject -> Subject -> Bool

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

Data Subject Source # 

Methods

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

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

toConstr :: Subject -> Constr

dataTypeOf :: Subject -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Subject Source # 

Methods

compare :: Subject -> Subject -> Ordering

(<) :: Subject -> Subject -> Bool

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

(>) :: Subject -> Subject -> Bool

(>=) :: Subject -> Subject -> Bool

max :: Subject -> Subject -> Subject

min :: Subject -> Subject -> Subject

Show Subject Source # 

Methods

showsPrec :: Int -> Subject -> ShowS

show :: Subject -> String

showList :: [Subject] -> ShowS

data Predicate Source #

Constructors

Predicate IRI 

Instances

Eq Predicate Source # 

Methods

(==) :: Predicate -> Predicate -> Bool

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

Data Predicate Source # 

Methods

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

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

toConstr :: Predicate -> Constr

dataTypeOf :: Predicate -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Predicate Source # 

Methods

compare :: Predicate -> Predicate -> Ordering

(<) :: Predicate -> Predicate -> Bool

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

(>) :: Predicate -> Predicate -> Bool

(>=) :: Predicate -> Predicate -> Bool

max :: Predicate -> Predicate -> Predicate

min :: Predicate -> Predicate -> Predicate

Show Predicate Source # 

Methods

showsPrec :: Int -> Predicate -> ShowS

show :: Predicate -> String

showList :: [Predicate] -> ShowS

data Object Source #

Instances

Eq Object Source # 

Methods

(==) :: Object -> Object -> Bool

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

Data Object Source # 

Methods

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

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

toConstr :: Object -> Constr

dataTypeOf :: Object -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Object Source # 

Methods

compare :: Object -> Object -> Ordering

(<) :: Object -> Object -> Bool

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

(>) :: Object -> Object -> Bool

(>=) :: Object -> Object -> Bool

max :: Object -> Object -> Object

min :: Object -> Object -> Object

Show Object Source # 

Methods

showsPrec :: Int -> Object -> ShowS

show :: Object -> String

showList :: [Object] -> ShowS

data PredicateObjectList Source #

Instances

Eq PredicateObjectList Source # 
Data PredicateObjectList Source # 

Methods

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

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

toConstr :: PredicateObjectList -> Constr

dataTypeOf :: PredicateObjectList -> DataType

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

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

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

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

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

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

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

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

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

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

Ord PredicateObjectList Source # 
Show PredicateObjectList Source # 

Methods

showsPrec :: Int -> PredicateObjectList -> ShowS

show :: PredicateObjectList -> String

showList :: [PredicateObjectList] -> ShowS

data RDFLiteral Source #

Instances

Eq RDFLiteral Source # 

Methods

(==) :: RDFLiteral -> RDFLiteral -> Bool

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

Data RDFLiteral Source # 

Methods

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

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

toConstr :: RDFLiteral -> Constr

dataTypeOf :: RDFLiteral -> DataType

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

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

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

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

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

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

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

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

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

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

Ord RDFLiteral Source # 
Show RDFLiteral Source # 

Methods

showsPrec :: Int -> RDFLiteral -> ShowS

show :: RDFLiteral -> String

showList :: [RDFLiteral] -> ShowS

Datatypes for Hets manipulation

data Term Source #

Instances

Eq Term Source # 

Methods

(==) :: Term -> Term -> Bool

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

Data Term Source # 

Methods

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

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

toConstr :: Term -> Constr

dataTypeOf :: Term -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Term Source # 

Methods

compare :: Term -> Term -> Ordering

(<) :: Term -> Term -> Bool

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

(>) :: Term -> Term -> Bool

(>=) :: Term -> Term -> Bool

max :: Term -> Term -> Term

min :: Term -> Term -> Term

Show Term Source # 

Methods

showsPrec :: Int -> Term -> ShowS

show :: Term -> String

showList :: [Term] -> ShowS

data Axiom Source #

Constructors

Axiom Term Term Term 

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 # 
Sentences RDF Axiom Sign RDFMorphism RDFEntity Source # 
StaticAnalysis RDF TurtleDocument Axiom SymbItems SymbMapItems Sign RDFMorphism RDFEntity RawSymb Source # 

Methods

basic_analysis :: RDF -> Maybe ((TurtleDocument, Sign, GlobalAnnos) -> Result (TurtleDocument, ExtSign Sign RDFEntity, [Named Axiom])) Source #

sen_analysis :: RDF -> Maybe ((TurtleDocument, Sign, Axiom) -> Result Axiom) Source #

extBasicAnalysis :: RDF -> IRI -> LibName -> TurtleDocument -> Sign -> GlobalAnnos -> Result (TurtleDocument, ExtSign Sign RDFEntity, [Named Axiom]) Source #

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

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

convertTheory :: RDF -> Maybe ((Sign, [Named Axiom]) -> TurtleDocument) Source #

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

quotient_term_algebra :: RDF -> RDFMorphism -> [Named Axiom] -> Result (Sign, [Named Axiom]) Source #

signature_colimit :: RDF -> Gr Sign (Int, RDFMorphism) -> Result (Sign, Map Int RDFMorphism) Source #

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

symbol_to_raw :: RDF -> RDFEntity -> RawSymb Source #

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

matches :: RDF -> RDFEntity -> RawSymb -> Bool Source #

empty_signature :: RDF -> Sign Source #

add_symb_to_sign :: RDF -> Sign -> RDFEntity -> Result Sign Source #

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

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

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

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

morphism_union :: RDF -> RDFMorphism -> RDFMorphism -> Result RDFMorphism Source #

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

subsig_inclusion :: RDF -> Sign -> Sign -> Result RDFMorphism Source #

generated_sign :: RDF -> Set RDFEntity -> Sign -> Result RDFMorphism Source #

cogenerated_sign :: RDF -> Set RDFEntity -> Sign -> Result RDFMorphism Source #

induced_from_morphism :: RDF -> EndoMap RawSymb -> Sign -> Result RDFMorphism Source #

induced_from_to_morphism :: RDF -> EndoMap RawSymb -> ExtSign Sign RDFEntity -> ExtSign Sign RDFEntity -> Result RDFMorphism Source #

is_transportable :: RDF -> RDFMorphism -> Bool Source #

is_injective :: RDF -> RDFMorphism -> Bool Source #

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

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

equiv2cospan :: RDF -> Sign -> Sign -> [SymbItems] -> [SymbItems] -> Result (Sign, Sign, Sign, EndoMap RDFEntity, EndoMap RDFEntity) Source #

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

Logic RDF RDFSub TurtleDocument Axiom SymbItems SymbMapItems Sign RDFMorphism RDFEntity RawSymb ProofTree Source # 

Methods

parse_basic_sen :: RDF -> Maybe (TurtleDocument -> AParser st Axiom) Source #

stability :: RDF -> Stability Source #

data_logic :: RDF -> Maybe AnyLogic Source #

top_sublogic :: RDF -> RDFSub Source #

all_sublogics :: RDF -> [RDFSub] Source #

bottomSublogic :: RDF -> Maybe RDFSub Source #

sublogicDimensions :: RDF -> [[RDFSub]] Source #

parseSublogic :: RDF -> String -> Maybe RDFSub Source #

proj_sublogic_epsilon :: RDF -> RDFSub -> Sign -> RDFMorphism Source #

provers :: RDF -> [Prover Sign Axiom RDFMorphism RDFSub ProofTree] Source #

default_prover :: RDF -> String Source #

cons_checkers :: RDF -> [ConsChecker Sign Axiom RDFSub RDFMorphism ProofTree] Source #

conservativityCheck :: RDF -> [ConservativityChecker Sign Axiom RDFMorphism] Source #

empty_proof_tree :: RDF -> ProofTree Source #

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

omdoc_metatheory :: RDF -> Maybe OMCD Source #

export_symToOmdoc :: RDF -> NameMap RDFEntity -> RDFEntity -> String -> Result TCElement Source #

export_senToOmdoc :: RDF -> NameMap RDFEntity -> Axiom -> Result TCorOMElement Source #

export_theoryToOmdoc :: RDF -> SigMap RDFEntity -> Sign -> [Named Axiom] -> Result [TCElement] Source #

omdocToSym :: RDF -> SigMapI RDFEntity -> TCElement -> String -> Result RDFEntity Source #

omdocToSen :: RDF -> SigMapI RDFEntity -> TCElement -> String -> Result (Maybe (Named Axiom)) Source #

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

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

data RDFEntityType Source #

Instances

Bounded RDFEntityType Source # 
Enum RDFEntityType Source # 
Eq RDFEntityType Source # 
Data RDFEntityType Source # 

Methods

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

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

toConstr :: RDFEntityType -> Constr

dataTypeOf :: RDFEntityType -> DataType

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

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

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

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

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

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

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

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

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

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

Ord RDFEntityType Source # 
Show RDFEntityType Source # 

Methods

showsPrec :: Int -> RDFEntityType -> ShowS

show :: RDFEntityType -> String

showList :: [RDFEntityType] -> ShowS

data RDFEntity Source #

entities used for morphisms

Instances

Eq RDFEntity Source # 

Methods

(==) :: RDFEntity -> RDFEntity -> Bool

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

Data RDFEntity Source # 

Methods

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

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

toConstr :: RDFEntity -> Constr

dataTypeOf :: RDFEntity -> DataType

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

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

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

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

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

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

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

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

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

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

Ord RDFEntity Source # 

Methods

compare :: RDFEntity -> RDFEntity -> Ordering

(<) :: RDFEntity -> RDFEntity -> Bool

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

(>) :: RDFEntity -> RDFEntity -> Bool

(>=) :: RDFEntity -> RDFEntity -> Bool

max :: RDFEntity -> RDFEntity -> RDFEntity

min :: RDFEntity -> RDFEntity -> RDFEntity

Show RDFEntity Source # 

Methods

showsPrec :: Int -> RDFEntity -> ShowS

show :: RDFEntity -> String

showList :: [RDFEntity] -> ShowS

GetRange RDFEntity Source # 
Sentences RDF Axiom Sign RDFMorphism RDFEntity Source # 
Syntax RDF TurtleDocument RDFEntity SymbItems SymbMapItems Source # 
StaticAnalysis RDF TurtleDocument Axiom SymbItems SymbMapItems Sign RDFMorphism RDFEntity RawSymb Source # 

Methods

basic_analysis :: RDF -> Maybe ((TurtleDocument, Sign, GlobalAnnos) -> Result (TurtleDocument, ExtSign Sign RDFEntity, [Named Axiom])) Source #

sen_analysis :: RDF -> Maybe ((TurtleDocument, Sign, Axiom) -> Result Axiom) Source #

extBasicAnalysis :: RDF -> IRI -> LibName -> TurtleDocument -> Sign -> GlobalAnnos -> Result (TurtleDocument, ExtSign Sign RDFEntity, [Named Axiom]) Source #

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

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

convertTheory :: RDF -> Maybe ((Sign, [Named Axiom]) -> TurtleDocument) Source #

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

quotient_term_algebra :: RDF -> RDFMorphism -> [Named Axiom] -> Result (Sign, [Named Axiom]) Source #

signature_colimit :: RDF -> Gr Sign (Int, RDFMorphism) -> Result (Sign, Map Int RDFMorphism) Source #

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

symbol_to_raw :: RDF -> RDFEntity -> RawSymb Source #

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

matches :: RDF -> RDFEntity -> RawSymb -> Bool Source #

empty_signature :: RDF -> Sign Source #

add_symb_to_sign :: RDF -> Sign -> RDFEntity -> Result Sign Source #

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

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

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

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

morphism_union :: RDF -> RDFMorphism -> RDFMorphism -> Result RDFMorphism Source #

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

subsig_inclusion :: RDF -> Sign -> Sign -> Result RDFMorphism Source #

generated_sign :: RDF -> Set RDFEntity -> Sign -> Result RDFMorphism Source #

cogenerated_sign :: RDF -> Set RDFEntity -> Sign -> Result RDFMorphism Source #

induced_from_morphism :: RDF -> EndoMap RawSymb -> Sign -> Result RDFMorphism Source #

induced_from_to_morphism :: RDF -> EndoMap RawSymb -> ExtSign Sign RDFEntity -> ExtSign Sign RDFEntity -> Result RDFMorphism Source #

is_transportable :: RDF -> RDFMorphism -> Bool Source #

is_injective :: RDF -> RDFMorphism -> Bool Source #

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

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

equiv2cospan :: RDF -> Sign -> Sign -> [SymbItems] -> [SymbItems] -> Result (Sign, Sign, Sign, EndoMap RDFEntity, EndoMap RDFEntity) Source #

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

Logic RDF RDFSub TurtleDocument Axiom SymbItems SymbMapItems Sign RDFMorphism RDFEntity RawSymb ProofTree Source # 

Methods

parse_basic_sen :: RDF -> Maybe (TurtleDocument -> AParser st Axiom) Source #

stability :: RDF -> Stability Source #

data_logic :: RDF -> Maybe AnyLogic Source #

top_sublogic :: RDF -> RDFSub Source #

all_sublogics :: RDF -> [RDFSub] Source #

bottomSublogic :: RDF -> Maybe RDFSub Source #

sublogicDimensions :: RDF -> [[RDFSub]] Source #

parseSublogic :: RDF -> String -> Maybe RDFSub Source #

proj_sublogic_epsilon :: RDF -> RDFSub -> Sign -> RDFMorphism Source #

provers :: RDF -> [Prover Sign Axiom RDFMorphism RDFSub ProofTree] Source #

default_prover :: RDF -> String Source #

cons_checkers :: RDF -> [ConsChecker Sign Axiom RDFSub RDFMorphism ProofTree] Source #

conservativityCheck :: RDF -> [ConservativityChecker Sign Axiom RDFMorphism] Source #

empty_proof_tree :: RDF -> ProofTree Source #

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

omdoc_metatheory :: RDF -> Maybe OMCD Source #

export_symToOmdoc :: RDF -> NameMap RDFEntity -> RDFEntity -> String -> Result TCElement Source #

export_senToOmdoc :: RDF -> NameMap RDFEntity -> Axiom -> Result TCorOMElement Source #

export_theoryToOmdoc :: RDF -> SigMap RDFEntity -> Sign -> [Named Axiom] -> Result [TCElement] Source #

omdocToSym :: RDF -> SigMapI RDFEntity -> TCElement -> String -> Result RDFEntity Source #

omdocToSen :: RDF -> SigMapI RDFEntity -> TCElement -> String -> Result (Maybe (Named Axiom)) Source #

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

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