Home Ontologies and Renaming
S is recognized by name N from perspective P if -
- P is the home ontology of S
Symbols can be renamed in an ontology
E.g., auto@A can be renamed to car in B
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