Tags and keywords
This slide offers another example of the following approach:
The following text from Wikipedia is offered as a description of all optical telescopes, but in fact only applies well to Keplerian reflector style telescopes:
The modeller decides that last text extract is contradicted by the following more accurate qualifying text:
The claimed contradiction is again recorded using tagged values for contradicts
and contradictedBy
on the apparently contradictory Snippets.
This approach is robust, but it is quite verbose (although there is no need to display the verbose tagged values in every diagram). It is also as not as easily queried or traced as a first class Relationship. Hopefully SysMLv2 will help address this: