Hets - the Heterogeneous Tool Set

Copyright(c) Mihai Codescu and Uni Bremen 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainermcodescu@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable
Safe HaskellNone

OWL2.ColimSign

Description

OWL2 signature colimits, computed component-wise.

Documentation

getPrefixMap :: (Int, OWLMorphism) -> (Int, Map IRI IRI) Source #

toQName :: PrefixMap -> Map IRI String Source #