Table of Contents
Introduction to Frame Languages
Frame Languages
Example Class-Subclass Taxonomy
Example Class Frame
Example Instance Frame
Frames and Own Slots
Own Facets
Classes and Instances
Subclass and Superclass
Class Frames and Template Slots
Example Class Frame and Instance
Template Facets
Example Class Frame and Instance
Value-Type Facet
Example Class Frame and Instance
Example Value-Type Inferences
Cardinality Facets
Example Class Frame and Instance
Axioms for Slot-Cardinality
Axioms for Min- and Max- Cardinality
Example Cardinality Inferences
Inverse Facet
Example Class Frame and Instance
Slot Chains
Example Class Frame and Instance
Decompositions
Decompositions
|