Private and Public Symbols
A symbol can be designated as private
And therefore not recognizable in other ontologies
S is recognized by name N from perspective P if -
- P is the home ontology of S, or
- S has been renamed to N in P, or
- [ S is a public symbol, and
- …
Symbols are assumed by default to be public