Shadowed Names
A name can be shadowed in an ontology
And therefore blocked from being recognized as the name of a symbol from another ontology
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
- N is not shadowed in P, and
- …