Closed syphax-bouazzouni closed 10 months ago
Will enforce that for the property p, if we have A p B then B p A need to be true
p
A p B
B p A
implemented in https://github.com/ontoportal-lirmm/goo/pull/27
Requirement
Will enforce that for the property
p
, if we haveA p B
thenB p A
need to be true