Skip to content

Commit 55f782e

Browse files
authored
Update StandardizationGuidelines.md
1 parent abe8961 commit 55f782e

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

docs/StandardizationGuidelines.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@ title: Ontology Standardization Guidelines
3030
- LIST OTHERS HERE; Also check what should be the 'official' or 'primary' release; that is, the one indicated by ONT.owl
3131
- (ACCEPTED?) Every ontology SHOULD provide a 'base' release (from [#482](https://github.com/OBOFoundry/OBOFoundry.github.io/issues/482))
3232
- (ACCEPTED?) Every ontology primary release (an OWL file) MUST be **logically consistent** (from [#482](https://github.com/OBOFoundry/OBOFoundry.github.io/issues/482))
33-
- This means there MUST NOT be contradictory statements revealed by reasoning
33+
- This means (a) there MUST NOT be contradictory statements revealed by reasoning; (b) there MUST NOT be any unsatisfiable classes; and (c) there MUST NOT be any circular definitions.
3434

3535
### Social
3636

0 commit comments

Comments
 (0)