search

geneontology / obographs

Basic and Advanced OBO Graphs: specification and reference implementation
63 stars 12 forks source link

GCIs in obographs #21

Open dosumis opened 7 years ago

dosumis commented 7 years ago

Any suggestions for how one might encode simple GCIs (e.g. R1 some C1 SubClassOf C2; R1 some C1 SubClassOf R2 some C2) in OBOgraphs?

Or is this a step too far?

cmungall commented 7 years ago

I think there should be a simple representation for simple existential GCIs (analogous to obo format) and a fall-through to a generic OWL axiom representation.

One option is to encode the existentials on the LHS as an edge property (as in obof). The danger is here that ignoring the edge properties gives the wrong semantics.

On 24 Jan 2017, at 3:53, David Osumi-Sutherland wrote:

Any suggestions for how one might encode simple GCIs (e.g. R1 some C1 SubClassOf C2; R1 some C1 SubClassOf R2 some C2) in OBOgraphs?

Or is this a step too far?

-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geneontology/obographs/issues/21