sweet icon indicating copy to clipboard operation
sweet copied to clipboard

[FEATURE] please add "How to" review section to wiki

Open brandonnodnarb opened this issue 4 years ago • 4 comments

What is the criteria for a successful PR review?
From a more practical perspective, what are the actual steps?

brandonnodnarb avatar Mar 08 '21 21:03 brandonnodnarb

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?

pbuttigieg avatar Mar 08 '21 21:03 pbuttigieg

The general guidance should also include an obsolescence workflow (xref #192)

pbuttigieg avatar Mar 08 '21 21:03 pbuttigieg

Group discussion suggests using all reasoners (e.g., elk, pellet, Hermit, Fact).

rduerr avatar Mar 08 '21 21:03 rduerr

Group discussion suggests that the solution to #192 be used in general to deal with obsolescence.

rduerr avatar Mar 08 '21 21:03 rduerr