GCIs in obographs

[dosumis]

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]

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