eMoflon / emoflon-neo

A Neo4j-based implementation of eMoflon
Eclipse Public License 2.0
6 stars 2 forks source link

[Validation] Values of attribute conditions #176

Closed anthonyanjorin closed 5 years ago

anthonyanjorin commented 5 years ago

Consider the following attribute conditions:

  1. a::x and
  2. b::-e->c::y

Such conditions should only be allowed (in green or black nodes in rules or triple rules or patterns, wherever), if the node a (respectively the edge e) is black.