Open brandonnodnarb opened 3 years ago
We're also noting that some classes, such as estuary
have axioms that can be reasoned over. Is there a preferred reasoner to use when checking logic?
The general guidance should also include an obsolescence workflow (xref #192)
Group discussion suggests using all reasoners (e.g., elk, pellet, Hermit, Fact).
Group discussion suggests that the solution to #192 be used in general to deal with obsolescence.
What is the criteria for a successful PR review?
From a more practical perspective, what are the actual steps?