AS.hs revision 0be7a9c012366ada63d587898a15c551b499b76d
8267b99c0d7a187abe6f87ad50530dc08f5d1cdcAndy GimblettModule : $Header$
e071fb22ea9923a2a4ff41184d80ca46b55ee932Till MossakowskiCopyright : (c) Felix Gabriel Mance, Francisc-Nicolae Bungiu
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettLicense : GPLv2 or higher, see LICENSE.txt
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettMaintainer : Christian.Maeder@dfki.de
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettStability : provisional
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettPortability : portable
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettRDF abstract syntax
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett <http://www.informatik.uni-bremen.de/~till/papers/ontotrans.pdf>
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett <http://www.w3.org/TR/rdf-concepts/#section-Graph-syntax>
f909337bf7012aca169c0b56b89efbd4a310f8daAndy Gimblettimport qualified Data.Map as Map
f909337bf7012aca169c0b56b89efbd4a310f8daAndy Gimblett-- * RDF Turtle Document
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettdata TurtleDocument = TurtleDocument
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett { prefixMap :: Map.Map String IRI
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett , statements :: [Statement] }
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett deriving (Show, Eq, Ord)
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettdata Statement = Statement Triples | Prefix String IRI | Base IRI
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett deriving (Show, Eq, Ord)
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettdata Triples = Triples Subject PredicateObjectList
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett deriving (Show, Eq, Ord)
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettdata Subject =
20ed727452613e36c0a95ddabf7ecc81cf941ed2Andy Gimblett | SubjectList PredicateObjectList
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett | SubjectCollection [Object]
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett deriving (Show, Eq, Ord)
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettdata Predicate = Predicate IRI
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett deriving (Show, Eq, Ord)
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett | ObjectList PredicateObjectList
2f06b54890375b6cac90394b80b07bd451d728fcAndy Gimblett | ObjectCollection [Object]
2f06b54890375b6cac90394b80b07bd451d728fcAndy Gimblett | ObjectLiteral Literal
2f06b54890375b6cac90394b80b07bd451d728fcAndy Gimblett deriving (Show, Eq, Ord)
2f06b54890375b6cac90394b80b07bd451d728fcAndy Gimblettdata PredicateObjectList = PredicateObjectList Predicate [Object]
2f06b54890375b6cac90394b80b07bd451d728fcAndy Gimblett deriving (Show, Eq, Ord)
a09bfcbcb0fba5663fca1968aa82daebf2e092c4Andy Gimblett-- * Datatypes for Hets manipulation
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettdata Axiom = Axiom Subject Predicate Object
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett deriving (Show, Eq, Ord)
f909337bf7012aca169c0b56b89efbd4a310f8daAndy Gimblettdata RDFEntityType = SubjectEntity | PredicateEntity | ObjectEntity
f909337bf7012aca169c0b56b89efbd4a310f8daAndy Gimblett deriving (Show, Eq, Ord, Bounded, Enum)
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | entities used for morphisms
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettdata RDFEntity = RDFEntity RDFEntityType IRI
20ed727452613e36c0a95ddabf7ecc81cf941ed2Andy Gimblett deriving (Show, Eq, Ord)
20ed727452613e36c0a95ddabf7ecc81cf941ed2Andy GimblettrdfEntityTypes :: [RDFEntityType]
20ed727452613e36c0a95ddabf7ecc81cf941ed2Andy GimblettrdfEntityTypes = [minBound .. maxBound]
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettinstance GetRange TurtleDocument where
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettinstance GetRange Axiom where
20ed727452613e36c0a95ddabf7ecc81cf941ed2Andy Gimblettinstance GetRange RDFEntity where