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 |
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.