ExtModal2OWL.hs revision 1dfd1687e9ee6a45e2cb5268a701ead79c1c1f79
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder{-# LANGUAGE MultiParamTypeClasses, TypeSynonymInstances, FlexibleInstances #-}
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder{- |
233c9bf946d6f3689b7901dfab3255300c873187Christian MaederModule : $Header$
233c9bf946d6f3689b7901dfab3255300c873187Christian MaederDescription : Comorphism from ExtModal to OWL2
233c9bf946d6f3689b7901dfab3255300c873187Christian MaederCopyright : (c) C. Maeder, DFKI GmbH 2012
233c9bf946d6f3689b7901dfab3255300c873187Christian MaederLicense : GPLv2 or higher, see LICENSE.txt
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder
233c9bf946d6f3689b7901dfab3255300c873187Christian MaederMaintainer : Christian.Maeder@dfki.de
233c9bf946d6f3689b7901dfab3255300c873187Christian MaederStability : provisional
233c9bf946d6f3689b7901dfab3255300c873187Christian MaederPortability : non-portable (via Logic.Logic)
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder-}
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder
233c9bf946d6f3689b7901dfab3255300c873187Christian Maedermodule Comorphisms.ExtModal2OWL where
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederimport Logic.Logic as Logic
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederimport Logic.Comorphism
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederimport Common.ProofTree
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder-- OWL = codomain
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederimport OWL2.Logic_OWL2
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederimport OWL2.MS
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederimport OWL2.AS
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederimport OWL2.ProfilesAndSublogics
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederimport OWL2.ManchesterPrint ()
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederimport OWL2.Morphism
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederimport OWL2.Symbols
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederimport OWL2.Sign as OS
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederimport OWL2.CASL2OWL
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder-- ExtModal = domain
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederimport ExtModal.Logic_ExtModal
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederimport ExtModal.AS_ExtModal
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederimport ExtModal.Sublogic
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederimport CASL.Sign
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederimport CASL.Morphism
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederimport CASL.AS_Basic_CASL
1dfd1687e9ee6a45e2cb5268a701ead79c1c1f79Christian Maederimport CASL.Sublogic
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederdata ExtModal2OWL = ExtModal2OWL deriving Show
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederinstance Language ExtModal2OWL
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder
233c9bf946d6f3689b7901dfab3255300c873187Christian Maederinstance Comorphism
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder ExtModal2OWL -- comorphism
1dfd1687e9ee6a45e2cb5268a701ead79c1c1f79Christian Maeder ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder OWL2 -- lid codomain
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder ProfSub -- sublogics codomain
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder OntologyDocument -- Basic spec codomain
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder Axiom -- sentence codomain
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder SymbItems -- symbol items codomain
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder SymbMapItems -- symbol map items codomain
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder OS.Sign -- signature codomain
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder OWLMorphism -- morphism codomain
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder Entity -- symbol codomain
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder RawSymb -- rawsymbol codomain
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder ProofTree -- proof tree codomain
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder where
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder sourceLogic ExtModal2OWL = ExtModal
1dfd1687e9ee6a45e2cb5268a701ead79c1c1f79Christian Maeder sourceSublogic ExtModal2OWL = mkTop maxSublogic
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder targetLogic ExtModal2OWL = OWL2
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder mapSublogic ExtModal2OWL _ = Just topS
233c9bf946d6f3689b7901dfab3255300c873187Christian Maeder map_theory ExtModal2OWL = mapTheory