 |
 |
 |
 |
 |
The merge
of two ontologies is just their union plus
|
|
bridging
axioms that relate their symbols. (XML
|
|
|
namespaces
keep symbols separate.)
|
|
|
Projection
means translating a conclusion
in the
|
|
|
merged
vocabulary into terms that exclude some of
|
|
|
the
vocabularies in the merge.
|
|