| Copyright | (c) Dominik Luecke 2008 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | luecke@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | non-portable |
| Safe Haskell | None |
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
- localityJar :: String
- conserCheck :: String -> (Sign, [Named Axiom]) -> OWLMorphism -> [Named Axiom] -> IO (Result (Conservativity, [Axiom]))
Documentation
localityJar :: String Source #
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