| Copyright | (c) C. Maeder, DFKI GmbH 2012 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | non-portable (via Logic.Logic) |
| Safe Haskell | None |
Comorphisms.ExtModal2OWL
Description
Documentation
data ExtModal2OWL
Constructors
| ExtModal2OWL |