search

geneontology / annotation_extensions

Documentation, tickets & usage reports for annotation extension relations.
2 stars 2 forks source link

Constraints on part of #71

Open dosumis opened 8 years ago

dosumis commented 8 years ago

Objects can only be part of objects Processes can only be part of processes

We can't add this constraint using local domain and range or owl domain and range.

We could add constraints constraints using OWL. But showing these in Protein2GO will require on a suitable web-service infrastructure at Berkeley.

Alternatively, we could restrict AEs to two subrelations for occurrent and continuant part_of. These are already in RO, but need nicer names. Curators suggest: part_of_process and part_of_object. With this in place we can use OWL and local domain and range as normal.

cmungall commented 8 years ago

These should be encoded in RO as allValuesFrom axioms. The noctua reasoner which will run on the client side does a closed-world check on these.

(as well as the complete reasoning that will also happen on the server side)

cc @balhoff @kltm

dosumis commented 8 years ago

Protein2GO users would like these checks to be available to them. What are the chances that these checks (& reasoning more generally) could be rolled into a web-service that P2GO can access?

CC @tonysawfordebi @rachhuntley @RLovering