| 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.
- localityJar :: String
- conserCheck :: String -> (Sign, [Named Axiom]) -> OWLMorphism -> [Named Axiom] -> IO (Result (Conservativity, [Axiom]))