Re: Proposed response to Golbeck regarding imports issue

[snip]

> >"If an ontology imports another ontology then it virtually includes the
> >meaning of the imported ontology."

Couldn't we say something like "If ontology A imports ontology B, then
the semantics (meanings if you prefer) of terms in A are exactly the
same as they would be if all of the statements in B (including further
imports statements) were included in A".

Ian