Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski Uni Magdeburg 2016
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@iws.cs.ovgu.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

OWL2.Medusa

Description

Convert an OWL2 ontology to Medusa data structure, see https://github.com/ConceptualBlending/monster_render_system

Synopsis

Documentation

data Medusa Source #

Constructors

Medusa 

Fields

medusa :: IRI -> (Sign, [Named Axiom]) -> Result Medusa Source #

given an OWL ontology (iri and theory), compute the medusa data

checkMapMaybe :: (a -> Maybe b) -> [a] -> Maybe b Source #

getClass :: [Axiom] -> IRI -> IRI Source #

get the class of an individual

getClassAux :: IRI -> Axiom -> Maybe IRI Source #

getMeetsFacts :: [Axiom] -> Set (IRI, IRI) -> IRI -> Set (IRI, IRI, IRI, IRI) Source #

getMeetsFactsAux :: [Axiom] -> Set (IRI, IRI) -> IRI -> Axiom -> Maybe (IRI, IRI, IRI, IRI) Source #

getFiatBoundaryFacts :: [Axiom] -> Set (IRI, IRI) -> IRI -> IRI -> Maybe (IRI, IRI, IRI, IRI) Source #

firstClass :: AnnotatedList ClassExpression -> Maybe IRI Source #

retrieve the first class of list, somewhat arbitrary