Copyright	(c) Dominik Luecke and Uni Bremen 2007
License	GPLv2 or higher, see LICENSE.txt
Maintainer	luecke@informatik.uni-bremen.de
Stability	experimental
Portability	non-portable (imports Logic.Logic)
Safe Haskell	None

Comorphisms.RelScheme2CASL

Description

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

Documentation

Constructors

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