{- |

Module : $Header$

Description : Instance of class Logic for DL

Copyright : (c) Dominik Luecke, Uni Bremen 2008

License : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt

Maintainer : luecke@informatik.uni-bremen.de

Stability : experimental

Portability : non-portable (imports Logic.Logic)

Instance of class Logic for a description logic

based on the Manchester syntax

-}

module DL.Logic_DL where

import Logic.Logic

import DL.ParseDL

import DL.AS

import Data.Set as Set()

import DL.ATC_DL()

import DL.StaticAnalysis

import DL.Sign

import Common.DocUtils

data DL = DL deriving (Show)

instance Language DL where

description _ =

"Description Logic DL\n"++

"This logic is designed to implement a human"++

"readable syntax that is similar to Manchester Syntax"

-- | Instance of Category for DL

instance Category

Sign -- sign

DLMorphism -- mor

where

dom mor = msource mor

cod mor = mtarget mor

comp = compDLmor

ide = idMor

legal_mor _ = False

-- | Instance of Sentences for DL

instance Sentences DL DLBasicItem Sign DLMorphism DLSymbol where

-- there is nothing to leave out

simplify_sen DL _ form = form

print_named _ = printAnnoted (pretty) . fromLabelledSen

map_sen DL = map_sentence

-- | Syntax of DL

instance Syntax DL DLBasic () () where

parse_basic_spec DL = Just csbsParse

parse_symb_items _ = Nothing

parse_symb_map_items _ = Nothing

-- | Instance of Logic for DL

instance Logic DL

() -- Sublogics

DLBasic -- basic_spec

DLBasicItem -- sentence

() -- symb_items

() -- symb_map_items

Sign -- sign

DLMorphism -- morphism

DLSymbol -- symbol

RawDLSymbol -- raw_symbol

() -- proof_tree

where

stability DL = Experimental

-- | Static Analysis for DL

instance StaticAnalysis DL

DLBasic -- basic_spec

DLBasicItem -- sentence

() -- symb_items

() -- symb_map_items

Sign -- sign

DLMorphism -- morphism

DLSymbol -- symbol

RawDLSymbol -- raw_symbol

where

basic_analysis DL = Just basic_DL_analysis

empty_signature DL = emptyDLSig

inclusion DL = inclusionMor

symbol_to_raw DL = symbol2raw

signature_union DL = uniteSig

sign_to_basic_spec DL = sign2basic_spec