this cures a reasoner-shex odd interaction

geneontology / go-shapes

Schema for Gene Ontology Causal Activity Models defined using RDF Shapes

2 stars 0 forks source link

this cures a reasoner-shex odd interaction #174

Closed goodb closed 4 years ago

goodb commented 4 years ago

Fixes https://github.com/geneontology/go-shapes/issues/173 Basically, the reasoner infers that more than one of the types of a given object (typically an enabler) are InformationBiomacromolecules. We need to allow that to happen by opening up the cardinality on the constraint with the addition of +. a @ +;

ericprud commented 4 years ago

If folks are ready to integrate ShEx into a reasoner, I'm excited to help and to see what expressivity requirements would come out of it.

goodb commented 4 years ago

@ericprud though I think @balhoff would be excited about a project like that, its not on our near-term radar as far as I know.

We are using the technologies hand in hand here though. Our shex schema validation is dependent on the addition of triples inferred by an OWL reasoner prior to validation. Without that step, nothing works in our system.. So perhaps we will be a good test case at some point in the future.