| Copyright | (c) Heng Jiang Uni Bremen 2004-2008 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
OWL2.ProverState
Description
prover states for pellet and fact++
Synopsis
- data ProverState = ProverState {
- ontologySign :: Sign
- initialState :: [Named Axiom]
- owlProverState :: Sign -> [Named Axiom] -> [FreeDefMorphism Axiom OWLMorphism] -> ProverState
- insertOWLAxiom :: ProverState -> Named Axiom -> ProverState
- showOWLProblemS :: ProverState -> String
- showOWLProblem :: ProverState -> Named Axiom -> IO String
Documentation
data ProverState Source #
Constructors
| ProverState | |
Fields
| |
Instances
| Show ProverState Source # | |
Defined in OWL2.ProverState Methods showsPrec :: Int -> ProverState -> ShowS show :: ProverState -> String showList :: [ProverState] -> ShowS | |
Arguments
| :: Sign | |
| -> [Named Axiom] | |
| -> [FreeDefMorphism Axiom OWLMorphism] | freeness constraints |
| -> ProverState |
Arguments
| :: ProverState | prover state containing initial logical part |
| -> Named Axiom | goal to add |
| -> ProverState |
Inserts a named OWL2 axiom into the prover state.
Arguments
| :: ProverState | |
| -> String | formatted output |
Arguments
| :: ProverState | prover state containing initial logical part |
| -> Named Axiom | goal to print |
| -> IO String | formatted output of the goal |
Pretty printing OWL goal for pellet or fact++