Notation

• Data Model: link(FromObj,ToObj,Label)

atomic(Object,Value)

• Typed links (X is the head variable):

  • link(Y,X,c) & t (Y)
  • link(X,Y,c) & t (Y)
  • link(X,Y,c) & atomic(Y,Z)

j

j

Previous slide

Next slide

Back to first slide

View graphic version