5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder{- |

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederModule : $Header$

1a6464613c59e35072b90ca296ae402cbe956144Christian MaederDescription : Comorphism from OWL 1.1 to CASL_Dl

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCopyright : (c) Uni Bremen 2007

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLicense : similar to LGPL, see HetCATS/LICENSE.txt

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMaintainer : luecke@informatik.uni-bremen.de

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederStability : provisional

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPortability : non-portable (via Logic.Logic)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedera not yet implemented comorphism

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder-}

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedermodule Comorphisms.OWL2CASL_DL where

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder

b9625461755578f3eed04676d42a63fd2caebd0cChristian Maederimport Logic.Logic

b9625461755578f3eed04676d42a63fd2caebd0cChristian Maederimport Logic.Comorphism

09a67ca9b5cdf09e06470d4c965484783e2963f4Christian Maeder

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder--OWL = domain

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederimport OWL.Logic_OWL11

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederimport OWL.AS

d67a33b40578beef2e255a274f89bb9c34aaf056Christian Maederimport OWL.Sign as OS

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder--CASL_DL = codomain

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckersimport CASL_DL.Logic_CASL_DL

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederimport CASL_DL.AS_CASL_DL

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederimport CASL_DL.StatAna -- DLSign

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederimport CASL.AS_Basic_CASL

caf544dc9b8f02e05e37786681153f5660e67f64Martin Kühlimport CASL.Sign

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederimport CASL.Morphism

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederimport CASL_DL.Sublogics

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdata OWL2CASL_DL = OWL2CASL_DL deriving Show

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederinstance Language OWL2CASL_DL

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederinstance Comorphism

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder OWL2CASL_DL -- comorphism

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder OWL11 -- lid domain

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder () -- sublogics domain

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder OntologyFile -- Basic spec domain

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers Sentence -- sentence domain

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder () -- symbol items domain

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder () -- symbol map items domain

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers OS.Sign -- signature domain

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder OWL11_Morphism -- morphism domain

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder () -- symbol domain

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder () -- rawsymbol domain

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder ATP_ProofTree -- proof tree codomain

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder CASL_DL -- lid codomain

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder CASL_DL_SL -- sublogics codomain

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder DL_BASIC_SPEC -- Basic spec codomain

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder DLFORMULA -- sentence codomain

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder SYMB_ITEMS -- symbol items codomain

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers SYMB_MAP_ITEMS -- symbol map items codomain

ebe517300051f765f2ed856a789dd5613d681ab0Klaus Luettich DLSign -- signature codomain

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers DLMor -- morphism codomain

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder Symbol -- symbol codomain

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder RawSymbol -- rawsymbol codomain

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder Q_ProofTree -- proof tree domain

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder where

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder sourceLogic OWL2CASL_DL = OWL11

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder sourceSublogic OWL2CASL_DL = ()

ebe517300051f765f2ed856a789dd5613d681ab0Klaus Luettich targetLogic OWL2CASL_DL = CASL_DL

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers mapSublogic OWL2CASL_DL _ = Just $ SROIQ

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers map_theory OWL2CASL_DL = error "map_theory OWL2CASL_DL"

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder map_morphism OWL2CASL_DL = error "map_morphism OWL2CASL_DL"

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder-- Primary concepts stay in OWL, but non-primary concepts cannot be

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder-- superconcepts of primary ones

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers