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
Description
Synopsis
- type RDFPrefixMap = Map String IRI
- data TurtleDocument = TurtleDocument {
- documentName :: IRI
- prefixMap :: RDFPrefixMap
- statements :: [Statement]
- emptyTurtleDocument :: TurtleDocument
- data Statement
- data Prefix = PrefixR String IRI
- data Base = Base IRI
- data Triples = Triples Subject [PredicateObjectList]
- data Subject
- data Predicate = Predicate IRI
- data Object
- data PredicateObjectList = PredicateObjectList Predicate [Object]
- data RDFLiteral
- data Term
- = SubjectTerm IRI
- | PredicateTerm IRI
- | ObjectTerm (Either IRI RDFLiteral)
- data Axiom = Axiom Term Term Term
- data RDFEntityType
- data RDFEntity = RDFEntity RDFEntityType Term
- rdfEntityTypes :: [RDFEntityType]
- extractTripleStatements :: [Statement] -> [Triples]
- triplesOfDocument :: TurtleDocument -> [Triples]
- rdfFirst :: IRI
- rdfRest :: IRI
- rdfNil :: IRI
- isAbsoluteIRI :: IRI -> Bool
RDF Turtle Document
type RDFPrefixMap = Map String IRI Source #
data TurtleDocument Source #
Constructors
TurtleDocument | |
Fields
|
Instances
Constructors
Statement Triples | |
PrefixStatement Prefix | |
BaseStatement Base |
Instances
Eq Statement Source # | |
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 # | |
Show Statement Source # | |
Instances
Eq Prefix Source # | |
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 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 # | |
Show Prefix Source # | |
Instances
Eq Base Source # | |
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 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 # | |
Show Base Source # | |
Constructors
Triples Subject [PredicateObjectList] |
Instances
Eq Triples Source # | |
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 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 # | |
Show Triples Source # | |
Constructors
Subject IRI | |
SubjectList [PredicateObjectList] | |
SubjectCollection [Object] |
Instances
Eq Subject Source # | |
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 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 # | |
Show Subject Source # | |
Instances
Eq Predicate Source # | |
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 # | |
Show Predicate Source # | |
Constructors
Object Subject | |
ObjectLiteral RDFLiteral |
Instances
Eq Object Source # | |
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 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 # | |
Show Object Source # | |
data PredicateObjectList Source #
Constructors
PredicateObjectList Predicate [Object] |
Instances
data RDFLiteral Source #
Constructors
RDFLiteral Bool LexicalForm TypedOrUntyped | |
RDFNumberLit FloatLit |
Instances
Eq RDFLiteral Source # | |
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
Constructors
SubjectTerm IRI | |
PredicateTerm IRI | |
ObjectTerm (Either IRI RDFLiteral) |
Instances
Eq Term Source # | |
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 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 # | |
Show Term Source # | |
Instances
data RDFEntityType Source #
Constructors
SubjectEntity | |
PredicateEntity | |
ObjectEntity |
Instances
Bounded RDFEntityType Source # | |
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 # | |
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 |
entities used for morphisms
Constructors
RDFEntity RDFEntityType Term |
Instances
extractTripleStatements :: [Statement] -> [Triples] Source #
useful functions
triplesOfDocument :: TurtleDocument -> [Triples] Source #
isAbsoluteIRI :: IRI -> Bool Source #