<?xml version="1.0" encoding="iso-8859-1"?>#####################################################WAIT FOR DECISION RELATED TO QUALIFIERS################################################
<?xml-stylesheet type="text/xsl" href="xsl-for-template-specification.xsl"?>
<TemplateSpecification xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="xml-schema-for-template-specification.xsd">
	<TemplateName>ClassOfIndividualHasPropertyWithValueAndStatus</TemplateName>
	<defaultRdsId>R3E7F6463912C42479202E10EB56F411D</defaultRdsId>
	<Status>UPDATED AUG2024</Status>
	<TIPPredicate>coHasPropertyWithValueAndStatus</TIPPredicate><Description>Members of a ClassOfIndividual have a Property with a given point value and scale, and that information has a Status.</Description>
	<Example>Members of design class CO-P-101 have an estimated mass of 240 kg.</Example>
	<Notes>At instantiation of this template it is mandatory to add meta:valEffectiveDate with the dateTime that the represented information became effective.</Notes>
	<SubClassOf>TemplateForPropertyAndStatusOfClass</SubClassOf>
	<Definition>Any member of [EssentialType} class [hasPossessorType] has [hasPropertyType] of [valPropertyValue] [hasScale] with [hasPropertyStatus].</Definition>
	<ScopeNote/><AdminNote/>
	<LiftedAndLoweredGraph>CL-PTYST-200-20240829.png</LiftedAndLoweredGraph>
	<LiftedTemplate>
	    	<LiftedTemplateElements><Ref>1</Ref>
	    		<URI>dm:ClassOfIndividual</URI>
	    	</LiftedTemplateElements>
	    	
	    	<LiftedTemplateElements><Ref>2</Ref>
	    		<URI>dm:SinglePropertyDimension</URI>
	    	</LiftedTemplateElements>
	<LiftedTemplateElements><Ref>3</Ref><URI>dm:ExpressReal</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>4</Ref><URI>dm:Scale</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>5</Ref><URI>dm:Status</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>6</Ref><URI>dm:ClassOfTemporalWholePart</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>7</Ref><URI>dm:ClassOfIndividual</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>8</Ref><URI>dm:Specialization</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>9</Ref><URI>dm:Classification</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>10</Ref><URI>dm:Property</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>11</Ref><URI>dm:Classification</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>12</Ref><URI>dm:PropertyQuantification</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>13</Ref><URI>dm:RealNumber</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>14</Ref><URI>dm:ClassOfIdentification</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>15</Ref><URI>dm:Specialization</URI></LiftedTemplateElements></LiftedTemplate>
	<PropertiesOfLoweredTemplate>



  	<TemplateSignature><RoleNo>1</RoleNo><RoleName>hasPossessorType</RoleName><RoleObjectType>dm:ClassOfIndividual</RoleObjectType><RoleExample/></TemplateSignature><TemplateSignature><RoleNo>2</RoleNo><RoleName>hasPropertyType</RoleName><RoleObjectType>dm:SinglePropertyDimension</RoleObjectType><RoleExample><![CDATA[use ID from RDL]]></RoleExample></TemplateSignature><TemplateSignature><RoleNo>3</RoleNo><RoleName>valPropertyValue</RoleName><RoleObjectType>dm:ExpressReal</RoleObjectType><RoleExample/></TemplateSignature><TemplateSignature><RoleNo>4</RoleNo><RoleName>hasScale</RoleName><RoleObjectType>dm:Scale</RoleObjectType><RoleExample><![CDATA[use ID from RDL]]></RoleExample></TemplateSignature><TemplateSignature><RoleNo>5</RoleNo><RoleName>hasPropertyStatus</RoleName><RoleObjectType>dm:Status</RoleObjectType><RoleExample><![CDATA[]]></RoleExample></TemplateSignature></PropertiesOfLoweredTemplate>
	<LoweredTemplateOWLcode>
    		<![CDATA[
		]]>
 	 </LoweredTemplateOWLcode>
	<LoweredTemplateFOLcode><![CDATA[ClassOfIndividualHasPropertyWithValueAndStatus(hasPossessorType, hasPropertyType, valPropertyValue, hasScale, hasPropertyStatus) <->
ClassOfIndividual(hasPossessorType) &
SinglePropertyDimension(hasPropertyType) &
ExpressReal(valPropertyValue) &
Scale(hasScale) &
Status(hasPropertyStatus) &
exists u1 exists u2 exists u3 exists u4(
       ClassOfIndividual(u1) &
       ClassOfTemporalWholePartTemplate(u1, hasPossessorType) &
       SpecializationTemplate(u1, u2) &
       Property(u2) &
       ClassificationTemplate(u2, hasPropertyType) &
       SpecializationTemplate(u2, hasPropertyStatus) &
       PropertyQuantificationTriple(u3, u2, u4) &
       ClassificationTemplate(u3, hasScale) &
       RealNumber(u4) &
       ClassOfIdentificationTemplate(valPropertyValue, u4)) .]]>
</LoweredTemplateFOLcode>

<LoweredTemplateInstanceListing>
<![CDATA[GENERIC DEFINITION

tpl:ClassOfIndividualHasPropertyWithValueAndStatus
      rdfs:subClassOf dm:Template ;
      rdfs:isDefinedBy  tpl:CL-PTYST-200.xml ;
      tpl:hasPossessorType dm:ClassOfIndividual ;   
      tpl:hasPropertyType dm:SinglePropertyDimension ;
      tpl:valPropertyValue xsd:decimal ;
      tpl:hasScale dm:Scale ; 
      tpl:hasPropertyStatus dm:Status ; 
      meta:valEffectiveDate xsd:dateTime .

# EXAMPLE - Members of design class CO-P-101 have an estimated mass of 240 kg.

ex:f774cda9-298c-4cb5-b67a-c72202a8eec7
      rdf:type tpl:ClassOfIndividualHasPropertyWithValueAndStatus ;
      tpl:hasPossessorType ex:865e7acd-6282-47dd-866d-ca2c9ac54694 ;
      tpl:hasPropertyType rdl:RDS2220062 ; # LENGTH OVERALL (LOA)
      tpl:valPropertyValue "240"^^xsd:decimal ;
      tpl:hasScale rdl:RDS1328669  ; # KILOGRAM
      tpl:hasPropertyStatus rdl:RDS2220182 ; # ESTIMATED
      meta:valEffectiveDate "2022-11-02T11:45:00Z"^^xsd:dateTime .
]]>
</LoweredTemplateInstanceListing>
</TemplateSpecification>
