| Copyright | (c) Domink Luecke, Uni Bremen 2009-2010 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | luecke@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | non-portable |
| Safe Haskell | None |
OWL2.ProveFact
Description
Fact++ prover for OWL
Documentation
factProver :: Prover Sign Axiom OWLMorphism ProfSub ProofTree
The Prover implementation. First runs the batch prover (with graphical feedback), then starts the GUI prover.
factConsChecker :: ConsChecker Sign Axiom ProfSub OWLMorphism ProofTree
The Cons-Checker implementation.