| Copyright | (c) Heng Jiang Uni Bremen 2004-2008 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | needs POSIX |
| Safe Haskell | None |
OWL2.ProvePellet
Description
Interface for the Pellet service, uses GUI.GenericATP. See http://www.w3.org/2004/OWL/ for details on OWL, and http://pellet.owldl.com/ for Pellet (version 2.0.0-rc6)
Synopsis
- runTimedPellet :: String -> FilePath -> String -> Maybe String -> Int -> IO (Maybe (Bool, String, String))
- pelletEnv :: String
- pelletProver :: Prover Sign Axiom OWLMorphism ProfSub ProofTree
- pelletConsChecker :: 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) |
pelletProver :: Prover Sign Axiom OWLMorphism ProfSub ProofTree Source #
The Prover implementation. First runs the batch prover (with graphical feedback), then starts the GUI prover.