Hets - the Heterogeneous Tool Set

Copyright(c) Felix Gabriel Mance
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerf.mance@jacobs-university.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

OWL2.Function

Description

Instances for some of the functions used in OWL 2

Synopsis

Documentation

class Function a where Source #

this class contains general functions which operate on the ontology document, such as prefix renaming, IRI expansion or Morphism mapping

Minimal complete definition

function

Methods

function :: Action -> AMap -> a -> a Source #

Instances

Function IRI Source # 

Methods

function :: Action -> AMap -> IRI -> IRI Source #

Function AnnotationValue Source # 
Function Annotation Source # 
Function ClassExpression Source # 
Function DataRange Source # 
Function ObjectPropertyExpression Source # 
Function Literal Source # 
Function Entity Source # 

Methods

function :: Action -> AMap -> Entity -> Entity Source #

Function PrefixMap Source # 
Function OntologyDocument Source # 
Function Ontology Source # 
Function Axiom Source # 

Methods

function :: Action -> AMap -> Axiom -> Axiom Source #

Function Frame Source # 

Methods

function :: Action -> AMap -> Frame -> Frame Source #

Function FrameBit Source # 
Function Fact Source # 

Methods

function :: Action -> AMap -> Fact -> Fact Source #

Function AnnFrameBit Source # 
Function ListFrameBit Source # 
Function Extended Source # 
Function Annotations Source # 
Function RawSymb Source # 
Function Sign Source # 

Methods

function :: Action -> AMap -> Sign -> Sign Source #

Function a => Function (AnnotatedList a) Source #

only for non-IRI AnnotatedLists

data Action Source #

Constructors

Rename 
Expand 

Instances

Eq Action Source # 

Methods

(==) :: Action -> Action -> Bool

(/=) :: Action -> Action -> Bool

Ord Action Source # 

Methods

compare :: Action -> Action -> Ordering

(<) :: Action -> Action -> Bool

(<=) :: Action -> Action -> Bool

(>) :: Action -> Action -> Bool

(>=) :: Action -> Action -> Bool

max :: Action -> Action -> Action

min :: Action -> Action -> Action

Show Action Source # 

Methods

showsPrec :: Int -> Action -> ShowS

show :: Action -> String

showList :: [Action] -> ShowS

type StringMap = Map String String Source #

data AMap Source #

Instances

Eq AMap Source # 

Methods

(==) :: AMap -> AMap -> Bool

(/=) :: AMap -> AMap -> Bool

Ord AMap Source # 

Methods

compare :: AMap -> AMap -> Ordering

(<) :: AMap -> AMap -> Bool

(<=) :: AMap -> AMap -> Bool

(>) :: AMap -> AMap -> Bool

(>=) :: AMap -> AMap -> Bool

max :: AMap -> AMap -> AMap

min :: AMap -> AMap -> AMap

Show AMap Source # 

Methods

showsPrec :: Int -> AMap -> ShowS

show :: AMap -> String

showList :: [AMap] -> ShowS

maybeDo :: Function a => Action -> AMap -> Maybe a -> Maybe a Source #

err :: t Source #

mapAnnList :: EntityType -> Action -> AMap -> AnnotatedList IRI -> AnnotatedList IRI Source #

only for IRI AnnotatedLists