Hets - the Heterogeneous Tool Set
Copyright(c) Heng Jiang Uni Bremen 2004-2008
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerrick.adamy@ovgu.de
Stabilityprovisional
Portabilityneeds POSIX
Safe HaskellNone

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

Documentation

runTimedHermit Source #

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)

hermitJar :: String Source #

hermitEnv :: String Source #

hermitProver :: Prover Sign Axiom OWLMorphism ProfSub ProofTree Source #

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