Sources of Recognizable Symbols
An ontology can be designated as a symbol source for another ontology
Included ontologies are designated as symbol sources
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
- N is not shadowed in P, and
- S is recognized by name N in a symbol source of P ]