Skip to content
Snippets Groups Projects
Commit d5579b3a authored by albaizq's avatar albaizq
Browse files

updated version of the ontology and examples

parent b8240ba6
No related branches found
No related tags found
No related merge requests found
Showing
with 1087 additions and 3101 deletions
......@@ -3,4 +3,4 @@ This repository contains the code and documentation generated for the SAREF exte
Current version of the ontology model
![Current version of the model](https://github.com/mariapoveda/saref-ext/blob/master/SAREF4INMA/diagrams/saref4inmaOverview.jpg "SAREF4INMA model")
![Current version of the model](https://github.com/mariapoveda/saref-ext/blob/master/SAREF4INMA/diagrams/saref4inmaOverview.png "SAREF4INMA model")
File deleted
This diff is collapsed.
SAREF4INMA/diagrams/saref4inmaOverview.jpg

113 KiB

SAREF4INMA/diagrams/saref4inmaOverview.png

96.3 KiB

SAREF4INMA/examples/S4INMA Factory example.png

60.5 KiB

SAREF4INMA/examples/S4INMA Item example.png

85.5 KiB

SAREF4INMA/examples/S4INMA Material example.png

57.4 KiB

SAREF4INMA/examples/S4INMA Measurement example.png

84.3 KiB

SAREF4INMA/examples/S4INMA ProductionEquipm example.png

66.2 KiB

File deleted
This diff is collapsed.
SAREF4INMA/examples/saref4inmaExample.jpg

134 KiB

# baseURI: http://ontology.tno.nl/examples/saref4inma/shaver
# imports: https://w3id.org/def/saref4inma
@prefix ex: <http://ontology.tno.nl/examples/saref4inma/shaver#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix s4bldg: <https://w3id.org/def/saref4bldg#> .
@prefix s4inma: <https://w3id.org/def/saref4inma#> .
@prefix saref: <https://w3id.org/saref#> .
@prefix time: <http://www.w3.org/2006/time#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
<http://ontology.tno.nl/examples/saref4inma/shaver>
rdf:type owl:Ontology ;
owl:imports <https://w3id.org/def/saref4inma> ;
owl:versionInfo "Created with TopBraid Composer"^^xsd:string ;
.
ex:ABS_Plastic_Role_8mm_MaterialBatch742
rdf:type owl:NamedIndividual ;
rdf:type s4inma:MaterialBatch ;
s4inma:belongsToCategory ex:ABS_Plastic_Role_8mm_MaterialCategory ;
s4inma:hasCertificate "ABS High-precision quality max tolerance of 0.1mm"@en ;
s4inma:hasIdentifier ex:nr71324352 ;
.
ex:ABS_Plastic_Role_8mm_MaterialCategory
rdf:type ex:Plastic ;
rdf:type owl:NamedIndividual ;
.
ex:BIC_Site_A
rdf:type owl:NamedIndividual ;
rdf:type s4inma:Site ;
s4bldg:hasSpace ex:BIC_Site_A_Area_18 ;
s4bldg:hasSpace ex:BIC_Site_A_Area_19 ;
.
ex:BIC_Site_A_Area_18
rdf:type owl:NamedIndividual ;
rdf:type s4inma:Area ;
s4bldg:contains ex:Cutting_and_Milling_WorkCenter ;
.
ex:BIC_Site_A_Area_19
rdf:type owl:NamedIndividual ;
rdf:type s4inma:Area ;
s4bldg:contains ex:Welding_WorkCenter ;
.
ex:BIC_Site_B
rdf:type owl:NamedIndividual ;
rdf:type s4inma:Site ;
.
ex:CuttingFunction
rdf:type owl:Class ;
rdfs:comment "Example of actuating function used in SAREF4INMA. More functions can be defined if needed. It is also possible to link here function code lists from existing standards."^^xsd:string ;
rdfs:subClassOf s4inma:ProductionEquipmentFunction ;
rdfs:subClassOf saref:ActuatingFunction ;
.
ex:Cutting_and_Milling_WorkCenter
rdf:type owl:NamedIndividual ;
rdf:type s4inma:WorkCenter ;
.
ex:Eindhoven_BIC
rdf:type owl:NamedIndividual ;
rdf:type s4inma:Factory ;
s4bldg:hasSpace ex:BIC_Site_A ;
s4bldg:hasSpace ex:BIC_Site_B ;
.
ex:End_Time_Batch392
rdf:type time:Instant ;
.
ex:FormingFunction
rdf:type owl:Class ;
rdfs:comment "Example of actuating function used in SAREF4INMA. More functions can be defined if needed. It is also possible to link here function code lists from existing standards."^^xsd:string ;
rdfs:subClassOf s4inma:ProductionEquipmentFunction ;
rdfs:subClassOf saref:ActuatingFunction ;
.
ex:JIDFUHWEUF323
rdf:type owl:NamedIndividual ;
rdf:type s4inma:GTIN14ID ;
.
ex:JSDFHKLSDF982374
rdf:type owl:NamedIndividual ;
rdf:type s4inma:GTIN14ID ;
.
ex:JoiningFunction
rdf:type owl:Class ;
rdfs:comment "Example of actuating function used in SAREF4INMA. More functions can be defined if needed. It is also possible to link here function code lists from existing standards."^^xsd:string ;
rdfs:subClassOf s4inma:ProductionEquipmentFunction ;
rdfs:subClassOf saref:ActuatingFunction ;
.
ex:LaserCuttingMachine
rdf:type owl:Class ;
rdfs:subClassOf s4inma:ProductionEquipment ;
.
ex:Laser_Cutting_Machine_1
rdf:type ex:LaserCuttingMachine ;
rdf:type owl:NamedIndividual ;
s4bldg:isContainedIn ex:Welding_WorkCenter ;
s4inma:belongsToCategory ex:Lazor_Series_8030_ProdEquipCategory ;
saref:hasFunction ex:CuttingFunction ;
.
ex:Lazor_Series_8030_ProdEquipCategory
rdf:type owl:NamedIndividual ;
rdf:type s4inma:ProductionEquipmentCategory ;
s4inma:isCategoryOf ex:Laser_Cutting_Machine_1 ;
.
ex:MillingMachine
rdf:type owl:Class ;
rdfs:subClassOf s4inma:ProductionEquipment ;
.
ex:MouldingMachine
rdf:type owl:Class ;
rdfs:subClassOf s4inma:ProductionEquipment ;
.
ex:PhilBrau_S40-S50_Generic_Body_ItemBatch3290
rdf:type owl:NamedIndividual ;
rdf:type s4inma:ItemBatch ;
s4inma:consistsOfBatch ex:ABS_Plastic_Role_8mm_MaterialBatch742 ;
s4inma:consistsOfBatch ex:Torx_screws_D2mm_L8mm_MaterialBatch323 ;
s4inma:hasIdentifier ex:nr55689876777421 ;
.
ex:PhilBrau_S40_Premium_Gold_Shaver_ItemBatch392
rdf:type owl:NamedIndividual ;
rdf:type s4inma:ItemBatch ;
time:hasBeginning ex:Start_Time_Batch392 ;
time:hasEnd ex:End_Time_Batch392 ;
s4inma:belongsToCategory ex:PhilBrau_S40_Premium_Gold_Shaver_ItemCategory ;
s4inma:creates ex:Shaver10023 ;
s4inma:hasIdentifier ex:nr34275874234908 ;
s4inma:isFeatureOfInterestOf ex:Welding_Machine_2_Measurement_W101520_AVG ;
s4inma:needsEquipment ex:Laser_Cutting_Machine_1 ;
saref:hasProperty ex:WeldingTemperature ;
.
ex:PhilBrau_S40_Premium_Gold_Shaver_ItemCategory
rdf:type owl:NamedIndividual ;
rdf:type s4inma:ItemCategory ;
s4inma:hasIdentifier ex:nr98647656 ;
s4inma:hasModelNumber "nr98647656"^^xsd:string ;
s4inma:isCategoryOf ex:PhilBrau_S40_Premium_Gold_Shaver_ItemBatch392 ;
s4inma:isProducedBy ex:Lazor_Series_8030_ProdEquipCategory ;
saref:hasManufacturer "PhilBrau"^^xsd:string ;
saref:relatesToMeasurement ex:WeldMachineTempSensor1_Measurement_A10568 ;
.
ex:Philips_screws_D2mm_L8mm_MaterialCategory
rdf:type ex:Screw ;
rdf:type owl:NamedIndividual ;
.
ex:Plastic
rdf:type owl:Class ;
rdfs:subClassOf s4inma:MaterialCategory ;
.
ex:Screw
rdf:type owl:Class ;
rdfs:subClassOf s4inma:MaterialCategory ;
.
ex:Shaver10023
rdf:type owl:NamedIndividual ;
rdf:type s4inma:Item ;
s4inma:consistsOfItem ex:ShaverBody9440 ;
s4inma:consistsOfItem ex:ShaverHead3002 ;
s4inma:consistsOfItem ex:StepMotor083 ;
s4inma:hasSerialNumber ex:nr7865654345676 ;
s4inma:isCreatedIn ex:PhilBrau_S40_Premium_Gold_Shaver_ItemBatch392 ;
s4inma:isFeatureOfInterestOf ex:Welding_Machine_2_Measurement_W101520 ;
s4inma:isFeatureOfInterestOf ex:Welding_Machine_2_Measurement_W101521 ;
s4inma:isFeatureOfInterestOf ex:Welding_Machine_2_Measurement_W101522 ;
s4inma:isFeatureOfInterestOf ex:Welding_Machine_2_Measurement_W101523 ;
saref:hasProperty ex:WeldingTemperature ;
.
ex:ShaverBody9440
rdf:type owl:NamedIndividual ;
rdf:type s4inma:Item ;
s4inma:hasSerialNumber ex:UFHLEIJKFNESDKL323 ;
s4inma:isCreatedIn ex:PhilBrau_S40-S50_Generic_Body_ItemBatch3290 ;
.
ex:ShaverHead3002
rdf:type owl:NamedIndividual ;
rdf:type s4inma:Item ;
s4inma:consistsOfItem ex:Steel_Sheets_RVS331_MaterialBatch311 ;
s4inma:hasSerialNumber ex:JIDFUHWEUF323 ;
.
ex:StampingMachine
rdf:type owl:Class ;
rdfs:subClassOf s4inma:ProductionEquipment ;
.
ex:Start_Time_Batch392
rdf:type time:Instant ;
.
ex:SteelSheet
rdf:type owl:Class ;
rdfs:subClassOf s4inma:MaterialCategory ;
.
ex:Steel_Sheets_RVS331_MaterialBatch311
rdf:type owl:NamedIndividual ;
rdf:type s4inma:MaterialBatch ;
s4inma:belongsToCategory ex:Steel_Sheets_RVS331_MaterialCategory ;
s4inma:hasCertificate "Steel Certificate 3.1"@en ;
s4inma:hasIdentifier ex:nr79009856 ;
.
ex:Steel_Sheets_RVS331_MaterialCategory
rdf:type ex:SteelSheet ;
rdf:type owl:NamedIndividual ;
.
ex:StepMotor083
rdf:type owl:NamedIndividual ;
rdf:type s4inma:Item ;
s4inma:hasSerialNumber ex:JSDFHKLSDF982374 ;
s4inma:isCreatedIn ex:Step_Moters_Q88_Secure_ItemBatch423 ;
.
ex:Step_Moters_Q88_Secure_ItemBatch423
rdf:type owl:NamedIndividual ;
rdf:type s4inma:ItemBatch ;
s4inma:consistsOfItem ex:Steel_Sheets_RVS331_MaterialBatch311 ;
s4inma:consistsOfItem ex:Torx_screws_D2mm_L8mm_MaterialBatch323 ;
s4inma:hasIdentifier ex:nr34254657687978 ;
.
ex:Step_Motors_Q88_Secure_ItemCategory
rdf:type owl:NamedIndividual ;
rdf:type s4inma:ItemCategory ;
s4inma:hasModelNumber ex:nr83049304 ;
s4inma:isProducedBy ex:Lazor_Series_8030_ProdEquipCategory ;
s4inma:isProducedBy ex:WandI_Welding_Series_1000_ProdEquipCategory ;
.
ex:Torx_screws_D2mm_L8mm_MaterialBatch323
rdf:type owl:NamedIndividual ;
rdf:type s4inma:MaterialBatch ;
s4inma:belongsToCategory ex:Torx_screws_D2mm_L8mm_MaterialCategory ;
s4inma:hasIdentifier ex:nr74536275 ;
.
ex:Torx_screws_D2mm_L8mm_MaterialBatch324
rdf:type owl:NamedIndividual ;
rdf:type s4inma:MaterialBatch ;
s4inma:belongsToCategory ex:Torx_screws_D2mm_L8mm_MaterialCategory ;
s4inma:hasIdentifier ex:nr76567876 ;
.
ex:Torx_screws_D2mm_L8mm_MaterialCategory
rdf:type ex:Screw ;
rdf:type owl:NamedIndividual ;
.
ex:UFHLEIJKFNESDKL323
rdf:type owl:NamedIndividual ;
rdf:type s4inma:GTIN14ID ;
.
ex:WandI_Welding_Series_1000_ProdEquipCategory
rdf:type owl:NamedIndividual ;
rdf:type s4inma:ProductionEquipmentCategory ;
.
ex:WeldMachineTempSensor1_Measurement_A10568
rdf:type owl:NamedIndividual ;
rdf:type s4inma:Measurement ;
saref:hasValue 228 ;
saref:isMeasuredByDevice ex:WeldingMachineTemperatureSensor1 ;
saref:isMeasuredIn <http://www.wurvoc.org/vocabularies/om-1.8/degree_Celsius> ;
saref:relatesToProperty ex:WeldingTemperature ;
.
ex:WeldingMachine
rdf:type owl:Class ;
rdfs:subClassOf s4inma:ProductionEquipment ;
.
ex:WeldingMachineTemperatureSensor1
rdf:type owl:NamedIndividual ;
rdf:type saref:TemperatureSensor ;
saref:makesMeasurement ex:WeldMachineTempSensor1_Measurement_A10568 ;
saref:makesMeasurement ex:Welding_Machine_2_Measurement_W101520 ;
saref:makesMeasurement ex:Welding_Machine_2_Measurement_W101520_AVG ;
saref:makesMeasurement ex:Welding_Machine_2_Measurement_W101521 ;
saref:makesMeasurement ex:Welding_Machine_2_Measurement_W101522 ;
saref:makesMeasurement ex:Welding_Machine_2_Measurement_W101523 ;
.
ex:WeldingMachineTemperatureSensor2
rdf:type owl:NamedIndividual ;
rdf:type saref:TemperatureSensor ;
.
ex:WeldingTemperature
rdf:type owl:NamedIndividual ;
rdf:type saref:Temperature ;
.
ex:Welding_Machine_1
rdf:type ex:WeldingMachine ;
rdf:type owl:NamedIndividual ;
s4inma:belongsToCategory ex:WandI_Welding_Series_1000_ProdEquipCategory ;
saref:controlsProperty ex:WeldingTemperature ;
saref:hasFunction ex:JoiningFunction ;
.
ex:Welding_Machine_2
rdf:type ex:WeldingMachine ;
rdf:type owl:NamedIndividual ;
s4bldg:isContainedIn ex:Welding_WorkCenter ;
s4inma:belongsToCategory ex:WandI_Welding_Series_1000_ProdEquipCategory ;
saref:consistsOf ex:WeldingMachineTemperatureSensor1 ;
saref:controlsProperty ex:WeldingTemperature ;
saref:hasFunction ex:JoiningFunction ;
saref:makesMeasurement ex:Welding_Machine_2_Measurement_W101520 ;
saref:makesMeasurement ex:Welding_Machine_2_Measurement_W101520_AVG ;
saref:makesMeasurement ex:Welding_Machine_2_Measurement_W101521 ;
saref:makesMeasurement ex:Welding_Machine_2_Measurement_W101522 ;
saref:makesMeasurement ex:Welding_Machine_2_Measurement_W101523 ;
.
ex:Welding_Machine_2_Measurement_W101520
rdf:type owl:NamedIndividual ;
rdf:type s4inma:ActualMeasurement ;
s4inma:hasFeatureOfInterest ex:Shaver10023 ;
saref:hasTimestamp "2019-01-28T12:11:10"^^xsd:dateTime ;
saref:hasValue 223 ;
saref:isMeasuredByDevice ex:WeldingMachineTemperatureSensor1 ;
saref:isMeasuredIn <http://www.wurvoc.org/vocabularies/om-1.8/degree_Celsius> ;
saref:relatesToProperty ex:WeldingTemperature ;
.
ex:Welding_Machine_2_Measurement_W101520_AVG
rdf:type owl:NamedIndividual ;
rdf:type s4inma:ActualMeasurement ;
s4inma:hasFeatureOfInterest ex:PhilBrau_S40_Premium_Gold_Shaver_ItemBatch392 ;
saref:hasTimestamp "2019-01-28T12:11:40"^^xsd:dateTime ;
saref:hasValue 232 ;
saref:isMeasuredByDevice ex:WeldingMachineTemperatureSensor1 ;
saref:isMeasuredIn <http://www.wurvoc.org/vocabularies/om-1.8/degree_Celsius> ;
saref:relatesToProperty ex:WeldingTemperature ;
.
ex:Welding_Machine_2_Measurement_W101521
rdf:type owl:NamedIndividual ;
rdf:type s4inma:ActualMeasurement ;
s4inma:hasFeatureOfInterest ex:Shaver10023 ;
saref:hasTimestamp "2019-01-28T12:11:20"^^xsd:dateTime ;
saref:hasValue 228 ;
saref:isMeasuredByDevice ex:WeldingMachineTemperatureSensor1 ;
saref:isMeasuredIn <http://www.wurvoc.org/vocabularies/om-1.8/degree_Celsius> ;
saref:relatesToProperty ex:WeldingTemperature ;
.
ex:Welding_Machine_2_Measurement_W101522
rdf:type owl:NamedIndividual ;
rdf:type s4inma:ActualMeasurement ;
s4inma:hasFeatureOfInterest ex:Shaver10023 ;
saref:hasTimestamp "2019-01-28T12:11:30"^^xsd:dateTime ;
saref:hasValue 231 ;
saref:isMeasuredByDevice ex:WeldingMachineTemperatureSensor1 ;
saref:isMeasuredIn <http://www.wurvoc.org/vocabularies/om-1.8/degree_Celsius> ;
saref:relatesToProperty ex:WeldingTemperature ;
.
ex:Welding_Machine_2_Measurement_W101523
rdf:type owl:NamedIndividual ;
rdf:type s4inma:ActualMeasurement ;
s4inma:hasFeatureOfInterest ex:Shaver10023 ;
saref:hasTimestamp "2019-01-28T12:11:40"^^xsd:dateTime ;
saref:hasValue 232 ;
saref:isMeasuredByDevice ex:WeldingMachineTemperatureSensor1 ;
saref:isMeasuredIn <http://www.wurvoc.org/vocabularies/om-1.8/degree_Celsius> ;
saref:relatesToProperty ex:WeldingTemperature ;
.
ex:Welding_WorkCenter
rdf:type owl:NamedIndividual ;
rdf:type s4inma:WorkCenter ;
saref:consistsOf ex:Laser_Cutting_Machine_1 ;
saref:consistsOf ex:Welding_Machine_1 ;
saref:consistsOf ex:Welding_Machine_2 ;
.
ex:dateTimeStamp_1
rdf:type xsd:dateTimeStamp ;
.
ex:nr34254657687978
rdf:type owl:NamedIndividual ;
rdf:type s4inma:GTIN14ID ;
.
ex:nr34275874234908
rdf:type owl:NamedIndividual ;
rdf:type s4inma:GTIN14ID ;
s4inma:hasIDValue "nr34275874234908"^^xsd:string ;
.
ex:nr55689876777421
rdf:type owl:NamedIndividual ;
rdf:type s4inma:GTIN14ID ;
.
ex:nr71324352
rdf:type owl:NamedIndividual ;
rdf:type s4inma:GTIN8ID ;
.
ex:nr74536275
rdf:type owl:NamedIndividual ;
rdf:type s4inma:GTIN8ID ;
.
ex:nr76567876
rdf:type owl:NamedIndividual ;
rdf:type s4inma:GTIN8ID ;
.
ex:nr7865654345676
rdf:type owl:NamedIndividual ;
rdf:type s4inma:GTIN14ID ;
s4inma:hasIDValue "nr7865654345676"^^xsd:string ;
.
ex:nr79009856
rdf:type owl:NamedIndividual ;
rdf:type s4inma:GTIN8ID ;
.
ex:nr82849583748573
rdf:type owl:NamedIndividual ;
rdf:type s4inma:GTIN14ID ;
.
ex:nr83049304
rdf:type owl:NamedIndividual ;
rdf:type s4inma:GTIN8ID ;
.
ex:nr98647656
rdf:type owl:NamedIndividual ;
rdf:type s4inma:GTIN8ID ;
s4inma:hasIDValue "nr98647656"^^xsd:string ;
.
owl:maxQualifiedCardinality
rdf:type owl:AnnotationProperty ;
.
s4inma:ActualMeasurement
rdfs:comment "Describes whether the measurement is actually measured during the production process. Disjoint with ExpectedMeasurement."^^xsd:string ;
.
s4inma:Area
rdf:type owl:Class ;
.
s4inma:Batch
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty s4inma:hasIDValue ;
owl:someValuesFrom xsd:string ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty s4inma:hasIdentifier ;
owl:someValuesFrom s4inma:ID ;
] ;
.
s4inma:ExpectedMeasurement
rdfs:comment "Describes whether the measurement is expected (i.e., planned before the production process). Disjoint with ActualMeasurement."^^xsd:string ;
owl:disjointWith s4inma:ActualMeasurement ;
.
s4inma:Factory
rdf:type owl:Class ;
.
s4inma:GTIN14ID
rdf:type owl:Class ;
.
s4inma:GTIN8ID
rdf:type owl:Class ;
.
s4inma:Item
rdf:type owl:Class ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:allValuesFrom xsd:string ;
owl:onProperty s4inma:hasIDValue ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:allValuesFrom s4inma:ID ;
owl:onProperty s4inma:hasSerialNumber ;
] ;
.
s4inma:ItemBatch
rdf:type owl:Class ;
.
s4inma:ItemCategory
rdf:type owl:Class ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:string ;
owl:onProperty saref:hasManufacturer ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty s4inma:hasIDValue ;
owl:someValuesFrom xsd:string ;
] ;
.
s4inma:MaterialBatch
rdf:type owl:Class ;
.
s4inma:MaterialCategory
rdf:type owl:Class ;
.
s4inma:Measurement
rdf:type owl:Class ;
.
s4inma:ProductionEquipment
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty s4inma:hasIDValue ;
owl:someValuesFrom xsd:string ;
] ;
.
s4inma:ProductionEquipmentCategory
rdf:type owl:Class ;
.
s4inma:Site
rdf:type owl:Class ;
.
s4inma:WorkCenter
rdf:type owl:Class ;
.
s4inma:creates
rdfs:comment "A relation between a production process (e.g., Batch) that creates one or more tangible objects (e.g., Items)"^^xsd:string ;
.
s4inma:isCreatedIn
owl:inverseOf s4inma:creates ;
.
saref:Device
rdf:type owl:Class ;
rdfs:label "Device"^^xsd:string ;
rdfs:subClassOf s4bldg:PhysicalObject ;
.
saref:Temperature
rdf:type owl:Class ;
.
saref:TemperatureSensor
rdf:type owl:Class ;
.
[
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
].
[
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
].
This diff is collapsed.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment