Listed below are some brief definitions of important concepts we'll use in this chapter.
Topic map templates: the ontology part of a map containing topics that are candidates for classes or scopes
Class hierarchies: the super- and subclass associations of a map
Association properties: mathematically defined properties for binary associations, like transitivity
Inference rules: the rules that define the possible deduction of knowledge not explicitly coded
Constraints: constraining conditions that support guided editing and semantic validation of topic maps
The sum of the listed concepts plus the superclass–subclass concept—specified in XTM 1.0 for the definition of class hierarchies—results in what ...