5056N/A

5056N/A{- |

5056N/AModule : $Header$

5056N/ADescription : type for selecting different kinds of taxonomy graphs

5056N/ACopyright : (c) Klaus Luettich, Uni Bremen 2002-2004

5056N/ALicense : GPLv2 or higher, see LICENSE.txt

5056N/A

5056N/AMaintainer : luecke@informatik.uni-bremen.de

5056N/AStability : provisional

5056N/APortability : portable

5056N/A

5056N/AType for selecting different kinds of taxonomy graphs

5056N/A

5056N/AThis module only provides a small type for selecting different kinds

5056N/Aof taxonomy graphs.

5056N/A

5056N/A-}

5056N/A

5056N/Amodule Common.Taxonomy where

5056N/A

5784N/Adata TaxoGraphKind = KSubsort | KConcept

5056N/A deriving (Show, Enum, Eq)

5371N/A

5371N/Adata OntoObjectType =

5784N/A OntoClass | OntoObject | OntoPredicate deriving (Show, Eq)

5056N/A