ReasoningAttempt
An attempt to prove a conjecture or check consistency of an OMS
Implemented by
Fields
action (
Action!)
Information about the (to be) performed action
generatedAxioms (
[GeneratedAxiom!]!)
Axioms that have been generated during reasoning
id (
Int!)
The ID of this ReasoningAttempt
number (
Int!)
The number of this ReasoningAttempt
reasonerConfiguration (
ReasonerConfiguration!)
The used ReasonerConfiguration
reasonerOutput (
ReasonerOutput)
The output of the Reasoner
timeTaken (
Int)
The time it took to run the reasoner
usedReasoner (
Reasoner!)
The used Reasoner