e6d40133bc9f858308654afb1262b8b483ec5922Till MossakowskiDescription : type for selecting different kinds of taxonomy graphs
d5fe06af711a6912ae028ebf873eada4ee8733f8Christian MaederCopyright : (c) Klaus Luettich, Uni Bremen 2002-2004
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuLicense : GPLv2 or higher, see LICENSE.txt
34bff097c14521b5e57ce37279a34256e1f78aa5Klaus LuettichMaintainer : luecke@informatik.uni-bremen.de
0b60a19437c802631340d8bb5f9aaee7ba2c0a29Klaus LuettichStability : provisional
e83ed59502a681713982f25c559aae77a4145734Christian MaederPortability : portable
e6d40133bc9f858308654afb1262b8b483ec5922Till MossakowskiType for selecting different kinds of taxonomy graphs
0b60a19437c802631340d8bb5f9aaee7ba2c0a29Klaus LuettichThis module only provides a small type for selecting different kinds
0b60a19437c802631340d8bb5f9aaee7ba2c0a29Klaus Luettichof taxonomy graphs.
e83ed59502a681713982f25c559aae77a4145734Christian Maederdata TaxoGraphKind = KSubsort | KConcept
26f4f8d9fedf769036ceffe50d6e2b8d74e3b2f9Christian Maeder deriving (Show, Enum, Eq)
f6300a9f28c2402ff80f5c5f0558e7a0adc7502aChristian Maederdata OntoObjectType =
f6300a9f28c2402ff80f5c5f0558e7a0adc7502aChristian Maeder OntoClass | OntoObject | OntoPredicate deriving (Show, Eq)