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.