Hets - the Heterogeneous Tool Set
LicenseGPLv2 or higher, see LICENSE.txt
Stabilityexperimental
Portabilityportable
Safe HaskellNone

NeSyPatterns.Analysis

Description

Basic and static analysis for propositional logic

Ref. http://en.wikipedia.org/wiki/NeSyPatterns_logic

Synopsis

Documentation

mkStatSymbItems :: Sign -> [SYMB_ITEMS] -> Result [Symbol] Source #

Retrieve raw symbols

mkStatSymbMapItem :: Sign -> Maybe Sign -> [SYMB_MAP_ITEMS] -> Result (Map Symbol Symbol) Source #

Static analysis for symbol maps

inducedFromMorphism :: Map Symbol Symbol -> Sign -> Result Morphism Source #

Induce a signature morphism from a source signature and a raw symbol map

inducedFromToMorphism :: Map Symbol Symbol -> ExtSign Sign Symbol -> ExtSign Sign Symbol -> Result Morphism Source #

Induce a signature morphism from a source signature and a raw symbol map

subClassRelation :: [Axiom] -> Relation IRI IRI Source #

Retrieves a relation of simple classes from a set of axioms. If (a SubClassOf b) then (a ~ b)