Copyright	(c) Felix Gabriel Mance Francisc-Nicolae Bungiu
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	Safe

RDF.AS

Contents

RDF Turtle Document
Datatypes for Hets manipulation

Description

RDF abstract syntax

References: http://www.w3.org/TeamSubmission/turtle/ http://www.informatik.uni-bremen.de/~till/papers/ontotrans.pdf http://www.w3.org/TR/rdf-concepts/#section-Graph-syntax

Synopsis

RDF Turtle Document

type RDFPrefixMap = Map String IRI Source #

data TurtleDocument Source #

Constructors

TurtleDocument
Fields documentName :: IRI prefixMap :: RDFPrefixMap statements :: [Statement]

Instances

Eq TurtleDocument Source #
Methods (==) :: TurtleDocument -> TurtleDocument -> Bool (/=) :: TurtleDocument -> TurtleDocument -> Bool
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 #
Methods compare :: TurtleDocument -> TurtleDocument -> Ordering (<) :: TurtleDocument -> TurtleDocument -> Bool (<=) :: TurtleDocument -> TurtleDocument -> Bool (>) :: TurtleDocument -> TurtleDocument -> Bool (>=) :: TurtleDocument -> TurtleDocument -> Bool max :: TurtleDocument -> TurtleDocument -> TurtleDocument min :: TurtleDocument -> TurtleDocument -> TurtleDocument
Show TurtleDocument Source #
Methods showsPrec :: Int -> TurtleDocument -> ShowS show :: TurtleDocument -> String showList :: [TurtleDocument] -> ShowS
GetRange TurtleDocument Source #
Methods getRange :: TurtleDocument -> Range Source # rangeSpan :: TurtleDocument -> [Pos] Source #
Syntax RDF TurtleDocument RDFEntity SymbItems SymbMapItems Source #
Methods parsersAndPrinters :: RDF -> Map String (PrefixMap -> AParser st TurtleDocument, TurtleDocument -> Doc) Source # parse_basic_spec :: RDF -> Maybe (PrefixMap -> AParser st TurtleDocument) Source # parseSingleSymbItem :: RDF -> Maybe (AParser st SymbItems) Source # parse_symb_items :: RDF -> Maybe (AParser st SymbItems) Source # parse_symb_map_items :: RDF -> Maybe (AParser st SymbMapItems) Source # toItem :: RDF -> TurtleDocument -> Item Source # symb_items_name :: RDF -> SymbItems -> [String] 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 # sublogicOfTheo :: RDF -> (Sign, [Axiom]) -> RDFSub Source #

emptyTurtleDocument :: TurtleDocument Source #

data Statement Source #

Constructors

Statement Triples
PrefixStatement Prefix
BaseStatement Base

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 #

Constructors

Triples Subject [PredicateObjectList]

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 #

Constructors

Subject IRI
SubjectList [PredicateObjectList]
SubjectCollection [Object]

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 #

Constructors

Object Subject
ObjectLiteral RDFLiteral

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 #

Constructors

PredicateObjectList Predicate [Object]

Instances

Eq PredicateObjectList Source #
Methods (==) :: PredicateObjectList -> PredicateObjectList -> Bool (/=) :: PredicateObjectList -> PredicateObjectList -> Bool
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 #
Methods compare :: PredicateObjectList -> PredicateObjectList -> Ordering (<) :: PredicateObjectList -> PredicateObjectList -> Bool (<=) :: PredicateObjectList -> PredicateObjectList -> Bool (>) :: PredicateObjectList -> PredicateObjectList -> Bool (>=) :: PredicateObjectList -> PredicateObjectList -> Bool max :: PredicateObjectList -> PredicateObjectList -> PredicateObjectList min :: PredicateObjectList -> PredicateObjectList -> PredicateObjectList
Show PredicateObjectList Source #
Methods showsPrec :: Int -> PredicateObjectList -> ShowS show :: PredicateObjectList -> String showList :: [PredicateObjectList] -> ShowS

data RDFLiteral Source #

Constructors

RDFLiteral Bool LexicalForm TypedOrUntyped
RDFNumberLit FloatLit

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 #
Methods compare :: RDFLiteral -> RDFLiteral -> Ordering (<) :: RDFLiteral -> RDFLiteral -> Bool (<=) :: RDFLiteral -> RDFLiteral -> Bool (>) :: RDFLiteral -> RDFLiteral -> Bool (>=) :: RDFLiteral -> RDFLiteral -> Bool max :: RDFLiteral -> RDFLiteral -> RDFLiteral min :: RDFLiteral -> RDFLiteral -> RDFLiteral
Show RDFLiteral Source #
Methods showsPrec :: Int -> RDFLiteral -> ShowS show :: RDFLiteral -> String showList :: [RDFLiteral] -> ShowS

Datatypes for Hets manipulation

data Term Source #

Constructors

