Hets - the Heterogeneous Tool Set
Copyright(c) C. Maeder DFKI GmbH 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (via Logic.Logic)
Safe HaskellNone

Comorphisms.ExtModal2OWL

Description

 

Documentation

data ExtModal2OWL Source #

Constructors

ExtModal2OWL 

Instances

Instances details
Show ExtModal2OWL Source # 
Instance details

Defined in Comorphisms.ExtModal2OWL

Methods

showsPrec :: Int -> ExtModal2OWL -> ShowS

show :: ExtModal2OWL -> String

showList :: [ExtModal2OWL] -> ShowS

Language ExtModal2OWL Source # 
Instance details

Defined in Comorphisms.ExtModal2OWL

Comorphism ExtModal2OWL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree Source # 
Instance details

Defined in Comorphisms.ExtModal2OWL