[isidorus-cvs] r1033 - in trunk/src/anaToMia/GDL_Widgets: src/us/isidor/gdl/anaToMia/Widgets war/gdl_widgets

lgiessmann at common-lisp.net lgiessmann at common-lisp.net
Thu Nov 17 09:54:39 UTC 2011


Author: lgiessmann
Date: Thu Nov 17 01:54:38 2011
New Revision: 1033

Log:
added the GDL ontology defined with the TMCL vocabulary in the CTM syntax

Added:
   trunk/src/anaToMia/GDL_Widgets/war/gdl_widgets/GDL_Ontology.tmcl.ctm
Modified:
   trunk/src/anaToMia/GDL_Widgets/src/us/isidor/gdl/anaToMia/Widgets/TODO.txt

Modified: trunk/src/anaToMia/GDL_Widgets/src/us/isidor/gdl/anaToMia/Widgets/TODO.txt
==============================================================================
--- trunk/src/anaToMia/GDL_Widgets/src/us/isidor/gdl/anaToMia/Widgets/TODO.txt	Thu Oct 27 02:18:29 2011	(r1032)
+++ trunk/src/anaToMia/GDL_Widgets/src/us/isidor/gdl/anaToMia/Widgets/TODO.txt	Thu Nov 17 01:54:38 2011	(r1033)
@@ -23,4 +23,5 @@
 * finalise GdlDefaultCreatorTopicView
 * finalise GdlDefaultEditorTopicView
 * finalise GdlAssociationView.getContent()
+* inmplement GdlPanel.OnErrorHandler
 * Fix css-pseudo-class-handlers
\ No newline at end of file

