Hets - the Heterogeneous Tool Set

Copyright(c) Klaus Luettich, Uni Bremen 2004
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

CASL_DL.Sign

Description

Signatures for DL logics, as extension of CASL signatures.

Documentation

data CASL_DLSign

Constructors

CASL_DLSign 

Fields

annoProperties :: Map SIMPLE_ID PropertyType
 
annoPropertySens :: [AnnoAppl]
 

Instances

data PropertyType

Constructors

AnnoProperty 
OntoProperty 

Instances

data AnnoAppl

Constructors

AnnoAppl SIMPLE_ID Id AnnoLiteral 

Instances

data AnnoLiteral

Constructors

AL_Term (TERM DL_FORMULA) 
AL_Id Id 

Instances

emptyCASL_DLSign :: CASL_DLSign

addCASL_DLSign :: CASL_DLSign -> CASL_DLSign -> CASL_DLSign

throwAnnoError :: String -> SIMPLE_ID -> PropertyType -> PropertyType -> PropertyType

diffCASL_DLSign :: CASL_DLSign -> CASL_DLSign -> CASL_DLSign

isSubCASL_DLSign :: CASL_DLSign -> CASL_DLSign -> Bool

isSublistOf :: Eq a => [a] -> [a] -> Bool