Hets - the Heterogeneous Tool Set

Copyright(c) Dominik Luecke Uni Bremen 2008
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportabl
Safe HaskellNone

OWL2.Taxonomy

Description

Taxonomy extraction for OWL

Synopsis

Documentation

onto2Tax :: TaxoGraphKind -> MMiSSOntology -> Sign -> [Named Axiom] -> Result MMiSSOntology Source #

Derivation of an Taxonomy for OWL