Recognizing Symbols by Name
Symbol references during input and output –
- Are made from the perspective of an ontology
- The perspective can be included in a reference
S@A is called a fully qualified reference
Need ways of referring to symbols by name
Symbols are recognized by name from a perspective
if the name is unambiguous from the perspective
Under what conditions is a symbol recognized by name?