SubjectTerm IRI
PredicateTerm IRI
ObjectTerm (Either IRI RDFLiteral)

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 #
Methods getRange :: Axiom -> Range Source # rangeSpan :: Axiom -> [Pos] Source #
Sentences RDF Axiom Sign RDFMorphism RDFEntity Source #
Methods map_sen :: RDF -> RDFMorphism -> Axiom -> Result Axiom Source # simplify_sen :: RDF -> Sign -> Axiom -> Axiom Source # negation :: RDF -> Axiom -> Maybe Axiom Source # print_sign :: RDF -> Sign -> Doc Source # print_named :: RDF -> Named Axiom -> Doc Source # sym_of :: RDF -> Sign -> [Set RDFEntity] Source # mostSymsOf :: RDF -> Sign -> [RDFEntity] Source # symmap_of :: RDF -> RDFMorphism -> EndoMap RDFEntity Source # sym_name :: RDF -> RDFEntity -> Id Source # sym_label :: RDF -> RDFEntity -> Maybe String Source # fullSymName :: RDF -> RDFEntity -> String Source # symKind :: RDF -> RDFEntity -> String Source # symsOfSen :: RDF -> Sign -> Axiom -> [RDFEntity] Source # pair_symbols :: RDF -> RDFEntity -> RDFEntity -> Result 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 # sublogicOfTheo :: RDF -> (Sign, [Axiom]) -> RDFSub Source #

data RDFEntityType Source #

Constructors

SubjectEntity
PredicateEntity
ObjectEntity

Instances

Bounded RDFEntityType Source #
Methods minBound :: RDFEntityType maxBound :: RDFEntityType
Enum RDFEntityType Source #
Methods succ :: RDFEntityType -> RDFEntityType pred :: RDFEntityType -> RDFEntityType toEnum :: Int -> RDFEntityType fromEnum :: RDFEntityType -> Int enumFrom :: RDFEntityType -> [RDFEntityType] enumFromThen :: RDFEntityType -> RDFEntityType -> [RDFEntityType] enumFromTo :: RDFEntityType -> RDFEntityType -> [RDFEntityType] enumFromThenTo :: RDFEntityType -> RDFEntityType -> RDFEntityType -> [RDFEntityType]
Eq RDFEntityType Source #
Methods (==) :: RDFEntityType -> RDFEntityType -> Bool (/=) :: RDFEntityType -> RDFEntityType -> Bool
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 #
Methods compare :: RDFEntityType -> RDFEntityType -> Ordering (<) :: RDFEntityType -> RDFEntityType -> Bool (<=) :: RDFEntityType -> RDFEntityType -> Bool (>) :: RDFEntityType -> RDFEntityType -> Bool (>=) :: RDFEntityType -> RDFEntityType -> Bool max :: RDFEntityType -> RDFEntityType -> RDFEntityType min :: RDFEntityType -> RDFEntityType -> RDFEntityType
Show RDFEntityType Source #
Methods showsPrec :: Int -> RDFEntityType -> ShowS show :: RDFEntityType -> String showList :: [RDFEntityType] -> ShowS

data RDFEntity Source #

entities used for morphisms

Constructors

RDFEntity RDFEntityType Term

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 #
Methods getRange :: RDFEntity -> Range Source # rangeSpan :: RDFEntity -> [Pos] Source #
Sentences RDF Axiom Sign RDFMorphism RDFEntity Source #
Methods map_sen :: RDF -> RDFMorphism -> Axiom -> Result Axiom Source # simplify_sen :: RDF -> Sign -> Axiom -> Axiom Source # negation :: RDF -> Axiom -> Maybe Axiom Source # print_sign :: RDF -> Sign -> Doc Source # print_named :: RDF -> Named Axiom -> Doc Source # sym_of :: RDF -> Sign -> [Set RDFEntity] Source # mostSymsOf :: RDF -> Sign -> [RDFEntity] Source # symmap_of :: RDF -> RDFMorphism -> EndoMap RDFEntity Source # sym_name :: RDF -> RDFEntity -> Id Source # sym_label :: RDF -> RDFEntity -> Maybe String Source # fullSymName :: RDF -> RDFEntity -> String Source # symKind :: RDF -> RDFEntity -> String Source # symsOfSen :: RDF -> Sign -> Axiom -> [RDFEntity] Source # pair_symbols :: RDF -> RDFEntity -> RDFEntity -> Result RDFEntity Source #
Syntax RDF TurtleDocument RDFEntity SymbItems SymbMapItems Source #
Methods parsersAndPrinters :: RDF -> Map String (PrefixMap -> AParser st TurtleDocument, TurtleDocument -> Doc) Source # parse_basic_spec :: RDF -> Maybe (PrefixMap -> AParser st TurtleDocument) Source # parseSingleSymbItem :: RDF -> Maybe (AParser st SymbItems) Source # parse_symb_items :: RDF -> Maybe (AParser st SymbItems) Source # parse_symb_map_items :: RDF -> Maybe (AParser st SymbMapItems) Source # toItem :: RDF -> TurtleDocument -> Item Source # symb_items_name :: RDF -> SymbItems -> [String] 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 # sublogicOfTheo :: RDF -> (Sign, [Axiom]) -> RDFSub Source #

rdfEntityTypes :: [RDFEntityType] Source #

extractTripleStatements :: [Statement] -> [Triples] Source #

useful functions

triplesOfDocument :: TurtleDocument -> [Triples] Source #

rdfFirst :: IRI Source #

rdfRest :: IRI Source #

rdfNil :: IRI Source #

isAbsoluteIRI :: IRI -> Bool Source #