More on tracking contradictions: Optical telescope example

Gallery
Tutorial
Click on the image to view it full size
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:

Up next
Notes
Snippets (quotes/extracts)
Visit also
Visit also (backlinks)
Related slides (includes other tutorials)
Related slides (backlinks, includes other tutorials)