Feature: Implement new validators - Githubissues

ontoportal-lirmm / goo

Graph Oriented Objects (GOO) for Ruby. A RDF/SPARQL based ORM.

http://ncbo.github.io/goo/

Other

0 stars 4 forks source link

Feature: Implement new validators #27

Closed syphax-bouazzouni closed 1 year ago

syphax-bouazzouni commented 1 year ago

Context

See https://github.com/agroportal/project-management/issues/393

Changes

Add symmetric validator (810771a1c550ba765baef6ee0b7065a67f32e749)
```
p is symmetric enforce: A p B -> B p A
```
Add distinct_of validator (05bb6cbafb727ea6fc1990c4440f5927f9ef9f76)

p1 distinct_of p2 enforce: A p1 B ^ A p2 C -> B <> C

Add superior_equla_to validator (5cd980d6a7014975a95d893fa32cdb5209f17859)

p1 superior_equla_to p2 enforce: A p1 B ^ A p2 C -> C <= B

Add inverse_of validator (9ea0be87010b734d363d0c891ed73eedae518d97)
```
p1 inverse_of p2 enforce: A p1 B  -> B p2 A
```