| Copyright | (c) Heng Jiang Uni Bremen 2004-2008 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | rick.adamy@ovgu.de |
| Stability | provisional |
| Portability | needs POSIX |
| Safe Haskell | None |
OWL2.ProveHermit
Description
Interface for the Hermit Reasoner, uses GUI.GenericATP. See http://www.w3.org/2004/OWL/ for details on OWL, and http://www.hermit-reasoner.com for Hermit
Synopsis
- runTimedHermit :: String -> FilePath -> String -> Maybe String -> Int -> IO (Maybe (Bool, String, String))
- hermitJar :: String
- hermitEnv :: String
- hermitProver :: Prover Sign Axiom OWLMorphism ProfSub ProofTree
- hermitConsChecker :: ConsChecker Sign Axiom ProfSub OWLMorphism ProofTree
Documentation
Arguments
| :: String | pellet subcommand |
| -> FilePath | basename of problem file |
| -> String | problem content |
| -> Maybe String | entail content |
| -> Int | time limit in seconds |
| -> IO (Maybe (Bool, String, String)) | timeout or (success, stdout, stderr) |
hermitProver :: Prover Sign Axiom OWLMorphism ProfSub ProofTree Source #
The Prover implementation. First runs the batch prover (with graphical feedback), then starts the GUI prover.