4.2 Arcs

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

[C1]-R->[C2]

and

[C2]<-R-[C1]

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

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