Hets - the Heterogeneous Tool Set

Copyright(c) Heng Jiang Uni Bremen 2004-2008
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

OWL2.ProverState

Description

prover states for pellet and fact++

Synopsis

Documentation

data ProverState Source #

Constructors

ProverState 

Instances

Show ProverState Source # 

Methods

showsPrec :: Int -> ProverState -> ShowS

show :: ProverState -> String

showList :: [ProverState] -> ShowS

owlProverState Source #

Arguments

:: Sign 
-> [Named Axiom] 
-> [FreeDefMorphism Axiom OWLMorphism]

freeness constraints

-> ProverState 

insertOWLAxiom Source #

Arguments

:: ProverState

prover state containing initial logical part

-> Named Axiom

goal to add

-> ProverState 

Inserts a named OWL2 axiom into the prover state.

showOWLProblemS Source #

Arguments

:: ProverState 
-> String

formatted output

showOWLProblem Source #

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