<?xml version="1.0" encoding="iso-8859-1"?>
<?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>ParticipationOfPhysicalObjectInActivityTypeYesNo</TemplateName>
	<defaultRdsId>14A48439483545EF86E4E622C3E129A5</defaultRdsId>
	<Status>UPDATED MAR2023</Status>
	<TIPPredicate>participatesInActivityTypeYN</TIPPredicate><Description>A PhysicalObject does or does not participate, in a given Role, in an unidentified member of a ClassOfActivity.</Description>
<Example>John Doe does not participate in ACCOUNTING in the Role of MANAGER(role).</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>TemplateForIndividualActivity</SubClassOf><Definition>[EssentialType] individual [hasParticipant] [does | probably does | does not] participate in [EssentialType] Activity class [hasActivityType] in a [hasParticipantRole] Role</Definition><ScopeNote>At time of mapping to OWL the value of meta:valEffectiveDate shall be given, as xsd:dateTime, to the RepresentationOfGregorianDateAndUtcTime. </ScopeNote><AdminNote/><LiftedAndLoweredGraph>IN-ACTIV-052-20220201.png</LiftedAndLoweredGraph>
	<LiftedTemplate>
	    	<LiftedTemplateElements><Ref>1</Ref>
	    		<URI>dm:ClassOfActivity</URI>
	    	</LiftedTemplateElements>
	    	<LiftedTemplateElements><Ref>2</Ref>
	    		<URI>dm:PhysicalObject</URI>
	    	</LiftedTemplateElements><LiftedTemplateElements><Ref>3</Ref><URI>dm:Role</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>4</Ref><URI>dm:ClassOfAssertion</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>5</Ref><URI>dm:Classification</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>6</Ref><URI>dm:Classification</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>7</Ref><URI>dm:PhysicalObject</URI></LiftedTemplateElements>
	    	<LiftedTemplateElements><Ref>8</Ref><URI>dm:TemporalWholePart</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>9</Ref><URI>dm:Activity</URI></LiftedTemplateElements>
	<LiftedTemplateElements><Ref>10</Ref><URI>dm:TemporalWholePart</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>11</Ref><URI>dm:PhysicalObject</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>12</Ref><URI>dm:Participation</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>13</Ref><URI>dm:Classification</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>14</Ref><URI>dm:ClassOfParticipation</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>15</Ref><URI>dm:SpecializationByRole</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>16</Ref><URI>dm:ClassOfPhysicalObject</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>17</Ref><URI>dm:Beginning</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>18</Ref><URI>dm:Beginning</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>19</Ref><URI>dm:PointInTime</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>20</Ref><URI>dm:ClassOfIdentification</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>21</Ref><URI>dm:RepresentationOfGregorianDateAndUtcTime</URI></LiftedTemplateElements></LiftedTemplate>
	<PropertiesOfLoweredTemplate>



  	<TemplateSignature><RoleNo>1</RoleNo><RoleName>hasActivityType</RoleName><RoleObjectType>dm:ClassOfActivity</RoleObjectType><RoleExample/></TemplateSignature><TemplateSignature><RoleNo>2</RoleNo><RoleName>hasParticipant</RoleName><RoleObjectType>dm:PhysicalObject</RoleObjectType><RoleExample/></TemplateSignature><TemplateSignature><RoleNo>3</RoleNo><RoleName>hasParticipantRole</RoleName><RoleObjectType>dm:Role</RoleObjectType><RoleExample>use ID from RDL or ID of design</RoleExample></TemplateSignature><TemplateSignature><RoleNo>4</RoleNo><RoleName>valApplicableYesNo</RoleName><RoleObjectType>dm:ClassOfAssertion</RoleObjectType><RoleExample>usw xsd:boolean</RoleExample></TemplateSignature></PropertiesOfLoweredTemplate>
	<LoweredTemplateOWLcode>
    		<![CDATA[
		]]>
 	 </LoweredTemplateOWLcode>
	<LoweredTemplateFOLcode><![CDATA[ParticipationOfPhysicalObjectInActivityTypeYesNo(hasActivityType, hasParticipant, hasParticipantRole, hasApplicableYesNo) <->
ClassOfActivity(hasActivityType) &
PhysicalObject(hasParticipant) &
Role(hasParticipantRole) &
ClassOfAssertion(hasApplicableYesNo) &
exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exusts u7, exists u8(
       ClassificationTemplate(u2, hasApplicableYesNo) &
       ClassificationTemplate(u1, hasActivityType) &
       Activity(u1) &
       TemporalWholePartTemplate(u2, u1) &
       Activity(u2) &
       TemporalWholePartTemplate(u3, hasParticipant) &
       PhysicalObject(u3) &
       ParticipationTriple(u4, u3, u2) &
       ClassificationTemplate(u4, u5) &
       ClassOfParticipationTriple(u5, u6, hasActivityType) &
       ParticipatingRoleAndDomain(u6) &
       SpecializationByDomainTemplate(u6, u7) &
       BeginningTemplate(u7, u2) &
       BeginningTemplate(u7, u3) &
       PointInTime(u7) &
       ClassOfIdentificationTemplate(u8, u7) &
       RepresentationOfGregorianDateAndUtcTime(u8)) .]]>
</LoweredTemplateFOLcode>

<LoweredTemplateInstanceListing>
<![CDATA[GENERIC DEFINITION

tpl:ParticipationOfPhysicalObjectInActivityTypeYesNo
      rdfs:subClassOf dm:Template ;
      rdfs:isDefinedBy  tpl:IN-ACTIV-052.xml ;
      tpl:hasActivityType dm:ClassOfActivity ;
      tpl:hasParticipant dm:PhysicalObject ;
      tpl:hasParticipantRole dm:Role ;
      tpl:valApplicableYesNo xsd:boolean ;
      meta:valEffectiveDate xsd:dateTime .

# EXAMPLE - John Doe does not participate in ACCOUNTING in the Role of MANAGER(role)

ex:3bd1ca96-42fa-45ac-bc76-7a87b725711e
      rdf:type tpl:ParticipationOfPhysicalObjectInActivityTypeYesNo ;
      tpl:hasActivityType rdl:RDS9697562 ; # ACCOUNTING
      tpl:hasParticipant ex:f67a776a-0c5e-4bae-9b04-f7c1895970e0 ; # John Doe
      tpl:hasParticipantRole rdl:RDS222426 ; # MANAGER(role)
      tpl:valApplicableYesNo "false"^^xsd:boolean ;
      meta:valEffectiveDate "2021-09-21T18:54:00Z"^^xsd:dateTime .
]]>
</LoweredTemplateInstanceListing>
</TemplateSpecification>
