Hets - the Heterogeneous Tool Set

Copyright(c) Dominik Luecke and Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityexperimental
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.RelScheme2CASL

Description

The translating comorphism from DL to CASL_DL basically this is an identity comorphism from SROIQ(D) to SROIQ(D)

Documentation

data RelScheme2CASL Source #

Constructors

RelScheme2CASL 

Instances

Show RelScheme2CASL Source # 

Methods

showsPrec :: Int -> RelScheme2CASL -> ShowS

show :: RelScheme2CASL -> String

showList :: [RelScheme2CASL] -> ShowS

Language RelScheme2CASL Source # 
Comorphism RelScheme2CASL RelScheme () RSScheme Sentence () () Sign RSMorphism RSSymbol RSRawSymbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source #