Expressing compositional relationships in the SBOL ontology

[bbartley]

The SBOL data model includes parent-child compositional relationships that cannot be expressed using ordinary OWL. For this reason we have introduced a specialized property type in https://github.com/SynBioDex/sbol_factory that allows us to express these types of properties.

sbol:CompositionalProperty rdfs:subPropertyOf owl:ObjectProperty .

What do you think about adopting this convention for the SBOL3 ontology?

[jakebeal]

Suggestion adapted from SynBioDex/sbol_factory#5:

Change from using owl:FunctionalProperty to using sbol:CompositionalObjectProjerty, which will be a subclass of owl:ObjectProperty.

[rpgoldman]

Suggest we adopt either comprises or hasPart -- your choice which is better.

Also suggest we have a directly modifier so we get, e.g., directlyComprises.

Then directlyComprises would not be transitive, but it would be a subPropertyOf comprises, and comprises would be transitive (or, of course, the same for hasPart).

See also SynBioDex/sbol_factory#5