RDF.AS

Contents

• RDF Turtle Document
• Datatypes for Hets manipulation

Description

Synopsis

• type RDFPrefixMap = Map String IRI
• data TurtleDocument = TurtleDocument {
  • documentName :: IRI
  • prefixMap :: RDFPrefixMap
  • statements :: [Statement]
  }
• emptyTurtleDocument :: TurtleDocument
• data Statement
  • = Statement Triples
  • | PrefixStatement Prefix
  • | BaseStatement Base
• data Prefix = PrefixR String IRI
• data Base = Base IRI
• data Triples = Triples Subject [PredicateObjectList]
• data Subject
  • = Subject IRI
  • | SubjectList [PredicateObjectList]
  • | SubjectCollection [Object]
• data Predicate = Predicate IRI
• data Object
  • = Object Subject
  • | ObjectLiteral RDFLiteral
• data PredicateObjectList = PredicateObjectList Predicate [Object]
• data RDFLiteral
  • = RDFLiteral Bool LexicalForm TypedOrUntyped
  • | RDFNumberLit FloatLit
• data Term
  • = SubjectTerm IRI
  • | PredicateTerm IRI
  • | ObjectTerm (Either IRI RDFLiteral)
• data Axiom = Axiom Term Term Term
• data RDFEntityType
  • = SubjectEntity
  • | PredicateEntity
  • | ObjectEntity
• 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

Datatypes for Hets manipulation