Need TM-checking tool

[mmccool]

A CLI tool like

    check-model {TD}.tm.jsonld output.csv >&2 errors.log

that pulls in the TMs referenced by the TD, and recursively checks them. This could be implemented by generating a custom JSON Schema from a TM, and should check as many assertions as possible in the spec. Output should be a CSV file that relates to all the named assertions in the spec.

Should check "type" and "extends" relation types in links.

Note: currently the edi{TD}or tool can do this, but it needs to be run manually (using a GUI), and tests only if the terms are used. Perhaps we could extend this to be able to run it on the command line.

[mmccool]

Is this done now? The Assertion tester should have been updated by now... According to @egekorkan, not quite yet.

[egekorkan]

@FadySalama is adding some more assertions to eclipse-thingweb/playground#235 but it is almost done

[egekorkan]

We have a checker but does not resolve links etc.

[egekorkan]

Also see eclipse-thingweb/playground#364 that will do the actual TM validation