AS.hs revision 31a5ba51cd6d24e28a23abf64ce4043a45eabbef
{- |
Module : $Header$
Copyright : (c) Felix Gabriel Mance, 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.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)
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