Compact validation rules and other updates

SynBioDex / SBOL-specification

The Synthetic Biology Open Language (SBOL)

http://sbolstandard.org

13 stars 9 forks source link

Compact validation rules and other updates #424

Closed jakebeal closed 3 years ago

jakebeal commented 3 years ago

Refactor validation rules to consolidate property, cardinality, and type constraints into compact tables and four meta-rules. Completed for all SBOL classes, not yet done for PROV and OM.

Also adding missing rule logic and correct a number of minor errors encountered.

jakebeal commented 3 years ago

@bbartley I've added responses for all your queries; please let me know if it's OK to proceed with merge.