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.OWL22CommonLogic

Description

a comorphism from OWL2 to CommonLogic

Documentation

data OWL22CommonLogic Source #

Constructors

OWL22CommonLogic 

Instances

Show OWL22CommonLogic Source # 

Methods

showsPrec :: Int -> OWL22CommonLogic -> ShowS

show :: OWL22CommonLogic -> String

showList :: [OWL22CommonLogic] -> ShowS

Language OWL22CommonLogic Source # 
Comorphism OWL22CommonLogic OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree Source #