Hets - the Heterogeneous Tool Set

Copyright(c) Heng Jiang, Uni Bremen 2004-2008
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityneeds POSIX
Safe HaskellNone

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

Documentation

runTimedPellet

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)

pelletJar :: String

pelletEnv :: String

pelletProver :: Prover Sign Axiom OWLMorphism ProfSub ProofTree

The Prover implementation. First runs the batch prover (with graphical feedback), then starts the GUI prover.

pelletEL :: Prover Sign Axiom OWLMorphism ProfSub ProofTree

pelletConsChecker :: ConsChecker Sign Axiom ProfSub OWLMorphism ProofTree