Hets - the Heterogeneous Tool Set
Copyright(c) C. Maeder DFKI GmbH 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (via Logic.Logic)
Safe HaskellNone

OWL2.CreateOWL

Description

 

Documentation

createOWLTheory :: G_theory -> Result (Sign, [Named Axiom]) Source #