b5bb29b09bbb00b75612ca99edc13119bf2c8a05Aivaras Jakubauskas{- |

b5bb29b09bbb00b75612ca99edc13119bf2c8a05Aivaras JakubauskasModule : $Header$

b5bb29b09bbb00b75612ca99edc13119bf2c8a05Aivaras JakubauskasCopyright : (c) Felix Gabriel Mance, Francisc-Nicolae Bungiu

b5bb29b09bbb00b75612ca99edc13119bf2c8a05Aivaras JakubauskasLicense : GPLv2 or higher, see LICENSE.txt

5cbcb38f40d3eb0c2e66773c30cc58fa1171ffc9Aivaras Jakubauskas

5cbcb38f40d3eb0c2e66773c30cc58fa1171ffc9Aivaras JakubauskasMaintainer : Christian.Maeder@dfki.de

5cbcb38f40d3eb0c2e66773c30cc58fa1171ffc9Aivaras JakubauskasStability : provisional

5cbcb38f40d3eb0c2e66773c30cc58fa1171ffc9Aivaras JakubauskasPortability : portable

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder

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>

-}

module RDF.AS where

import Common.Id

import OWL2.AS

import qualified Data.Map as Map

-- * Graphs

{- | A term is either an IRI, a literal (only for objects) or a collection of

IRIs and literals -}

data Term =

IRITerm IRI

| LiteralTerm Literal

| Collection [IRI]

deriving (Show, Eq, Ord)

type Subject = Term

type Predicate = Term

type Object = Term

{- | Triples can also be abbreviated using a comma (subject and predicate stay

the same) or using a semicolon (subject stays the same) -}

data Triples =

NTriple Subject Predicate Object

| AbbreviatedTriples Subject [(Maybe Predicate, Object)]

deriving (Show, Eq, Ord)

data BaseIRI = BaseIRI IRI

deriving (Show, Eq, Ord)

data Prefix = Prefix String IRI

deriving (Show, Eq, Ord)

type TurtlePrefixMap = Map.Map String IRI

data Axiom = Axiom Subject Predicate Object

deriving (Show, Eq, Ord)

data TurtleDocument = TurtleDocument

{ prefixMap :: Map.Map String IRI

, triples :: [Triples]

} deriving (Show, Eq, Ord)

data RDFEntityType = Subject | Predicate | Object

deriving (Show, Eq, Ord, Bounded, Enum)

-- | entities used for morphisms

data RDFEntity = RDFEntity RDFEntityType IRI

deriving (Show, Eq, Ord)

rdfEntityTypes :: [RDFEntityType]

rdfEntityTypes = [minBound .. maxBound]

instance GetRange TurtleDocument where

instance GetRange Axiom where

instance GetRange RDFEntity where