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 Source #

The identity of the comorphism

Constructors

DMU2OWL2 

Instances

runOntoDMU :: String -> IO String Source #

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