| Copyright | (c) Till Mossakowski Uni Magdeburg 2016 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | till@iws.cs.ovgu.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe |
OWL2.Medusa
Description
Convert an OWL2 ontology to Medusa data structure, see https://github.com/ConceptualBlending/monster_render_system
Synopsis
- data Medusa = Medusa {}
- medusa :: IRI -> (Sign, [Named Axiom]) -> Result Medusa
- checkMapMaybe :: (a -> Maybe b) -> [a] -> Maybe b
- getClass :: [Axiom] -> IRI -> IRI
- getMeetsFacts :: [Axiom] -> Set (IRI, IRI) -> IRI -> Set (IRI, IRI, IRI, IRI)
- getMeetsFactsAux :: [Axiom] -> Set (IRI, IRI) -> IRI -> Axiom -> Maybe (IRI, IRI, IRI, IRI)
- getFiatBoundaryFacts :: [Axiom] -> Set (IRI, IRI) -> IRI -> IRI -> Maybe (IRI, IRI, IRI, IRI)
- getFiatBoundaryFactsAux :: IRI -> Axiom -> Maybe IRI
- firstClass :: AnnotatedList ClassExpression -> Maybe IRI
Documentation
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 #
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