Hets - the Heterogeneous Tool Set

Copyright(c) Francisc-Nicolae Bungiu, Felix Gabriel Mance
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerf.bungiu@jacobs-university.de
Stabilityprovisional
Portabilitynon-portable (via Logic.Logic)
Safe HaskellNone

OWL2.OWL22CASL

Description

 

Documentation