Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder, DFKI and Uni Bremen 2009
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

OWL2.DMU2OWL2

Description

translating DMU xml to OWL using OntoDMU.jar by Marco Franke from BIBA

Synopsis

Documentation

data DMU2OWL2

The identity of the comorphism

Constructors

DMU2OWL2 

Instances

mapTheory :: (Text, [Named ()]) -> Result (Sign, [Named Axiom])

runOntoDMU :: String -> IO String

readOWL :: Monad m => String -> m (Sign, [Named Axiom])