Hets - the Heterogeneous Tool Set

Copyright(c) Dominik Luecke, 2008
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable
Safe HaskellNone

OWL2.Conservativity

Description

This module implements conservativity checks for OWL 2.0 based on the the syntactic locality checker written in Java from the OWL-Api.

Synopsis

Documentation

localityJar :: String

conserCheck

Arguments

:: String

Conser type

-> (Sign, [Named Axiom])

Initial sign and formulas

-> OWLMorphism

morphism between specs

-> [Named Axiom]

Formulas of extended spec

-> IO (Result (Conservativity, [Axiom])) 

Conservativity Check for Propositional Logic