| 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.OWL22CASL
Description