| Copyright | (c) Felix Gabriel Mance |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | f.mance@jacobs-university.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
OWL2.Function
Description
Instances for some of the functions used in OWL 2
- class Function a where
- data Action
- type StringMap = Map String String
- type MorphMap = Map Entity IRI
- data AMap
- maybeDo :: Function a => Action -> AMap -> Maybe a -> Maybe a
- getIri :: EntityType -> IRI -> Map Entity IRI -> IRI
- cutWith :: EntityType -> Action -> AMap -> IRI -> IRI
- err :: t
- mapAnnList :: EntityType -> Action -> AMap -> AnnotatedList IRI -> AnnotatedList IRI
Documentation
class Function a where
this class contains general functions which operate on the ontology document, such as prefix renaming, IRI expansion or Morphism mapping
Instances
err :: t
mapAnnList :: EntityType -> Action -> AMap -> AnnotatedList IRI -> AnnotatedList IRI
only for IRI AnnotatedLists