source: trunk/src/anaToMia/GDL_Widgets/war/gdl_widgets/GDL_Ontology.tmcl.ctm

Last change on this file was 1033, checked in by lgiessmann, 13 years ago

added the GDL ontology defined with the TMCL vocabulary in the CTM syntax
File size: 24.2 KB
Line 
1%include  http://www.isotopicmaps.org/tmcl/templates.ctm
2%prefix  tmcl  http://psi.topicmaps.org/tmcl/
3%prefix  gdl  http://isidor.us/gdl/
4%prefix  gdlt  http://isidor.us/gdl/types/
5
6
7# Association types
8contains  gdl:contains  isa  tmcl:association-type;
9        has-role(containee, 1, 1);
10        has-role(container, 1, 1);
11        has-role(nth-element, 0, 1).
12
13position  gdl:position  isa  tmcl:association-type;
14        has-role(descriptor, 1, 1);
15        has-role(ancestor, 1, 1);
16        has-role(descendant, 1, 1).
17
18button-position  gdl:button-position  isa  tmcl:association-type;
19        has-role(action-button, 1, 1);
20        has-role(nth-element, 1, 1);
21        role-combination(nth-element, Nth-Element, action-button, Action-Button).
22
23view-binding  gdl:view-binding  isa  tmcl:association-type;
24        has-role(descriptor, 1, 1);
25        has-role(value-group, 1, 1);
26        role-combination(value-group, Value-Group, descriptor, Text);
27        role-combination(value-group, Value-Group, descriptor, List-Box);
28        role-combination(value-group, Value-Group, descriptor, Complex-Data);
29        role-combination(value-group, Value-Group, descriptor, Input-Button).
30        role-combination(value-group, Value-Group, descriptor, Action-Button);
31        role-combination(value-group, Value-Group, descriptor, Reference);
32        role-combination(value-group, Value-Group, descriptor, Title);
33        role-combination(value-group, Value-Group, descriptor, Info).
34
35tm-binding  gdl:tm-binding  isa  tmcl:association-type;
36        has-role(descriptor, 1, 1);
37        has-role(tm-construct, 0, 1);
38        has-role(hidden-value, 0, 1);
39        role-combination(tm-construct, tmcl:topic-name-constraint, descriptor, Unit);
40        role-combination(tm-construct, tmcl:variant-name-constraint, descriptor, Unit);
41        role-combination(tm-construct, tmcl:topic-occurrence-constraint, descriptor, Unit);
42        role-combination(tm-construct, tmcl:topic-type, descriptor, TM-Value);
43        role-combination(value-group, Value-Group, tm-construct, Datatype);
44        role-combination(value-group, Value-Group, tm-construct, Type);
45        role-combination(value-group, Value-Group, tm-construct, Variant-Name-Scope);
46        role-combination(value-group, Value-Group, tm-construct, Variant-Name-Reifier);
47        role-combination(value-group, Value-Group, tm-construct, Variant-Name-Identifiers);
48        role-combination(value-group, Value-Group, tm-construct, Role-Player);
49        role-combination(hidden-value, Hidden-Value, tm-construct, Datatype);
50        role-combination(hidden-value, Hidden-Value, tm-construct, Type);
51        role-combination(hidden-value, Hidden-Value, tm-construct, Variant-Name-Scope);
52        role-combination(hidden-value, Hidden-Value, tm-construct, Variant-Name-Reifier);
53        role-combination(hidden-value, Hidden-Value, tm-construct, Variant-Name-Identifiers);
54        role-combination(hidden-value, Hidden-Value, tm-construct, Role-Player)
55        role-combination(descriptor, Role-Player, tm-construct, tmcl:item-identifier-constraint);
56        role-combination(descriptor, Role-Player, tm-construct, tmcl:reifier-constraint);
57        role-combination(descriptor, Role-Player, tm-construct, tmcl:topic-role-constraint);
58        role-combination(descriptor, Variant-Name-Identifiers, tm-construct, tmcl:variant-name-constraint);
59        role-combination(descriptor, Datatype, tm-construct, tmcl:topic-occurrence-constraint);
60        role-combination(descriptor, Datatype, tm-construct, tmcl:variant-name-constraint);
61        role-combination(descriptor, Type, tm-construct, tmcl:topic-name-constraint);
62        role-combination(descriptor, Type, tm-construct, tmcl:association-role-constraint);
63        role-combination(descriptor, Type, tm-construct, tmcl:topic-role-constraint);
64        role-combination(descriptor, Type, tm-construct, tmcl:topic-occurrence-constraint);
65        role-combination(descriptor, Variant-Name-Scope, tm-construct, tmcl:variant-name-constraint);
66        role-combination(descriptor, Variant-Name-Reifier, tm-construct, tmcl:variant-name-constraint);
67        role-combination(value-group, Value-Group, tm-construct, tmcl:subject-identifier-constraint);
68        role-combination(value-group, Value-Group, tm-construct, tmcl:subject-locator-constraint);
69        role-combination(value-group, Value-Group, tm-construct, tmcl:item-identifier-constraint);
70        role-combination(value-group, Value-Group, tm-construct, tmcl:topic-name-constraint);
71        role-combination(value-group, Value-Group, tm-construct, tmcl:reifier-constraint);
72        role-combination(value-group, Value-Group, tm-construct, tmcl:variant-name-constraint);
73        role-combination(value-group, Value-Group, tm-construct, tmcl:topic-occurrence-constraint);
74        role-combination(value-group, Value-Group, tm-construct, tmcl:scope-constraint);
75        role-combination(hidden-value, Value-Group, tm-construct, tmcl:subject-identifier-constraint);
76        role-combination(hidden-value, Value-Group, tm-construct, tmcl:subject-locator-constraint);
77        role-combination(hidden-value, Value-Group, tm-construct, tmcl:item-identifier-constraint);
78        role-combination(hidden-value, Value-Group, tm-construct, tmcl:topic-name-constraint);
79        role-combination(hidden-value, Value-Group, tm-construct, tmcl:reifier-constraint);
80        role-combination(hidden-value, Value-Group, tm-construct, tmcl:variant-name-constraint);
81        role-combination(hidden-value, Value-Group, tm-construct, tmcl:topic-occurrence-constraint);
82        role-combination(hidden-value, Value-Group, tm-construct, tmcl:scope-constraint).
83
84topic-view-binding  gdl:topic-view-binding  isa  tmcl:association-type;
85        has-role(descriptor, 1, 1);
86        has-role(tm-value, 1, 1);
87        role-combination(tm-value, TM-Value, descriptor, Topic-View).
88
89
90display-by  gdl:display-by  isa  tmcl:association-type;
91        has-role(descriptor, 1, 1);
92        has-role(tm-construct, 1, 1);
93        role-combination(descriptor, TM-Value, tm-construct, tmcl:topic-name-constraint);
94        role-combination(descriptor, TM-Value, tm-construct, tmcl:item-identifier-constraint);
95        role-combination(descriptor, TM-Value, tm-construct, tmcl:subject-locator-constraint);
96        role-combination(descriptor, TM-Value, tm-construct, tmcl:subject-identifier-constraint);
97        role-combination(descriptor, Value-Group, tm-construct, tmcl:topic-name-constraint);
98        role-combination(descriptor, Value-Group, tm-construct, tmcl:item-identifier-constraint);
99        role-combination(descriptor, Value-Group, tm-construct, tmcl:subject-locator-constraint);
100        role-combination(descriptor, Value-Group, tm-construct, tmcl:subject-identifier-constraint).
101
102
103association-view-binding  gdl:association-view-binding  isa  tmcl:association-type;
104        has-role(descriptor, 1, 1);
105        has-role(tm-construct, 1, 1);
106        role-combination(descriptor, Association-View, tm-construct, tmcl:topic-role-constraint);
107        role-combination(descriptor, Association-View, tm-construct, tmcl:association-role-constraint).
108
109preferred-scope  gdl:preferred-scope  isa  tmcl:association-type;
110        has-role(tm-construct, 1, 1);
111        has-role(descriptor, 1, 1);
112        role-combination(tm-construct, tmcl:topic-type, descriptor, Value-Group);
113        role-combination(tm-construct, tmcl:topic-type, descriptor, TM-Value).
114
115value-binding  gdl:value-binding  isa  tmcl:association-type;
116        has-role(hidden-value, 1, 1);
117        has-role(value, 1, 1);
118        role-combination(value, Default-Value, hidden-value, Hidden-Value);
119        role-combination(value, Value, value-group, Value-Group).
120
121
122# Role types
123container  gdl:container  isa  tmcl:role-type.
124containee  gdl:containee  isa  tmcl:role-type.
125descriptor  gdl:descriptor  isa  tmcl:role-type.
126ancestor  gdl:ancestor  isa  tmcl:role-type.
127descendant  gdl:descendant  isa  tmcl:role-type.
128button-position  gdl:action-button  isa  tmcl:role-type.
129nth-element  gdl:nth-element  isa  tmcl:role-type.
130value-group  gdl:value-group  isa  tmcl:role-type.
131tm-construct  gdl:tm-construct  isa  tmcl:role-type.
132tm-value  gdl:tm-value  isa  tmcl:role-type.
133
134
135# The schema itself
136schema-name gdl:schema-name isa tmcl:name-type.
137
138Schema  gdlt:Schema  isa  tmcl:topic-type;
139        has-name(schema-name, 1, 1);
140        plays-role(container, contains, 0, *).
141
142
143# The abstract base topic type of all GDL topics
144Descriptor  gdlt:Descriptor isa tmcl:topic-type;
145        is-abstract().
146
147
148# The abstract base topic type of all visible elements modeled by GDL topics
149display  gdl:display  isa  tmcl:occurrence-type.
150id  gdl:id  isa  tmcl:occurrence-type.
151margin  gdl:margin  isa  tmcl:occurrence-type.
152margin-left  gdl:margin-left  isa  tmcl:occurrence-type.
153margin-top  gdl:margin-top  isa  tmcl:occurrence-type.
154margin-right  gdl:margin-right  isa  tmcl:occurrence-type.
155margin-bottom  gdl:margin-bottom  isa  tmcl:occurrence-type.
156border-color  gdl:border-color  isa  tmcl:occurrence-type.
157border-left-color  gdl:border-left-color  isa  tmcl:occurrence-type.
158border-top-color  gdl:border-top-color  isa  tmcl:occurrence-type.
159border-right-color  gdl:border-right-color  isa  tmcl:occurrence-type.
160border-bottom-color  gdl:border-bottom-color  isa  tmcl:occurrence-type.
161border-style  gdl:border-style  isa  tmcl:occurrence-type.
162border-left-style  gdl:border-left-style  isa  tmcl:occurrence-type.
163border-top-style  gdl:border-top-style  isa  tmcl:occurrence-type.
164border-right-style  gdl:border-right-style  isa  tmcl:occurrence-type.
165border-bottom-style  gdl:border-bottom-style  isa  tmcl:occurrence-type.
166border-width  gdl:border-width  isa  tmcl:occurrence-type.
167border-left-width  gdl:border-left-width  isa  tmcl:occurrence-type.
168border-top-width  gdl:border-top-width  isa  tmcl:occurrence-type.
169border-right-width  gdl:border-right-width  isa  tmcl:occurrence-type.
170border-bottom-width  gdl:border-bottom-width  isa  tmcl:occurrence-type.
171border-radius  gdl:border-radius  isa  tmcl:occurrence-type.
172border-bottom-left-radius  gdl:border-bottom-left-radius  isa  tmcl:occurrence-type.
173border-top-left-radius  gdl:border-top-left-radius  isa  tmcl:occurrence-type.
174border-top-right-radius  gdl:border-top-right-radius  isa  tmcl:occurrence-type.
175border-bottom-right-radius  gdl:border-bottom-right-radius  isa  tmcl:occurrence-type.
176padding  gdl:padding  isa  tmcl:occurrence-type.
177padding-left  gdl:padding-left  isa  tmcl:occurrence-type.
178padding-top  gdl:padding-top  isa  tmcl:occurrence-type.
179padding-right  gdl:padding-right  isa  tmcl:occurrence-type.
180padding-bottom  gdl:padding-bottom  isa  tmcl:occurrence-type.
181cursor  gdl:cursor  isa  tmcl:occurrence-type.
182z-index  gdl:z-index  isa  tmcl:occurrence-type.
183width  gdl:width  isa  tmcl:occurrence-type.
184min-width  gdl:min-width  isa  tmcl:occurrence-type.
185max-width  gdl:max-width  isa  tmcl:occurrence-type.
186height  gdl:height  isa  tmcl:occurrence-type.
187min-height  gdl:min-height  isa  tmcl:occurrence-type.
188max-height  gdl:max-height  isa  tmcl:occurrence-type.
189float  gdl:float  isa  tmcl:occurrence-type.
190clear  gdl:clear  isa  tmcl:occurrence-type.
191content-orientation  gdl:content-orientation  isa  tmcl:occurrence-type.
192background-color  gdl:background-color  isa  tmcl:occurrence-type.
193vertical-align  gdl:vertical-align  isa  tmcl:occurrence-type.
194
195VisibleObject  gdlt:VisibleObject  ako  Descriptor;
196        isa  tmcl:topic-type;
197        is-abstract();
198        has-occurrence(id, 1, 1);
199        has-occurrence(display, 0, 1);
200        has-occurrence(margin, 0, 1);
201        has-occurrence(margin-left, 0, 1);
202        has-occurrence(margin-top, 0, 1);
203        has-occurrence(margin-right, 0, 1);
204        has-occurrence(margin-bottom, 0, 1);
205        has-occurrence(border-color, 0, 1);
206        has-occurrence(border-left-color, 0, 1);
207        has-occurrence(border-top-color, 0, 1);
208        has-occurrence(border-right-color, 0, 1);
209        has-occurrence(border-bottom-color, 0, 1);
210        has-occurrence(border-style, 0, 1);
211        has-occurrence(border-left-style, 0, 1);
212        has-occurrence(border-top-style, 0, 1);
213        has-occurrence(border-right-style, 0, 1);
214        has-occurrence(border-bottom-style, 0, 1);
215        has-occurrence(border-width, 0, 1);
216        has-occurrence(border-left-width, 0, 1);
217        has-occurrence(border-top-width, 0, 1);
218        has-occurrence(border-right-width, 0, 1);
219        has-occurrence(border-bottom-width, 0, 1);
220        has-occurrence(border-radius, 0, 1);
221        has-occurrence(border-bottom-left-radius, 0, 1);
222        has-occurrence(border-top-left-radius, 0, 1);
223        has-occurrence(border-top-right-radius, 0, 1);
224        has-occurrence(border-bottom-right-radius, 0, 1);
225        has-occurrence(padding, 0, 1);
226        has-occurrence(padding-left, 0, 1);
227        has-occurrence(padding-top, 0, 1);
228        has-occurrence(padding-right, 0, 1);
229        has-occurrence(padding-bottom, 0, 1);
230        has-occurrence(cursor, 0, 1);
231        has-occurrence(z-index, 0, 1);
232        has-occurrence(width, 0, 1);
233        has-occurrence(min-width, 0, 1);
234        has-occurrence(max-width, 0, 1);
235        has-occurrence(height, 0, 1);
236        has-occurrence(min-height, 0, 1);
237        has-occurrence(max-height, 0, 1);
238        has-occurrence(float, 0, 1);
239        has-occurrence(clear, 0, 1);
240        has-occurrence(content-orientation, 0, 1);
241        has-occurrence(background-color, 0, 1);
242        has-occurrence(vertical-align, 0, 1);
243        plays-role(containee, contains, 1, *);
244        plays-role(descendant, position, 0, 1);
245        plays-role(ancestor, position, 0, 1);
246        plays-role(container, contains, 0, *).
247
248
249# The abstract base topic type of all textual elements modeled by GDL topics
250direction  gdl::direction  isa  tmcl:occurrence-type.
251text-align  gdl:text-align  isa  tmcl:occurrence-type.
252line-height  gdl:line-height  isa  tmcl:occurrence-type.
253text-decoration  gdl:text-decoration  isa  tmcl:occurrence-type.
254color  gdl:color  isa  tmcl:occurrence-type.
255font-family  gdl:font-family  isa  tmcl:occurrence-type.
256font-style  gdl:font-style  isa  tmcl:occurrence-type.
257font-size  gdl:font-size  isa  tmcl:occurrence-type.
258font-weight  gdl:font-weight  isa  tmcl:occurrence-type.
259letter-spacing  gdl:letter-spacing  isa  tmcl:occurrence-type.
260word-spacing  gdl:word-spacing  isa  tmcl:occurrence-type.
261
262TextObject  gdlt:TextObject  ako  VisibleObject;
263        isa  tmcl:topic-type;
264        is-abstract();
265        has-occurrence(direction, 0, 1);
266        has-occurrence(text-align, 0, 1);
267        has-occurrence(line-height, 0, 1);
268        has-occurrence(text-decoration, 0, 1);
269        has-occurrence(color, 0, 1);
270        has-occurrence(font-family, 0, 1);
271        has-occurrence(font-style, 0, 1);
272        has-occurrence(font-size, 0, 1);
273        has-occurrence(font-weight, 0, 1);
274        has-occurrence(letter-spacing, 0, 1);
275        has-occurrence(word-spacing, 0, 1).
276
277
278# The entire complex-data concept
279Complex-Data  gdlt:Complex-Data  ako  VisibleObject;
280        isa  tmcl:topic-type;
281        is-abstract();
282        plays-role(descriptor, view-binding, 1, 1).
283
284Image  gdlt:Image  ako Complex-Data;
285        isa  tmcl:topic-type.
286
287Video  gdl:Video ako Complex-Data;
288        isa  tmcl:topic-type.
289
290Audio  gdlt:Audio  ako Complex-Data;
291        isa  tmcl:topic-type.
292
293Time-Picker  gdlt:Time-Picker  ako Complex-Data;
294        isa  tmcl:topic-type.
295
296Date-Picker  gdlt:Date-Picker  ako Complex-Data;
297        isa  tmcl:topic-type.
298
299Date-Time-Picker  gdlt:Date-Time-Picker  ako Complex-Data;
300        isa  tmcl:topic-type.
301
302
303# The abstract base topic type of all buttons modeled by GDL topics
304Button  gdlt:Button  ako  TextObject;
305        isa  tmcl:topic-type;
306        is-abstract().
307
308
309# The input-button concept
310Input-Button  gdlt:Input-Button  ako  Button;
311        isa  tmcl:topic-type;
312        is-abstract();
313        plays-role(descriptor, view-binding, 1, 1).
314
315Radio-Button  gdlt:Radio-Button  ako  Input-Button;
316        isa  tmcl:topic-type.
317
318Check-Box  gdlt:Check-Box  ako  Input-Button;
319        isa  tmcl:topic-type.
320
321
322# The entire action-button concept
323Action-Button  gdlt:Action-Button  ako  Button;
324        isa  tmcl:topic-type;
325        plays-role(action-button, button-position, 0, 1);
326        plays-role(containee, contains, 0, 1);
327        plays-role(descriptor, view-binding, 0, 1).
328
329Validate-Button  gdlt:Validate-Button  ako  Action-Button;
330        isa  tmcl:topic-type.
331
332Commit-Button  gdlt:Commit-Button  ako  Action-Button;
333        isa  tmcl:topic-type.
334
335Delete-Button  gdlt:Delete-Button  ako  Action-Button;
336        isa  tmcl:topic-type.
337
338
339# The entire schema concept
340view-name gdl:view-name isa tmcl:name-type.
341
342View  gdlt:View  ako Visible-Object;
343        isa  tmcl:topic-type;
344        is-abstract();
345        has-name(view-name, 1, 1);
346        plays-role(containee, contains, 1, 1);
347        plays-role(container, contains, 0, *).
348
349Topic-View  gdlt:Topic-View  ako  View;
350        isa  tmcl:topic-type;
351        is-abstract();
352        plays-role(descriptor, topic-view-binding, 1, 1).
353
354Default-Topic-View  gdlt:Default-Topic-View  ako Topic-View;
355        isa  tmcl:topic-type;
356        is-abstract().
357
358Default-Creator-Topic-View  gdlt:Default-Creator-Topic-View  ako  Default-Topic-View;
359        isa  tmcl:topic-type.
360
361Default-Editor-Topic-View  gdlt::Default-Editor-Topic-View  ako  Default-Topic-View;
362        isa  tmcl:topic-type.
363
364Special-Topic-View  gdlt:Special-Topic-View  ako  Topic-View;
365        isa  tmcl:topic-type;
366        is-abstract().
367
368Special-Creator-Topic-View  gdlt:Special-Creator-Topic-View  ako  Special-Topic-View;
369        isa  tmcl:topic-type.
370
371Special-Editor-Topic-View  gdlt:Special-Editor-Topic-View  ako  Special-Editor-Topic-View;
372        isa  tmcl:topic-type;
373
374Association-View  gdlt:Association-View  ako View;
375        isa  tmcl:topic-type;
376        is-abstract();
377        plays-role(descriptor, association-view-binding, 2, 2).
378
379Creator-Association-view  gdlt:Creator-Association-View  ako  Association-View;
380        isa  tmcl:topic-type.
381
382Editor-Association-view  gdlt:Editor-Association-View  ako  Association-View;
383        isa  tmcl:topic-type;
384
385# The entire value concept
386Value  gdlt:Value  ako  Descriptor;
387        isa  tmcl:topic-type;
388        is-abstract();
389        plays-role(value, value-binding, 0, 1).
390
391fixed  gdl:fixed  isa  tmcl:occurrence-type.
392
393Default-Value  gdlt:Default-Value  ako  Value;
394        isa  tmcl:topic-type;
395        is-abstract();
396        has-occurrence(fixed, 0, 1);
397        plays-role(value, value-binding, 0, 1).
398
399literal-value  gdl:literal-value isa  tmcl:occurrence-type.
400
401Literal-Value  gdlt:Literal-Value  ako  Value;
402        isa  tmcl:topic-type;
403        has-occurrence(literal-value, 1, 1).
404
405Default-Literal-Value  gdlt:Default-Literal-Value  ako  Default-Value;
406        ako  Literal-Value;
407        isa  tmcl:topic-type.
408
409TM-Value  gdlt:TM-Value  ako  Value;
410        isa  tmcl:topic-type;
411        is-abstract();
412        plays-role(tm-value, topic-view-binding, 0, *);
413        plays-role(descriptor, display-by, 0, 1);
414        plays-role(descriptor, tm-binding, 1, 1);
415        plays-role(descriptor, preferred-scope, 0, 1).
416
417TM-Type-Value  gdlt:TM-Type-Value  ako TM-Value;
418        isa  tmcl:topic-type.
419
420TM-Single-Type-Value  gdlt:Single-Type-Value  ako TM-Value;
421        isa  tmcl:topic-type.
422
423TM-Multiple-Type-Value  gdlt::TM-Multiple-Type-Value  ako TM-Value;
424        isa  tmcl:topic-type.
425
426TM-Instance-Value  gdlt:TM-Instance-Value  ako TM-Value;
427        isa  tmcl:topic-type.
428
429Default-TM-Value  gdlt:Default-TM-Value  ako  Default-Value;
430        ako  TM-Value;
431        isa tmcl:topic-type;
432        is-abstract().
433
434Default-TM-Value-Type  gdlt:Default-TM-Value-Type  ako  Default-Value;
435        isa  tmcl:topic-type.
436
437Default-TM-Single-Type-Value  gdlt:Default-TM-Single-Type-Value  ako  Default-Value;
438        isa  tmcl:topic-type.
439
440Default-TM-Multiple-Type-Value  gdlt:Default-TM-Multiple-Type-Value  ako  Default-Value;
441        isa  tmcl:topic-type.
442
443Default-TM-Instance-Value  gdlt:Default-TM-Instance-Value  ako  Default-Value;
444        isa  tmcl:topic-type.
445
446Value-Group  gdlt:Value-Group  ako  Descriptor;
447        isa  tmcl:topic-type;
448        plays-role(value-group, view-binding, 1, 1);
449        plays-role(descriptor, preferred-scope, 0, 1);
450        plays-role(value-group, value-binding, 0, *);
451        plays-role(value-group, tm-binding, 0, 1);
452        plays-role(descriptor, display-by, 0, 1).
453
454Hidden-Value  gdlt:Hidden-Value  ako  Descriptor;
455        isa  tmcl:topic-type;
456        plays-role(containee, contains, 1, 1);
457        plays-role(hidden-value, value-binding, 1, 1);
458        plays-role(hidden-value, tm-binding, 1, 1).
459
460
461# Additional “constraint-like” topics defined by the GDL
462Datatype  gdlt:Datatype  ako  Descriptor;
463        isa  tmcl:topic-type;
464        plays-role(tm-construct, tm-binding, 1, 1);
465        plays-role(descriptor, tm-binding, 0, 1).
466
467Type  gdlt:Type  ako  Descriptor;
468        isa  tmcl:topic-type;
469        plays-role(tm-construct, tm-binding, 1, 1);
470        plays-role(descriptor, tm-binding, 0, 1).
471
472Variant-Name-Scope  gdlt:Variant-Name-Scope  ako  Descriptor;
473        isa  tmcl:topic-type;
474        plays-role(tm-construct, tm-binding, 1, 1);
475        plays-role(descriptor, tm-binding, 1, 1).
476
477Variant-Name-Reifier  gdlt:Variant-Name-Reifier  ako  Descriptor;
478        isa  tmcl:topic-type;
479        plays-role(tm-construct, tm-binding, 1, 1);
480        plays-role(descriptor, tm-binding, 1, 1).
481
482Variant-Name-Identifiers  gdlt:Variant-Name-Identifiers  ako  Descriptor;
483        isa  tmcl:topic-type;
484        plays-role(tm-construct, tm-binding, 1, 1);
485        plays-role(descriptor, tm-binding, 1, 1).
486
487Role-Player  gdlt:Role-Player  ako  Descriptor;
488        isa  tmcl:topic-type;
489        plays-role(tm-construct, tm-binding, 1, 1);
490        plays-role(descriptor, tm-binding, 1, 2).
491
492
493# The style-class concept along with the defined style-classes
494Style-Class gdlt:Style-Class isa tmcl:topic-type.
495
496hover  isa  gdlt:Style-Class.
497
498focus  isa  gdlt:Style-Class.
499
500active  isa  gdlt:Style-Class.
501
502
503# The positioning and referencing (nth-element) concept
504position-style  gdl:position-style  isa  tmcl:occurrence-type.
505top  gdl:top  isa  tmcl:occurrence-type.
506right  gdl:right  isa  tmcl:occurrence-type.
507bottom  gdl:bottom  isa  tmcl:occurrence-type.
508left  gdl:left isa  tmcl:occurrence-type.
509
510Position  gdlt:Position  isa  tmcl:topic-type;
511        isa  tmcl:topic-type;
512        has-occurrence(position-style, 0, 1);
513        has-occurrence(top, 0, 1);
514        has-occurrence(right, 0, 1);
515        has-occurrence(bottom, 0, 1);
516        has-occurrence(left, 0, 1);
517        plays-role(descriptor, position, 1, 1).
518
519nth-value  gdl:nth-value  isa  tmcl:occurrence-type.
520
521Nth-Element  gdlt:Nth-Element  isa  Descriptor;
522        isa  tmcl:topic-type;
523        has-occurrence(nth-value, 1, 1);
524        plays-role(nth-element, contains, 1, 1);
525        plays-role(nth-element, button-position, 1, 1).
526
527
528# All topics that are not abstract and are direct sub-classes of Visible-Object
529Space  gdlt:Space  ako  Visible-Object;
530        isa  tmcl:topic-type.
531
532ordered  gdl:ordered  isa  tmcl:occurrence-type.
533style-type  gdl::style-type  isa  tmcl:occurrence-type.
534list-style-position  gdl:list-style-position  isa  tmcl:occurrence-type.
535
536List  gdlt:List  ako  Visible-Object;
537        isa  tmcl:topic-type;
538        has-occurrence(ordered, 0, 1);
539        has-occurrence(style-type, 0, 1);
540        has-occurrence(list-style-position, 0, 1);
541        plays-role(container, contains, 0, *).
542
543
544# All topics that are not abstract and are direct sub-classes of Text-Object
545multiple  gdl:multiple  isa  tmcl:occurrence-type.
546Size  gdl:size  isa  tmcl:occurrence-type.
547
548List-Box  gdlt:List-Box  ako  Text-Object;
549        isa  tmcl:topic-type;
550        has-occurrence(multiple, 0, 1);
551        has-occurrence(size, 0, 1);
552        plays-role(descriptor, view-binding, 1, 1).
553
554unit-name  gdl:unit-name  isa  tmcl:occurrence-type.
555
556Unit  gdlt:Unit  ako  Text-Object;
557        isa  tmcl:topic-type;
558        has-occurrence(unit-name, 0, 1);
559        plays-role(container, contains, 0, *);
560        plays-role(descriptor, tm-binding, 0, 1).
561
562Text  gdlt:Text  ako  Text-Object;
563        isa  tmcl:topic-type;
564        has-occurrence(text-type, 0, 1);
565        has-occurrence(readonly, 0, 1);
566        has-occurrence(rows, 0, 1);
567        has-occurrence(cols, 0, 1);
568        has-occurrence(resize, 0, 1);
569        plays-role(descriptor, view-binding, 1, 1).
570
571Info  gdlt:Info  ako  Text-Object;
572        isa  tmcl:topic-type;
573        plays-role(descriptor, view-binding, 1, 1);
574        plays-role(containee, constains, 1, 1).
575
576Reference  gdlt:Reference  ako  Text-Object;
577        isa  tmcl:topic-type;
578        plays-role(descriptor, view-binding, 1, 1).
579
580title-order  gdl:title-order  isa  tmcl:occurrence-type.
581
582Title  gdlt:Title  ako  Text-Object;
583        isa  tmcl:topic-type;
584        has-occurrence(title-order, 0, 1) ;
585        plays-role(descriptor, view-binding, 1, 1).
586
587
588# All extensions for the TMCL constraints that enable the adoption to the GDL
589tmcl:topic-name-constraint plays-role(tm-construct, tm-binding, 0, *);
590        plays-role(tm-construct, display-by, 0, 1).
591tmcl:variant-name-constraint plays-role(tm-construct, tm-binding, 0, *);
592        plays-role(tm-construct, tm-binding, 0, *).
593tmcl:topic-occurrence-constraint plays-role(tm-construct, tm-binding, 0, *).
594tmcl:topic-role-constraint  plays-role(tm-construct, association-view-binding, 0, *);
595        plays-role(tm-construct, tm-binding, 0, *).
596tmcl:association-role-constraint  plays-role(tm-construct, association-view-binding, 0, *);
597        plays-role(tm-construct, tm-binding, 0, *).
598tmcl:topic-type  plays-role(tm-construct, tm-binding, 0, *);
599        plays-role(tm-construct, preferred-scope, 0, *).
600tmcl:subject-idenitifier-constraint  plays-role(tm-construct, display-by, 0, 1);
601        plays-role(tm-construct, tm-binding, 0, *).
602tmcl:subject-locator-constraint plays-role(tm-construct, display-by, 0, 1);
603        plays-role(tm-construct, tm-binding, 0, *).
604tmcl:item-idenitifier-constraint plays-role(tm-construct, display-by, 0, 1);
605        plays-role(tm-construct, tm-binding, 0, *).
606tmcl:reifier-constraint plays-role(tm-construct, tm-binding, 0, *).
Note: See TracBrowser for help on using the repository browser.