ConsistencyCheckAttempt
An attempt to check consistency of an OMS
Implements
Fields
action (
Action!)
Information about the (to be) performed action
consistencyStatus (
ConsistencyStatus!)
The consistency status of this ConsistencyCheckAttempt
generatedAxioms (
[GeneratedAxiom!]!)
Axioms that have been generated during reasoning
id (
Int!)
The ID of this ReasoningAttempt
number (
Int!)
The number of this ReasoningAttempt
oms (
OMS!)
The OMS of interest
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