| Copyright | (c) Francisc-Nicolae Bungiu, Felix Gabriel Mance |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | f.bungiu@jacobs-university.de |
| Stability | provisional |
| Portability | non-portable (via Logic.Logic) |
| Safe Haskell | None |
OWL2.OWL22CommonLogic
Description
a comorphism from OWL2 to CommonLogic
Documentation
data OWL22CommonLogic
Constructors
| OWL22CommonLogic |