Using Shadowing to Prevent Name Conflicts
Consider -
- Two ontologies A and B
- A symbol that is recognized by name N in A
Ontolingua automatically shadows N in A when:
- A symbol is defined that would be recognized by name N in A, or
- A symbol is renamed to N in A, or
- [ B becomes a symbol source for A, and
- There is some other symbol that is recognized by name N in B]