15926.org

http://15926.org/templatespecs/CL-DEFN-01.xml

The intent is to make a definition with a subtype of class of EXPRESS information representation. The role valDefinition is restricted by dm:ClassOfExpressInformationRepresentation.

However it seems that the only real subtype that can be used for definition is EXPRESSString.

I think that it should be a general rule for all "val..." named roles - in the end they have to be restricted by a single xsd: data type.

The axiom should be:
...
ClassOfDefinitionTemplate(x3, x2) .

Response to Victor:
In case an instance of this template shows an xsd:string it complies with the template.
In modeling you always have to ask yourself the question: is it absolutely IMpossible that anything else than a string is being used for that definition? If the answer is NO, then you have to allow for it. I can, for instance, visualize a definition that is a mix of strings and images.

In case you want to constrain your definitions to strings, then create a specialization of this template.

Response to Michael:
You are right, it will be corrected.