Added HTML for examples

<p>This example instantiation is referred to using the ex prefix. This prefix is different from the s4inma prefix, which indicates the SAREF4INMA ontology on which the ex example instantiation is built upon.</p>

<p>The example is shown in <a href="#Figure_4">Figure 4</a>  and represents an instance of a shaver (i.e. the ex:Shaver10023) of the s4inma:Item class, which is an item created in a certain batch (represented by the ex:PhilBrau_S40_Premium_Gold_Shaver_ItemBatch392 instance), which in turn belongs to a category of items called PhilBrau S40 Premium Gold Shaver ItemCategory. This item category is represented by the ex: PhilBrau_S40_Premium_Gold_Shaver _ItemCategory instance of the s4inma:ItemCategory class, it has model number ex:nr98647656 and manufacturer PhilBrau, and is produced using a certain production equipment category, namely the ex:Lazor_Series_8030_ProdEquipCategory instance of the s4inma:ProductionEquipmentCategory class.</p>

<p>The ex:Lazor_Series_8030_ProdEquipCategory instance is the general category of a specific production equipment, namely the ex:Laser_Cutting_Machine_1 instance of a laser cutting machine created specifically for this example (i.e. the ex:LaserCuttingMachine class created in this example as a subclass of the s4inma:ProductionEquipment class).</p>

<figure>

  <a href="diagrams/S4INMA Item example.png"><img src="diagrams/S4INMA Item example.png" alt="Item example"/></a>

  <figcaption id="Figure_4">Figure 4: Item example</figcaption>

</figure>

<p><a href="#Figure_5">Figure 5</a> further shows that the Shaver10023 item recursively consists of other three items, namely the ShaverHead3002, StepMotor083 and ShaverBody9440 items. In other words, SAREF4INMA allows to describe an item as a whole (i.e. the shaver) or in its parts (i.e. the shaver head, motor and body). The ShaverBody9440 item is created in the PhilBrau_S40-S50_Generic_Body_ItemBatch3290 item batch, which in turn consists of material from other batches, namely the Torx screws_D2mm_L8mm MaterialBatch323 and ABS_Plastic_Role_8mm_MaterialBatch742. These material batches belong to two different material categories classes created specifically for this example, respectively the ex:Screw class (with its ex:Torx_screws_D2mm_L8mm_MaterialCategory instance) and the ex:Plastic class (with its ex:ABS_Plastic_Role_8mm_MaterialCategory instance), which are both subclasses of s4inma:MaterialCategory. In other words, the body of a shaver is an item created in a batch that is made of other materials such as screws and plastic.</p>

<figure>

  <a href="diagrams/S4INMA Material example.png"><img src="diagrams/S4INMA Material example.png" alt="Material example"/></a>

  <figcaption id="Figure_5">Figure 5: Material example</figcaption>

</figure>

<p>The example instantiation further defines two types of production equipment categories, namely the Lazor_Series_8030_ProdEquipCategory and the WandI_Welding_Series_1000_ProdEquipCategory. These categories represent a certain model of production equipment and not the individual machines, since an organization might have multiple machines of the same model. In particular, there is one laser cutting machine of type Lazor_Series_8030_ProdEquipCategory, namely the Laser_Cutting_Machine_1, and two welding machines, namely Welding_Machine_1 and Welding_Machine_2, which are shown in <a href="#Figure_6">Figure 6</a>.</p>

<p>These machines are instances of the ex:WeldingMachine and the ex:LaserCuttingMachine classes created for this example, which are both subclasses of the s4inma:ProductionEquipment class, which is in turn a subclass of saref:Device, which is in turn a subclass of s4bldg:PhysicalObject. The subclass relation of saref:Device ensures that a s4inma:ProductionEquipment can reuse SAREF functionality by inheritance, such as the possibility to perform functions, be composed by other devices such as sensors (e.g. temperature sensors), control properties (e.g. welding temperature) and make observations. For example, the Welding_Machine_2 production equipment can perform a JoiningFunction (ex:JoiningFunction instance), controls the WeldingTemperature property, and further consists of the WeldingMachineTemperatureSensor1.</p>

<figure>

  <a href="diagrams/S4INMA ProductionEquipm example.png"><img src="diagrams/S4INMA ProductionEquipm example.png" alt="Production Equipment example"/></a>

  <figcaption id="Figure_6">Figure 6: Production Equipment example</figcaption>

</figure>

<p>The Welding Machine Temperature Sensor 1 makes some temperature observation during the production of Shaver10023 in intervals of ten seconds. <a href="#Figure_7">Figure 7</a> shows some example observations related to the production of the Shaver10023 item and the reuse of the SAREF model for observations. For example, the ex:Welding_Machine_2_Observation_W101520 instance is observed by the WeldingMachineTemperatureSensor1, relates to the WeldingTemperature property, has value 223 and unit of measure degree Celsius, has timestamp 2019-01-28T12:11:10 and has the item Shaver10023 as feature of interest.</p>

<figure>

  <a href="diagrams/S4INMA Observation example.png"><img src="diagrams/S4INMA Observation example.png" alt="Observation example"/></a>

  <figcaption id="Figure_7">Figure 7: Observation example</figcaption>

</figure>

<p>Since a s4inma:ProductionEquipment is a subclass of a saref:Device and consequently of s4bldg:PhysicalObject, it is possible to assign each production equipment instance to a physical location within the factory. <a href="#Figure_8">Figure 8</a>shows an instance of a s4inma:Factory class, which in turn is defined in SAREF4INMA as a s4bldg:Building subclass. This instance (ex:Eindhoven_BIC) represents a factory that can be decomposed into Site and Area, building spaces, which are all subclasses of s4bldg:BuildingSpaces. Moreover, the welding machines and the laser cutting machine are part of the Welding_WorkCenter, which is a WorkCenter located in the Area BIC_Site_A_Area_19, which is in its turn located in the Site BIC_Site_A in the Eindhoven BIC building.</p>

<figure>

  <a href="diagrams/S4INMA Factory example.png"><img src="diagrams/S4INMA Factory example.png" alt="Factory example"/></a>

  <figcaption id="Figure_8">Figure 8: Factory example</figcaption>

</figure>