TITLE: | Oslo 2007-03 Minutes - ISO/IEC CD 19756 - Information technology - Topic Maps - Constraint Language (TMCL) |
SOURCE: | Mr. Graham Moore; Mr. Dmitry Bogachev; Ms. Mary Nishikawa |
PROJECT: | CD 19756: Information technology - Topic Maps - Constraint language (TMCL) |
PROJECT EDITOR: | Mr. Dmitry Bogachev; Mr. Graham Moore; Ms. Mary Nishikawa |
STATUS: | Minutes |
ACTION: | For Information |
DATE: | 2007-04-23 |
DISTRIBUTION: | SC34 and Liaisons |
REPLY TO: |
Dr. James David Mason (ISO/IEC JTC 1/SC 34 Secretariat - Standards Council of Canada) Crane Softwrights Ltd. Box 266, Kars, ON K0A-2E0 CANADA Telephone: +1 613 489-0999 Facsimile: +1 613 489-0995 Network: jtc1sc34@scc.ca http://www.jtc1sc34.org |
For ease of reference, these minutes contain the presentation made by the TMCL editors, Graham Moore and Dmitry Bogachev, as well as the comments and decisions made during the meeting. Comments and decisions from the meeting are shown in italic text.
constraint ctm:template grasrule($a) g1 isa gracons gracons iko constraint g1 interpretation "tmql expression" maybe interpretation octype is not enough, assert type and the other one.
djc isa disjointConstraint djc_includes_type( djc : djc_includes_type_constraintrole, person : jc_includes_type_typerole) djc_includes_type( djc : djc_includes_type_constraintrole, cow : jc_includes_type_typerole) djc_includes_type( djc : djc_includes_type_constraintrole, house : jc_includes_type_typerole) djc_includes_type( djc : djc_includes_type_constraintrole, plane : jc_includes_type_typerole) djc I "TMQL eval..." ---- possible implicit semantics for template. Currently used as scope identifier in ctm. djc isa....... djc_includes_type ( ...... @types : jc_includes_type_typerole) ----- disjointConstraint(person, cow) disjointConstraint(car, cow) disjointConstraint(house, cow) Lists. ctm:template expand($a, $b) tmcl:co tmcl_rule1 isa tmcl:constraint tmcl_rule1 ($a, $b)
- section prose topic type psi - topic_type is an instance of itself - constraint that anything used as a topic type that is not an instance of this is in error. TMCL Defines this: topic_type http://psi.isotopicmaps.org/metatypes/topic_type And to be interoperable you should use it like this: person isa topic_type OR ctm:template topicType($a, $b, ...) ttc1 isa tt_constraint $a isa topic_type OR Prose for declaration of intent as topic type topic_type http://psi.isotopicmaps.org/metatypes/topic_type ctm:template topicType(topic_type) any topics that are instances of topics that are not in this list are in violation. => this would be a real query. And same for Association Type, Role Type, Occurrence Type, Name Type, Name Scoping Type etc
-> they are just Topic Map statements, instanceOf, superclass-subclass
ctm:template disjointCostraint(atype, btype) => djc isa disjointconstraint djc_includes_type( djc : djc_includes_type_constraintrole, atype : jc_includes_type_typerole) djc_includes_type( djc : djc_includes_type_constraintrole, btype : jc_includes_type_typerole) djc constraint_eval_fn "blah blah $this ..." ctm:template disjointCostraint(atype, btype) => djc isa disjointconstraint djc_includes_type( djc : djc_includes_type_constraintrole, atype : jc_includes_type_typerole) djc_includes_type( djc : djc_includes_type_constraintrole, btype : jc_includes_type_typerole)