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

Methods

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

Instances

Instances details
Function IRI Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function PrefixMap Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function Ontology Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function PrefixDeclaration Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function OntologyDocument Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function DGEdgeAssertion Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function DGNodeAssertion Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function DGAtom Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function Atom Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function UnknownArg Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function DataArg Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function IndividualArg Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function Rule Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function Assertion Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function DataPropertyAxiom Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function SubObjectPropertyExpression Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function ObjectPropertyAxiom Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function ClassAxiom Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function Axiom Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function AnnotationSubject Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function AnnotationAxiom Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function AnnotationValue Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function Annotation Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function ClassExpression Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function DataRange Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function ObjectPropertyExpression Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function Literal Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function Entity Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function PrefixMap Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function Sign Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function RawSymb Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function a => Function [a] Source # 
Instance details

Defined in OWL2.Function

Methods

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

Function a => Function (Maybe a) Source # 
Instance details

Defined in OWL2.Function

Methods

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

data Action Source #

Constructors

Rename 
Expand 

Instances

Instances details
Eq Action Source # 
Instance details

Defined in OWL2.Function

Methods

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

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

Ord Action Source # 
Instance details

Defined in OWL2.Function

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 # 
Instance details

Defined in OWL2.Function

Methods

showsPrec :: Int -> Action -> ShowS

show :: Action -> String

showList :: [Action] -> ShowS

type StringMap = Map String String Source #

type MorphMap = Map Entity IRI Source #

data AMap Source #

Constructors

StringMap StringMap 
MorphMap MorphMap 

Instances

Instances details
Eq AMap Source # 
Instance details

Defined in OWL2.Function

Methods

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

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

Ord AMap Source # 
Instance details

Defined in OWL2.Function

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 # 
Instance details

Defined in OWL2.Function

Methods

showsPrec :: Int -> AMap -> ShowS

show :: AMap -> String

showList :: [AMap] -> ShowS

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

getIri :: EntityType -> IRI -> Map Entity IRI -> IRI Source #

cutWith :: EntityType -> Action -> AMap -> IRI -> IRI Source #

err :: t Source #