| Copyright | (c) Mihai Codescu, and Uni Bremen 2009 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | mcodescu@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | non-portable |
| Safe Haskell | None |
OWL2.ColimSign
Description
OWL2 signature colimits, computed component-wise.
Documentation
signColimit :: Gr Sign (Int, OWLMorphism) -> (Sign, Map Int OWLMorphism)
getEntityTypeMap :: EntityType -> (Int, OWLMorphism) -> (Int, Map QName QName)
setEntityTypeMap :: EntityType -> Map QName QName -> Map Entity QName
getPrefixMap :: (Int, OWLMorphism) -> (Int, Map QName QName)