Hets - the Heterogeneous Tool Set

Copyright(c) Domink Luecke Uni Bremen 2009-2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable
Safe HaskellNone

OWL2.ProveFact

Description

Fact++ prover for OWL

Synopsis

Documentation

factProver :: Prover Sign Axiom OWLMorphism ProfSub ProofTree Source #

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