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.
DefinitionOfClass template
-
mikhail fedorov
- Posts: 13
- Joined: Thu Mar 08, 2012 8:37 am
- Location: Haarlem, the Netherlands
Re: DefinitionOfClass template
The axiom should be:
...
ClassOfDefinitionTemplate(x3, x2) .
...
ClassOfDefinitionTemplate(x3, x2) .
-
HansTeijgeler
- Posts: 283
- Joined: Sun Jan 22, 2012 10:02 pm
Re: DefinitionOfClass template
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.
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.