Added: trunk/src/anaToMia/GDL_Widgets/war/gdl_widgets/GDL_Ontology.tmcl.ctm
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ trunk/src/anaToMia/GDL_Widgets/war/gdl_widgets/GDL_Ontology.tmcl.ctm	Thu Nov 17 01:54:38 2011	(r1033)
@@ -0,0 +1,606 @@
+%include  http://www.isotopicmaps.org/tmcl/templates.ctm
+%prefix  tmcl  http://psi.topicmaps.org/tmcl/
+%prefix  gdl  http://isidor.us/gdl/
+%prefix  gdlt  http://isidor.us/gdl/types/
+
+
+# Association types
+contains  gdl:contains  isa  tmcl:association-type;
+	has-role(containee, 1, 1);
+	has-role(container, 1, 1);
+	has-role(nth-element, 0, 1).
+
+position  gdl:position  isa  tmcl:association-type;
+	has-role(descriptor, 1, 1);
+	has-role(ancestor, 1, 1);
+	has-role(descendant, 1, 1).
+
+button-position  gdl:button-position  isa  tmcl:association-type;
+	has-role(action-button, 1, 1);
+	has-role(nth-element, 1, 1);
+	role-combination(nth-element, Nth-Element, action-button, Action-Button).
+
+view-binding  gdl:view-binding  isa  tmcl:association-type;
+	has-role(descriptor, 1, 1);
+	has-role(value-group, 1, 1);
+	role-combination(value-group, Value-Group, descriptor, Text);
+	role-combination(value-group, Value-Group, descriptor, List-Box);
+	role-combination(value-group, Value-Group, descriptor, Complex-Data);
+	role-combination(value-group, Value-Group, descriptor, Input-Button).
+	role-combination(value-group, Value-Group, descriptor, Action-Button);
+	role-combination(value-group, Value-Group, descriptor, Reference);
+	role-combination(value-group, Value-Group, descriptor, Title);
+	role-combination(value-group, Value-Group, descriptor, Info).
+
+tm-binding  gdl:tm-binding  isa  tmcl:association-type;
+	has-role(descriptor, 1, 1);
+	has-role(tm-construct, 0, 1);
+	has-role(hidden-value, 0, 1);
+	role-combination(tm-construct, tmcl:topic-name-constraint, descriptor, Unit);
+	role-combination(tm-construct, tmcl:variant-name-constraint, descriptor, Unit);
+	role-combination(tm-construct, tmcl:topic-occurrence-constraint, descriptor, Unit);
+	role-combination(tm-construct, tmcl:topic-type, descriptor, TM-Value);
+	role-combination(value-group, Value-Group, tm-construct, Datatype);
+	role-combination(value-group, Value-Group, tm-construct, Type);
+	role-combination(value-group, Value-Group, tm-construct, Variant-Name-Scope);
+	role-combination(value-group, Value-Group, tm-construct, Variant-Name-Reifier);
+	role-combination(value-group, Value-Group, tm-construct, Variant-Name-Identifiers);
+	role-combination(value-group, Value-Group, tm-construct, Role-Player);
+	role-combination(hidden-value, Hidden-Value, tm-construct, Datatype);
+	role-combination(hidden-value, Hidden-Value, tm-construct, Type);
+	role-combination(hidden-value, Hidden-Value, tm-construct, Variant-Name-Scope);
+	role-combination(hidden-value, Hidden-Value, tm-construct, Variant-Name-Reifier);
+	role-combination(hidden-value, Hidden-Value, tm-construct, Variant-Name-Identifiers);
+	role-combination(hidden-value, Hidden-Value, tm-construct, Role-Player)
+	role-combination(descriptor, Role-Player, tm-construct, tmcl:item-identifier-constraint);
+	role-combination(descriptor, Role-Player, tm-construct, tmcl:reifier-constraint);
+	role-combination(descriptor, Role-Player, tm-construct, tmcl:topic-role-constraint);
+	role-combination(descriptor, Variant-Name-Identifiers, tm-construct, tmcl:variant-name-constraint);
+	role-combination(descriptor, Datatype, tm-construct, tmcl:topic-occurrence-constraint);
+	role-combination(descriptor, Datatype, tm-construct, tmcl:variant-name-constraint);
+	role-combination(descriptor, Type, tm-construct, tmcl:topic-name-constraint);
+	role-combination(descriptor, Type, tm-construct, tmcl:association-role-constraint);
+	role-combination(descriptor, Type, tm-construct, tmcl:topic-role-constraint);
+	role-combination(descriptor, Type, tm-construct, tmcl:topic-occurrence-constraint);
+	role-combination(descriptor, Variant-Name-Scope, tm-construct, tmcl:variant-name-constraint);
+	role-combination(descriptor, Variant-Name-Reifier, tm-construct, tmcl:variant-name-constraint);
+	role-combination(value-group, Value-Group, tm-construct, tmcl:subject-identifier-constraint);
+	role-combination(value-group, Value-Group, tm-construct, tmcl:subject-locator-constraint);
+	role-combination(value-group, Value-Group, tm-construct, tmcl:item-identifier-constraint);
+	role-combination(value-group, Value-Group, tm-construct, tmcl:topic-name-constraint);
+	role-combination(value-group, Value-Group, tm-construct, tmcl:reifier-constraint);
+	role-combination(value-group, Value-Group, tm-construct, tmcl:variant-name-constraint);
+	role-combination(value-group, Value-Group, tm-construct, tmcl:topic-occurrence-constraint);
+	role-combination(value-group, Value-Group, tm-construct, tmcl:scope-constraint);
+	role-combination(hidden-value, Value-Group, tm-construct, tmcl:subject-identifier-constraint);
+	role-combination(hidden-value, Value-Group, tm-construct, tmcl:subject-locator-constraint);
+	role-combination(hidden-value, Value-Group, tm-construct, tmcl:item-identifier-constraint);
+	role-combination(hidden-value, Value-Group, tm-construct, tmcl:topic-name-constraint);
+	role-combination(hidden-value, Value-Group, tm-construct, tmcl:reifier-constraint);
+	role-combination(hidden-value, Value-Group, tm-construct, tmcl:variant-name-constraint);
+	role-combination(hidden-value, Value-Group, tm-construct, tmcl:topic-occurrence-constraint);
+	role-combination(hidden-value, Value-Group, tm-construct, tmcl:scope-constraint).
+
+topic-view-binding  gdl:topic-view-binding  isa  tmcl:association-type;
+	has-role(descriptor, 1, 1);
+	has-role(tm-value, 1, 1);
+	role-combination(tm-value, TM-Value, descriptor, Topic-View).
+
+
+display-by  gdl:display-by  isa  tmcl:association-type;
+	has-role(descriptor, 1, 1);
+	has-role(tm-construct, 1, 1);
+	role-combination(descriptor, TM-Value, tm-construct, tmcl:topic-name-constraint);
+	role-combination(descriptor, TM-Value, tm-construct, tmcl:item-identifier-constraint);
+	role-combination(descriptor, TM-Value, tm-construct, tmcl:subject-locator-constraint);
+	role-combination(descriptor, TM-Value, tm-construct, tmcl:subject-identifier-constraint);
+	role-combination(descriptor, Value-Group, tm-construct, tmcl:topic-name-constraint);
+	role-combination(descriptor, Value-Group, tm-construct, tmcl:item-identifier-constraint);
+	role-combination(descriptor, Value-Group, tm-construct, tmcl:subject-locator-constraint);
+	role-combination(descriptor, Value-Group, tm-construct, tmcl:subject-identifier-constraint).
+
+
+association-view-binding  gdl:association-view-binding  isa  tmcl:association-type;
+	has-role(descriptor, 1, 1);
+	has-role(tm-construct, 1, 1);
+	role-combination(descriptor, Association-View, tm-construct, tmcl:topic-role-constraint);
+	role-combination(descriptor, Association-View, tm-construct, tmcl:association-role-constraint).
+
+preferred-scope  gdl:preferred-scope  isa  tmcl:association-type;
+	has-role(tm-construct, 1, 1);
+	has-role(descriptor, 1, 1);
+	role-combination(tm-construct, tmcl:topic-type, descriptor, Value-Group);
+	role-combination(tm-construct, tmcl:topic-type, descriptor, TM-Value).
+
+value-binding  gdl:value-binding  isa  tmcl:association-type;
+	has-role(hidden-value, 1, 1);
+	has-role(value, 1, 1);
+	role-combination(value, Default-Value, hidden-value, Hidden-Value);
+	role-combination(value, Value, value-group, Value-Group).
+
+
+# Role types
+container  gdl:container  isa  tmcl:role-type.
+containee  gdl:containee  isa  tmcl:role-type.
+descriptor  gdl:descriptor  isa  tmcl:role-type.
+ancestor  gdl:ancestor  isa  tmcl:role-type.
+descendant  gdl:descendant  isa  tmcl:role-type.
+button-position  gdl:action-button  isa  tmcl:role-type.
+nth-element  gdl:nth-element  isa  tmcl:role-type.
+value-group  gdl:value-group  isa  tmcl:role-type.
+tm-construct  gdl:tm-construct  isa  tmcl:role-type.
+tm-value  gdl:tm-value  isa  tmcl:role-type.
+
+
+# The schema itself
+schema-name gdl:schema-name isa tmcl:name-type.
+
+Schema  gdlt:Schema  isa  tmcl:topic-type;
+	has-name(schema-name, 1, 1);
+	plays-role(container, contains, 0, *).
+
+
+# The abstract base topic type of all GDL topics
+Descriptor  gdlt:Descriptor isa tmcl:topic-type;
+	is-abstract().
+
+
+# The abstract base topic type of all visible elements modeled by GDL topics
+display  gdl:display  isa  tmcl:occurrence-type.
+id  gdl:id  isa  tmcl:occurrence-type.
+margin  gdl:margin  isa  tmcl:occurrence-type.
+margin-left  gdl:margin-left  isa  tmcl:occurrence-type.
+margin-top  gdl:margin-top  isa  tmcl:occurrence-type.
+margin-right  gdl:margin-right  isa  tmcl:occurrence-type.
+margin-bottom  gdl:margin-bottom  isa  tmcl:occurrence-type.
+border-color  gdl:border-color  isa  tmcl:occurrence-type.
+border-left-color  gdl:border-left-color  isa  tmcl:occurrence-type.
+border-top-color  gdl:border-top-color  isa  tmcl:occurrence-type.
+border-right-color  gdl:border-right-color  isa  tmcl:occurrence-type.
+border-bottom-color  gdl:border-bottom-color  isa  tmcl:occurrence-type.
+border-style  gdl:border-style  isa  tmcl:occurrence-type.
+border-left-style  gdl:border-left-style  isa  tmcl:occurrence-type.
+border-top-style  gdl:border-top-style  isa  tmcl:occurrence-type.
+border-right-style  gdl:border-right-style  isa  tmcl:occurrence-type.
+border-bottom-style  gdl:border-bottom-style  isa  tmcl:occurrence-type.
+border-width  gdl:border-width  isa  tmcl:occurrence-type.
+border-left-width  gdl:border-left-width  isa  tmcl:occurrence-type.
+border-top-width  gdl:border-top-width  isa  tmcl:occurrence-type.
+border-right-width  gdl:border-right-width  isa  tmcl:occurrence-type.
+border-bottom-width  gdl:border-bottom-width  isa  tmcl:occurrence-type.
+border-radius  gdl:border-radius  isa  tmcl:occurrence-type.
+border-bottom-left-radius  gdl:border-bottom-left-radius  isa  tmcl:occurrence-type.
+border-top-left-radius  gdl:border-top-left-radius  isa  tmcl:occurrence-type.
+border-top-right-radius  gdl:border-top-right-radius  isa  tmcl:occurrence-type.
+border-bottom-right-radius  gdl:border-bottom-right-radius  isa  tmcl:occurrence-type.
+padding  gdl:padding  isa  tmcl:occurrence-type.
+padding-left  gdl:padding-left  isa  tmcl:occurrence-type.
+padding-top  gdl:padding-top  isa  tmcl:occurrence-type.
+padding-right  gdl:padding-right  isa  tmcl:occurrence-type.
+padding-bottom  gdl:padding-bottom  isa  tmcl:occurrence-type.
+cursor  gdl:cursor  isa  tmcl:occurrence-type.
+z-index  gdl:z-index  isa  tmcl:occurrence-type.
+width  gdl:width  isa  tmcl:occurrence-type.
+min-width  gdl:min-width  isa  tmcl:occurrence-type.
+max-width  gdl:max-width  isa  tmcl:occurrence-type.
+height  gdl:height  isa  tmcl:occurrence-type.
+min-height  gdl:min-height  isa  tmcl:occurrence-type.
+max-height  gdl:max-height  isa  tmcl:occurrence-type.
+float  gdl:float  isa  tmcl:occurrence-type.
+clear  gdl:clear  isa  tmcl:occurrence-type.
+content-orientation  gdl:content-orientation  isa  tmcl:occurrence-type.
+background-color  gdl:background-color  isa  tmcl:occurrence-type.
+vertical-align  gdl:vertical-align  isa  tmcl:occurrence-type.
+
+VisibleObject  gdlt:VisibleObject  ako  Descriptor;
+	isa  tmcl:topic-type;
+	is-abstract();
+	has-occurrence(id, 1, 1);
+	has-occurrence(display, 0, 1);
+	has-occurrence(margin, 0, 1);
+	has-occurrence(margin-left, 0, 1);
+	has-occurrence(margin-top, 0, 1);
+	has-occurrence(margin-right, 0, 1);
+	has-occurrence(margin-bottom, 0, 1);
+	has-occurrence(border-color, 0, 1);
+	has-occurrence(border-left-color, 0, 1);
+	has-occurrence(border-top-color, 0, 1);
+	has-occurrence(border-right-color, 0, 1);
+	has-occurrence(border-bottom-color, 0, 1);
+	has-occurrence(border-style, 0, 1);
+	has-occurrence(border-left-style, 0, 1);
+	has-occurrence(border-top-style, 0, 1);
+	has-occurrence(border-right-style, 0, 1);
+	has-occurrence(border-bottom-style, 0, 1);
+	has-occurrence(border-width, 0, 1);
+	has-occurrence(border-left-width, 0, 1);
+	has-occurrence(border-top-width, 0, 1);
+	has-occurrence(border-right-width, 0, 1);
+	has-occurrence(border-bottom-width, 0, 1);
+	has-occurrence(border-radius, 0, 1);
+	has-occurrence(border-bottom-left-radius, 0, 1);
+	has-occurrence(border-top-left-radius, 0, 1);
+	has-occurrence(border-top-right-radius, 0, 1);
+	has-occurrence(border-bottom-right-radius, 0, 1);
+	has-occurrence(padding, 0, 1);
+	has-occurrence(padding-left, 0, 1);
+	has-occurrence(padding-top, 0, 1);
+	has-occurrence(padding-right, 0, 1);
+	has-occurrence(padding-bottom, 0, 1);
+	has-occurrence(cursor, 0, 1);
+	has-occurrence(z-index, 0, 1);
+	has-occurrence(width, 0, 1);
+	has-occurrence(min-width, 0, 1);
+	has-occurrence(max-width, 0, 1);
+	has-occurrence(height, 0, 1);
+	has-occurrence(min-height, 0, 1);
+	has-occurrence(max-height, 0, 1);
+	has-occurrence(float, 0, 1);
+	has-occurrence(clear, 0, 1);
+	has-occurrence(content-orientation, 0, 1);
+	has-occurrence(background-color, 0, 1);
+	has-occurrence(vertical-align, 0, 1);
+	plays-role(containee, contains, 1, *);
+	plays-role(descendant, position, 0, 1);
+	plays-role(ancestor, position, 0, 1);
+	plays-role(container, contains, 0, *).
+
+
+# The abstract base topic type of all textual elements modeled by GDL topics
+direction  gdl::direction  isa  tmcl:occurrence-type.
+text-align  gdl:text-align  isa  tmcl:occurrence-type.
+line-height  gdl:line-height  isa  tmcl:occurrence-type.
+text-decoration  gdl:text-decoration  isa  tmcl:occurrence-type.
+color  gdl:color  isa  tmcl:occurrence-type.
+font-family  gdl:font-family  isa  tmcl:occurrence-type.
+font-style  gdl:font-style  isa  tmcl:occurrence-type.
+font-size  gdl:font-size  isa  tmcl:occurrence-type.
+font-weight  gdl:font-weight  isa  tmcl:occurrence-type.
+letter-spacing  gdl:letter-spacing  isa  tmcl:occurrence-type.
+word-spacing  gdl:word-spacing  isa  tmcl:occurrence-type.
+
+TextObject  gdlt:TextObject  ako  VisibleObject;
+	isa  tmcl:topic-type;
+	is-abstract();
+	has-occurrence(direction, 0, 1);
+	has-occurrence(text-align, 0, 1);
+	has-occurrence(line-height, 0, 1);
+	has-occurrence(text-decoration, 0, 1);
+	has-occurrence(color, 0, 1);
+	has-occurrence(font-family, 0, 1);
+	has-occurrence(font-style, 0, 1);
+	has-occurrence(font-size, 0, 1);
+	has-occurrence(font-weight, 0, 1);
+	has-occurrence(letter-spacing, 0, 1);
+	has-occurrence(word-spacing, 0, 1).
+
+
+# The entire complex-data concept
+Complex-Data  gdlt:Complex-Data  ako  VisibleObject;
+	isa  tmcl:topic-type;
+	is-abstract();
+	plays-role(descriptor, view-binding, 1, 1).
+
+Image  gdlt:Image  ako Complex-Data;
+	isa  tmcl:topic-type.
+
+Video  gdl:Video ako Complex-Data;
+	isa  tmcl:topic-type.
+
+Audio  gdlt:Audio  ako Complex-Data;
+	isa  tmcl:topic-type.
+
+Time-Picker  gdlt:Time-Picker  ako Complex-Data;
+	isa  tmcl:topic-type.
+
+Date-Picker  gdlt:Date-Picker  ako Complex-Data;
+	isa  tmcl:topic-type.
+
+Date-Time-Picker  gdlt:Date-Time-Picker  ako Complex-Data;
+	isa  tmcl:topic-type.
+
+
+# The abstract base topic type of all buttons modeled by GDL topics
+Button  gdlt:Button  ako  TextObject;
+	isa  tmcl:topic-type;
+	is-abstract().
+
+
+# The input-button concept
+Input-Button  gdlt:Input-Button  ako  Button;
+	isa  tmcl:topic-type;
+	is-abstract();
+	plays-role(descriptor, view-binding, 1, 1).
+
+Radio-Button  gdlt:Radio-Button  ako  Input-Button;
+	isa  tmcl:topic-type.
+
+Check-Box  gdlt:Check-Box  ako  Input-Button;
+	isa  tmcl:topic-type.
+
+
+# The entire action-button concept
+Action-Button  gdlt:Action-Button  ako  Button;
+	isa  tmcl:topic-type;
+	plays-role(action-button, button-position, 0, 1);
+	plays-role(containee, contains, 0, 1);
+	plays-role(descriptor, view-binding, 0, 1).
+
+Validate-Button  gdlt:Validate-Button  ako  Action-Button;
+	isa  tmcl:topic-type.
+
+Commit-Button  gdlt:Commit-Button  ako  Action-Button;
+	isa  tmcl:topic-type.
+
+Delete-Button  gdlt:Delete-Button  ako  Action-Button;
+	isa  tmcl:topic-type.
+
+
+# The entire schema concept
+view-name gdl:view-name isa tmcl:name-type.
+
+View  gdlt:View  ako Visible-Object;
+	isa  tmcl:topic-type;
+	is-abstract();
+	has-name(view-name, 1, 1);
+	plays-role(containee, contains, 1, 1);
+	plays-role(container, contains, 0, *).
+
+Topic-View  gdlt:Topic-View  ako  View;
+	isa  tmcl:topic-type;
+	is-abstract();
+	plays-role(descriptor, topic-view-binding, 1, 1).
+
+Default-Topic-View  gdlt:Default-Topic-View  ako Topic-View;
+	isa  tmcl:topic-type;
+	is-abstract().
+
+Default-Creator-Topic-View  gdlt:Default-Creator-Topic-View  ako  Default-Topic-View;
+	isa  tmcl:topic-type.
+
+Default-Editor-Topic-View  gdlt::Default-Editor-Topic-View  ako  Default-Topic-View;
+	isa  tmcl:topic-type.
+
+Special-Topic-View  gdlt:Special-Topic-View  ako  Topic-View;
+	isa  tmcl:topic-type;
+	is-abstract().
+
+Special-Creator-Topic-View  gdlt:Special-Creator-Topic-View  ako  Special-Topic-View;
+	isa  tmcl:topic-type.
+
+Special-Editor-Topic-View  gdlt:Special-Editor-Topic-View  ako  Special-Editor-Topic-View;
+	isa  tmcl:topic-type;
+
+Association-View  gdlt:Association-View  ako View;
+	isa  tmcl:topic-type;
+	is-abstract();
+	plays-role(descriptor, association-view-binding, 2, 2).
+
+Creator-Association-view  gdlt:Creator-Association-View  ako  Association-View;
+	isa  tmcl:topic-type.
+
+Editor-Association-view  gdlt:Editor-Association-View  ako  Association-View;
+	isa  tmcl:topic-type;
+
+# The entire value concept
+Value  gdlt:Value  ako  Descriptor;
+	isa  tmcl:topic-type;
+	is-abstract();
+	plays-role(value, value-binding, 0, 1).
+
+fixed  gdl:fixed  isa  tmcl:occurrence-type.
+
+Default-Value  gdlt:Default-Value  ako  Value;
+	isa  tmcl:topic-type;
+	is-abstract();
+	has-occurrence(fixed, 0, 1);
+	plays-role(value, value-binding, 0, 1).
+
+literal-value  gdl:literal-value isa  tmcl:occurrence-type.
+
+Literal-Value  gdlt:Literal-Value  ako  Value;
+	isa  tmcl:topic-type;
+	has-occurrence(literal-value, 1, 1).
+
+Default-Literal-Value  gdlt:Default-Literal-Value  ako  Default-Value;
+	ako  Literal-Value;
+	isa  tmcl:topic-type.
+
+TM-Value  gdlt:TM-Value  ako  Value;
+	isa  tmcl:topic-type;
+	is-abstract();
+	plays-role(tm-value, topic-view-binding, 0, *);
+	plays-role(descriptor, display-by, 0, 1);
+	plays-role(descriptor, tm-binding, 1, 1);
+	plays-role(descriptor, preferred-scope, 0, 1).
+
+TM-Type-Value  gdlt:TM-Type-Value  ako TM-Value;
+	isa  tmcl:topic-type.
+
+TM-Single-Type-Value  gdlt:Single-Type-Value  ako TM-Value;
+	isa  tmcl:topic-type.
+
+TM-Multiple-Type-Value  gdlt::TM-Multiple-Type-Value  ako TM-Value;
+	isa  tmcl:topic-type.
+
+TM-Instance-Value  gdlt:TM-Instance-Value  ako TM-Value;
+	isa  tmcl:topic-type.
+
+Default-TM-Value  gdlt:Default-TM-Value  ako  Default-Value;
+	ako  TM-Value;
+	isa tmcl:topic-type;
+	is-abstract().
+
+Default-TM-Value-Type  gdlt:Default-TM-Value-Type  ako  Default-Value;
+	isa  tmcl:topic-type.
+
+Default-TM-Single-Type-Value  gdlt:Default-TM-Single-Type-Value  ako  Default-Value;
+	isa  tmcl:topic-type.
+
+Default-TM-Multiple-Type-Value  gdlt:Default-TM-Multiple-Type-Value  ako  Default-Value;
+	isa  tmcl:topic-type.
+
+Default-TM-Instance-Value  gdlt:Default-TM-Instance-Value  ako  Default-Value;
+	isa  tmcl:topic-type.
+
+Value-Group  gdlt:Value-Group  ako  Descriptor;
+	isa  tmcl:topic-type;
+	plays-role(value-group, view-binding, 1, 1);
+	plays-role(descriptor, preferred-scope, 0, 1);
+	plays-role(value-group, value-binding, 0, *);
+	plays-role(value-group, tm-binding, 0, 1);
+	plays-role(descriptor, display-by, 0, 1).
+
+Hidden-Value  gdlt:Hidden-Value  ako  Descriptor;
+	isa  tmcl:topic-type;
+	plays-role(containee, contains, 1, 1);
+	plays-role(hidden-value, value-binding, 1, 1);
+	plays-role(hidden-value, tm-binding, 1, 1).
+
+
+# Additional “constraint-like” topics defined by the GDL
+Datatype  gdlt:Datatype  ako  Descriptor;
+	isa  tmcl:topic-type;
+	plays-role(tm-construct, tm-binding, 1, 1);
+	plays-role(descriptor, tm-binding, 0, 1).
+
+Type  gdlt:Type  ako  Descriptor;
+	isa  tmcl:topic-type;
+	plays-role(tm-construct, tm-binding, 1, 1);
+	plays-role(descriptor, tm-binding, 0, 1).
+
+Variant-Name-Scope  gdlt:Variant-Name-Scope  ako  Descriptor;
+	isa  tmcl:topic-type;
+	plays-role(tm-construct, tm-binding, 1, 1);
+	plays-role(descriptor, tm-binding, 1, 1).
+
+Variant-Name-Reifier  gdlt:Variant-Name-Reifier  ako  Descriptor;
+	isa  tmcl:topic-type;
+	plays-role(tm-construct, tm-binding, 1, 1);
+	plays-role(descriptor, tm-binding, 1, 1).
+
+Variant-Name-Identifiers  gdlt:Variant-Name-Identifiers  ako  Descriptor;
+	isa  tmcl:topic-type;
+	plays-role(tm-construct, tm-binding, 1, 1);
+	plays-role(descriptor, tm-binding, 1, 1).
+
+Role-Player  gdlt:Role-Player  ako  Descriptor;
+	isa  tmcl:topic-type;
+	plays-role(tm-construct, tm-binding, 1, 1);
+	plays-role(descriptor, tm-binding, 1, 2).
+
+
+# The style-class concept along with the defined style-classes
+Style-Class gdlt:Style-Class isa tmcl:topic-type.
+
+hover  isa  gdlt:Style-Class.
+
+focus  isa  gdlt:Style-Class.
+
+active  isa  gdlt:Style-Class.
+
+
+# The positioning and referencing (nth-element) concept
+position-style  gdl:position-style  isa  tmcl:occurrence-type.
+top  gdl:top  isa  tmcl:occurrence-type.
+right  gdl:right  isa  tmcl:occurrence-type.
+bottom  gdl:bottom  isa  tmcl:occurrence-type.
+left  gdl:left isa  tmcl:occurrence-type.
+
+Position  gdlt:Position  isa  tmcl:topic-type;
+	isa  tmcl:topic-type;
+	has-occurrence(position-style, 0, 1);
+	has-occurrence(top, 0, 1);
+	has-occurrence(right, 0, 1);
+	has-occurrence(bottom, 0, 1);
+	has-occurrence(left, 0, 1);
+	plays-role(descriptor, position, 1, 1).
+
+nth-value  gdl:nth-value  isa  tmcl:occurrence-type.
+
+Nth-Element  gdlt:Nth-Element  isa  Descriptor;
+	isa  tmcl:topic-type;
+	has-occurrence(nth-value, 1, 1);
+	plays-role(nth-element, contains, 1, 1);
+	plays-role(nth-element, button-position, 1, 1).
+
+
+# All topics that are not abstract and are direct sub-classes of Visible-Object
+Space  gdlt:Space  ako  Visible-Object;
+	isa  tmcl:topic-type.
+
+ordered  gdl:ordered  isa  tmcl:occurrence-type.
+style-type  gdl::style-type  isa  tmcl:occurrence-type.
+list-style-position  gdl:list-style-position  isa  tmcl:occurrence-type.
+
+List  gdlt:List  ako  Visible-Object;
+	isa  tmcl:topic-type;
+	has-occurrence(ordered, 0, 1);
+	has-occurrence(style-type, 0, 1);
+	has-occurrence(list-style-position, 0, 1);
+	plays-role(container, contains, 0, *).
+
+
+# All topics that are not abstract and are direct sub-classes of Text-Object
+multiple  gdl:multiple  isa  tmcl:occurrence-type.
+Size  gdl:size  isa  tmcl:occurrence-type.
+
+List-Box  gdlt:List-Box  ako  Text-Object;
+	isa  tmcl:topic-type;
+	has-occurrence(multiple, 0, 1);
+	has-occurrence(size, 0, 1);
+	plays-role(descriptor, view-binding, 1, 1).
+
+unit-name  gdl:unit-name  isa  tmcl:occurrence-type.
+
+Unit  gdlt:Unit  ako  Text-Object;
+	isa  tmcl:topic-type;
+	has-occurrence(unit-name, 0, 1);
+	plays-role(container, contains, 0, *);
+	plays-role(descriptor, tm-binding, 0, 1).
+
+Text  gdlt:Text  ako  Text-Object;
+	isa  tmcl:topic-type;
+	has-occurrence(text-type, 0, 1);
+	has-occurrence(readonly, 0, 1);
+	has-occurrence(rows, 0, 1);
+	has-occurrence(cols, 0, 1);
+	has-occurrence(resize, 0, 1);
+	plays-role(descriptor, view-binding, 1, 1).
+
+Info  gdlt:Info  ako  Text-Object;
+	isa  tmcl:topic-type;
+	plays-role(descriptor, view-binding, 1, 1);
+	plays-role(containee, constains, 1, 1).
+
+Reference  gdlt:Reference  ako  Text-Object;
+	isa  tmcl:topic-type;
+	plays-role(descriptor, view-binding, 1, 1).
+
+title-order  gdl:title-order  isa  tmcl:occurrence-type.
+
+Title  gdlt:Title  ako  Text-Object;
+	isa  tmcl:topic-type;
+	has-occurrence(title-order, 0, 1) ;
+	plays-role(descriptor, view-binding, 1, 1).
+
+
+# All extensions for the TMCL constraints that enable the adoption to the GDL
+tmcl:topic-name-constraint plays-role(tm-construct, tm-binding, 0, *);
+	plays-role(tm-construct, display-by, 0, 1).
+tmcl:variant-name-constraint plays-role(tm-construct, tm-binding, 0, *);
+	plays-role(tm-construct, tm-binding, 0, *).
+tmcl:topic-occurrence-constraint plays-role(tm-construct, tm-binding, 0, *).
+tmcl:topic-role-constraint  plays-role(tm-construct, association-view-binding, 0, *);
+	plays-role(tm-construct, tm-binding, 0, *).
+tmcl:association-role-constraint  plays-role(tm-construct, association-view-binding, 0, *);
+	plays-role(tm-construct, tm-binding, 0, *).
+tmcl:topic-type  plays-role(tm-construct, tm-binding, 0, *);
+	plays-role(tm-construct, preferred-scope, 0, *).
+tmcl:subject-idenitifier-constraint  plays-role(tm-construct, display-by, 0, 1);
+	plays-role(tm-construct, tm-binding, 0, *).
+tmcl:subject-locator-constraint plays-role(tm-construct, display-by, 0, 1);
+	plays-role(tm-construct, tm-binding, 0, *).
+tmcl:item-idenitifier-constraint plays-role(tm-construct, display-by, 0, 1);
+	plays-role(tm-construct, tm-binding, 0, *).
+tmcl:reifier-constraint plays-role(tm-construct, tm-binding, 0, *).




More information about the Isidorus-cvs mailing list