{- |

Module : $Header$

Copyright : (c) Francisc-Nicolae Bungiu

License : GPLv2 or higher, see LICENSE.txt

Maintainer : Christian.Maeder@dfki.de

Stability : provisional

Portability : portable

RDF abstract syntax

References:

<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 Data.Char (intToDigit)

import Data.List

import Data.Maybe

import qualified Data.Map as Map

import qualified Data.Set as Set

-- * Graphs

type Subject = IRI

type Predicate = IRI

data Object = ObjURI IRI | ObjLiteral Literal

deriving (Show, Eq, Ord)

-- Sentence represents a RDF Triple

data Sentence = Sentence Subject Predicate Object

deriving (Show, Eq, Ord)

data RDFGraph = RDFGraph (Set.Set Sentence)

deriving (Show, Eq, Ord)

data EntityRDF = EntityRDF IRI

deriving (Show, Eq, Ord)

type StringMap = Map.Map String String

type MorphMap = Map.Map EntityRDF IRI