3.1.7 Summary

General rules

In Prolog+CG, we represent supertypes and subtypes as follows:

supertype > subtype, subtype,
                     ..., subtype.

This rule is then repeated for each type that has subtypes.

Other rules

Next

Next, we look at how to make a catalog of individuals in Prolog+CG.


PrevLite: 3.1.6 Further rules
NextLite: 3.2 Concept type instances in Prolog+CG

Prev: 3.1.6 Further rules
Up: 3.1 Concept types and type-hierarchies in Prolog+CG
Next: 3.2 Concept type instances in Prolog+CG