{-# LANGUAGE DeriveDataTypeable #-}

{- |

Module : ./RDF/Symbols.hs

Copyright : (c) Francisc-Nicolae Bungiu

License : GPLv2 or higher, see LICENSE.txt

Maintainer : f.bungiu@jacobs-university.de

Stability : provisional

Portability : portable

Symbol items for Hets

-}

module RDF.Symbols where

import Common.Id

import Data.Data

import RDF.AS

import OWL2.AS

-- * SYMBOL ITEMS FOR HETS

data SymbItems = SymbItems (Maybe RDFEntityType) [IRI]

deriving (Show, Eq, Typeable, Data)

data SymbMapItems = SymbMapItems (Maybe RDFEntityType) [(IRI, Maybe IRI)]

deriving (Show, Eq, Typeable, Data)

-- | raw symbols

data RawSymb = ASymbol RDFEntity | AnUri IRI

deriving (Show, Eq, Ord, Typeable, Data)

instance GetRange RawSymb