{-# LANGUAGE DeriveDataTypeable #-}

{- |

Module : ./OWL2/Symbols.hs

Copyright : (c) Felix Gabriel Mance

License : GPLv2 or higher, see LICENSE.txt

Maintainer : f.mance@jacobs-university.de

Stability : provisional

Portability : portable

Symbol items for Hets

-}

module OWL2.Symbols where

import OWL2.AS

import Data.Data

-- * SYMBOL ITEMS FOR HETS

data ExtEntityType = AnyEntity | PrefixO | EntityType EntityType

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

data SymbItems = SymbItems ExtEntityType [IRI]

deriving (Show, Eq, Typeable, Data)

symbItemsName :: SymbItems -> [String]

symbItemsName (SymbItems _ iris) =

map showQN iris

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

deriving (Show, Eq, Typeable, Data)

-- | raw symbols

data RawSymb = ASymbol Entity | AnUri IRI | APrefix String

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