search

chenejac / VIVOTestMigration

0 stars 0 forks source link

VIVO-1057: Implement inverse property reasoning in the reasoner rather than the application #1039

Open chenejac opened 9 years ago

chenejac commented 9 years ago

Rebecca Younes (Migrated from VIVO-1057) said:

Not implementing this in the reasoner entails various complications, such as that described in VIVO-1056. Ontology edits that entail additional triples require the application to add them to the triplestore, rather than having the reasoner infer them.

chenejac commented 9 years ago

Brian Lowe said:

As I recall, this is one of the few things the ABox reasoner actually does. That is, given inverseOf(P, Q) in the TBox, the addition of P(x, y) to the ABox will yield Q(y, x) in the inference graph. Did this change?