スライド 2 / 2
ノート :
We can design ontology of this block world corresponding to each of the two conceptualizations like this. It is roughly a hierarchy of things with axioms. Definitions of each concept and relation is omitted here. An example of an axiom is above(X,Z):-on(X,Y), on(Y,Z). There are many more axioms to represent constraints among the concepts and relations.