4.2 Arcs

There is not much to say about arcs in Prolog+CG. There are only two possiblities:




both have the same interpretation: C1 has an R which is a C2. Or, equivalently, C2 is an R of C1.

Note that:

  • there is no arrow-head on the arc going to the relation,
  • only on the arc going from the relation.


Next, we look at concepts in detail.

PrevLite: 4.1.3 Summary
NextLite: 4.3 Concepts

Prev: 4.1.3 Summary
Up: 4 CG syntax
Next: 4.3 Concepts