AS.hs revision 55a4cc1af8cd647357775f50c47fa4bdde6d8c6d
{- |
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 [Term]
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 Triple =
NTriple Subject Predicate Object
| AbbreviatedTriple (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 [(Triple, BaseIRI, TurtlePrefixMap)]
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