Dealing with Variation - Names
KR systems use different names for common terms
E.g., The most general class: Thing, Object, All, Any, …
Value restriction: Value-Type, Value-Class, Type, …
Applications must portably refer to these common terms
OKBC defines standard names
- :THING, :VALUE-TYPE, :INVERSE, :CARDINALITY, …
- If (coerce-to-frame :THING) returns a frame,
then it must have the standard meaning
- A KR system need not provide any standard names