hets/RDF/AS.hs

	AS.hs revision 8e1b180fc839e96d7a4f1f63dfc563c75139c683
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder{- |
eb483f2216949400bfef8f6deb5320f071445626Christian MaederModule      :  $Header$
eb483f2216949400bfef8f6deb5320f071445626Christian MaederCopyright   :  (c) Francisc-Nicolae Bungiu
eb483f2216949400bfef8f6deb5320f071445626Christian MaederLicense     :  GPLv2 or higher, see LICENSE.txt
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maeder
eb483f2216949400bfef8f6deb5320f071445626Christian MaederMaintainer  :  Christian.Maeder@dfki.de
b4fbc96e05117839ca409f5f20f97b3ac872d1edTill MossakowskiStability   :  provisional
eb483f2216949400bfef8f6deb5320f071445626Christian MaederPortability :  portable
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder
f3a94a197960e548ecd6520bb768cb0d547457bbChristian MaederRDF abstract syntax
f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maeder
eb483f2216949400bfef8f6deb5320f071445626Christian MaederReferences:
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder    <http://www.informatik.uni-bremen.de/~till/papers/ontotrans.pdf>
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder    <http://www.w3.org/TR/rdf-concepts/#section-Graph-syntax>
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder-}
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maedermodule RDF.AS where
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederimport Common.Id
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederimport OWL2.AS
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederimport Data.Char (intToDigit)
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederimport Data.List
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederimport Data.Maybe
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederimport qualified Data.Map as Map
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederimport qualified Data.Set as Set
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder-- * Graphs
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maedertype Subject = IRI
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maedertype Predicate = IRI
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederdata Object = ObjURI IRI | ObjLiteral Literal
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder    deriving (Show, Eq, Ord)
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder-- Sentence represents a RDF Triple
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederdata Sentence = Sentence Subject Predicate Object
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder    deriving (Show, Eq, Ord)
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederdata RDFGraph = RDFGraph (Set.Set Sentence)
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder    deriving (Show, Eq, Ord)
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederdata RDFEntityType = Subject | Predicate | Object
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder    deriving (Show, Eq, Ord)
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederdata EntityRDF = EntityRDF RDFEntityType IRI
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder    deriving (Show, Eq, Ord)
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maedertype StringMap = Map.Map String String
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maedertype MorphMap = Map.Map EntityRDF IRI
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder