| 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) Source #
getEntityTypeMap :: EntityType -> (Int, OWLMorphism) -> (Int, Map IRI IRI) Source #
setEntityTypeMap :: EntityType -> Map IRI IRI -> Map Entity IRI Source #
getPrefixMap :: (Int, OWLMorphism) -> (Int, Map IRI IRI) Source #