@prefix : <https://w3id.org/emmo#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@base <https://w3id.org/emmo#> .
<https://w3id.org/emmo/perspectives/persistence> rdf:type owl:Ontology ;
owl:versionIRI <https://w3id.org/emmo/1.0.0/perspectives/persistence> ;
owl:imports <https://w3id.org/emmo/1.0.0/perspectives/perspective> ;
dcterms:abstract ""@en ;
dcterms:contributor :GerhardGoldbeck ,
:JesperFriis ;
dcterms:creator :EmanueleGhedini ;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher <https://emmc.eu> ;
dcterms:title "Persistence"@en ;
rdfs:comment :FrancescoZaccarini ,
"The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
owl:versionInfo "1.0.0" ;
:EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" .
#################################################################
# Object Properties
#################################################################
### https://w3id.org/emmo#EMMO_0154a22e_2fd3_460a_a245_408ddb414f09
:EMMO_0154a22e_2fd3_460a_a245_408ddb414f09 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_2bb50428_568d_46e8_b8bf_59a4c5656461 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
skos:prefLabel "isObjectOutputOf"@en .
### https://w3id.org/emmo#EMMO_0c1009ee_d84c_4b8c_bcea_756f07af1b32
:EMMO_0c1009ee_d84c_4b8c_bcea_756f07af1b32 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_36e69413_8c59_4799_946c_10b05d266e22 ;
owl:inverseOf :EMMO_27ceaab7_8293_408d_a22b_ad4bf4a7bc2d ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:range :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
rdfs:seeAlso :EMMO_27ceaab7_8293_408d_a22b_ad4bf4a7bc2d ;
skos:prefLabel "hasObjectInput"@en .
### https://w3id.org/emmo#EMMO_1440d010_e4c5_4597_8858_1d58cb1fb28f
:EMMO_1440d010_e4c5_4597_8858_1d58cb1fb28f rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 ;
rdfs:domain :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ;
rdfs:range :EMMO_d9589ed2_5304_48b3_9795_11bf44e64e9b ;
skos:prefLabel "hasStatus"@en .
### https://w3id.org/emmo#EMMO_1494c1a9_00e1_40c2_a9cc_9bbf302a1cac
:EMMO_1494c1a9_00e1_40c2_a9cc_9bbf302a1cac rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_64be8885_2c8a_4e84_a4fc_9d2de61b4d0d ;
owl:inverseOf :EMMO_36e69413_8c59_4799_946c_10b05d266e22 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:range :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ;
rdfs:seeAlso :EMMO_36e69413_8c59_4799_946c_10b05d266e22 ;
skos:prefLabel "isInputOf"@en .
### https://w3id.org/emmo#EMMO_1cfd072d_2157_43e2_b9f6_ff1e7a708774
:EMMO_1cfd072d_2157_43e2_b9f6_ff1e7a708774 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_b3c8ba10_6bee_45e7_9416_e9019aa9f023 ;
owl:inverseOf :EMMO_64be8885_2c8a_4e84_a4fc_9d2de61b4d0d ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
skos:prefLabel "isIncomingOverlappedBy"@en .
### https://w3id.org/emmo#EMMO_27ceaab7_8293_408d_a22b_ad4bf4a7bc2d
:EMMO_27ceaab7_8293_408d_a22b_ad4bf4a7bc2d rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_1494c1a9_00e1_40c2_a9cc_9bbf302a1cac ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
skos:prefLabel "isObjectInputOf"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between an object O that proper overlaps a process P, where the non overapping part of P is caused by O."@en .
### https://w3id.org/emmo#EMMO_29e45c39_cc99_43f8_a545_f329f622f551
:EMMO_29e45c39_cc99_43f8_a545_f329f622f551 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_b3c8ba10_6bee_45e7_9416_e9019aa9f023 ;
owl:inverseOf :EMMO_d78b940d_4e2a_4a46_816b_da89029adc19 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
skos:prefLabel "throughOverlaps"@en .
### https://w3id.org/emmo#EMMO_2bb50428_568d_46e8_b8bf_59a4c5656461
:EMMO_2bb50428_568d_46e8_b8bf_59a4c5656461 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_c5b4c32b_74de_403d_96f2_266bec8bd0e8 ;
owl:inverseOf :EMMO_c4bace1d_4db0_4cd3_87e9_18122bae2840 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:range :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ;
skos:prefLabel "isOutputOf"@en .
### https://w3id.org/emmo#EMMO_2d572205_274c_414a_9564_01c3e14e3c8f
:EMMO_2d572205_274c_414a_9564_01c3e14e3c8f rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_86726b7c_b208_4690_893e_0cc798fac974 ;
owl:inverseOf :EMMO_3c51ea74_43a4_42d5_953b_fcb43f359c73 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
skos:prefLabel "isInfluencedBy"@en .
### https://w3id.org/emmo#EMMO_2fe8b850_9f2d_4c13_8be9_6ae2487de393
:EMMO_2fe8b850_9f2d_4c13_8be9_6ae2487de393 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_eb3ffec6_3d69_4633_a3b1_088ad53cb00b ;
owl:inverseOf :EMMO_5aa0f895_1567_4239_8343_29e91a33d4c9 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
rdfs:range :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
skos:prefLabel "isRemovedFrom"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between an object O1 and a object O2 that proper overlap, where the non overapping part of O2 is caused by O1."@en .
### https://w3id.org/emmo#EMMO_31693539_435a_4b0d_9366_b01e4f294a28
:EMMO_31693539_435a_4b0d_9366_b01e4f294a28 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_86726b7c_b208_4690_893e_0cc798fac974 ;
owl:inverseOf :EMMO_ea7724fe_ba5d_4201_865e_761cb6fe9f99 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
skos:prefLabel "gets"@en .
### https://w3id.org/emmo#EMMO_35c29eb6_f57e_48d8_85af_854f9e926e77
:EMMO_35c29eb6_f57e_48d8_85af_854f9e926e77 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_d78b940d_4e2a_4a46_816b_da89029adc19 ;
owl:inverseOf :EMMO_e1c65ca8_6fed_4859_b320_5f14928e8464 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
skos:prefLabel "isParticipatedBy"@en .
### https://w3id.org/emmo#EMMO_36e69413_8c59_4799_946c_10b05d266e22
:EMMO_36e69413_8c59_4799_946c_10b05d266e22 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_1cfd072d_2157_43e2_b9f6_ff1e7a708774 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ;
skos:prefLabel "hasInput"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between an entity and a process, where the entity is the input of that process."@en .
### https://w3id.org/emmo#EMMO_3c51ea74_43a4_42d5_953b_fcb43f359c73
:EMMO_3c51ea74_43a4_42d5_953b_fcb43f359c73 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_7d77a013_1a0c_46fe_a6d8_ef6f4abb44fa ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ;
rdfs:range :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
skos:prefLabel "influences"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between a process P that proper overlaps an object O, where the non overlapping part of P is cause of O."@en .
### https://w3id.org/emmo#EMMO_449beacd_4fda_4d46_a723_d2118f4e2623
:EMMO_449beacd_4fda_4d46_a723_d2118f4e2623 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_29e45c39_cc99_43f8_a545_f329f622f551 ;
owl:inverseOf :EMMO_d3d46e3f_20c0_4507_9076_2c849ada490a ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ;
rdfs:range :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
skos:prefLabel "affects"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between a process P that proper overlaps an object O."@en .
### https://w3id.org/emmo#EMMO_451ce6e1_9742_4e04_9bf8_acfcc81876f1
:EMMO_451ce6e1_9742_4e04_9bf8_acfcc81876f1 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_2bb50428_568d_46e8_b8bf_59a4c5656461 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ;
skos:prefLabel "isProcessOutputOf"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between a process P1 that proper overlaps a process P2, where the non overlapping part of P1 is caused by P2."@en .
### https://w3id.org/emmo#EMMO_571a8adb_f38f_4122_8754_044ea2490cd0
:EMMO_571a8adb_f38f_4122_8754_044ea2490cd0 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_3733bd38_ca2b_4264_a92a_3075a1715598 ;
skos:prefLabel "isProcessedTo"@en .
### https://w3id.org/emmo#EMMO_5aa0f895_1567_4239_8343_29e91a33d4c9
:EMMO_5aa0f895_1567_4239_8343_29e91a33d4c9 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_bed37b1f_0479_4b61_bd49_54e25f414222 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
skos:prefLabel "releases"@en .
### https://w3id.org/emmo#EMMO_5d2a2443_5c1c_4239_b707_bae3cbf77fc2
:EMMO_5d2a2443_5c1c_4239_b707_bae3cbf77fc2 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_1494c1a9_00e1_40c2_a9cc_9bbf302a1cac ;
owl:inverseOf :EMMO_eaef29bd_bd79_4de1_b192_4fdc9016730b ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
skos:prefLabel "isProcessInputOf"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between a process P1 that proper overlaps a process P2, where the non overlapping part of P1 is causing P2."@en .
### https://w3id.org/emmo#EMMO_64be8885_2c8a_4e84_a4fc_9d2de61b4d0d
:EMMO_64be8885_2c8a_4e84_a4fc_9d2de61b4d0d rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_b3c8ba10_6bee_45e7_9416_e9019aa9f023 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
skos:prefLabel "incomingOverlaps"@en .
### https://w3id.org/emmo#EMMO_7329967c_3972_4c99_b478_84f66436620d
:EMMO_7329967c_3972_4c99_b478_84f66436620d rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 ;
rdfs:domain :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
rdfs:range :EMMO_2553c342_fc28_47d8_8e19_7a98fa08f150 ;
skos:prefLabel "hasSubObject"@en .
### https://w3id.org/emmo#EMMO_7d77a013_1a0c_46fe_a6d8_ef6f4abb44fa
:EMMO_7d77a013_1a0c_46fe_a6d8_ef6f4abb44fa rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_64be8885_2c8a_4e84_a4fc_9d2de61b4d0d ;
owl:inverseOf :EMMO_86726b7c_b208_4690_893e_0cc798fac974 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
skos:prefLabel "joins"@en .
### https://w3id.org/emmo#EMMO_86726b7c_b208_4690_893e_0cc798fac974
:EMMO_86726b7c_b208_4690_893e_0cc798fac974 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_1cfd072d_2157_43e2_b9f6_ff1e7a708774 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
skos:prefLabel "isJoinedBy"@en .
### https://w3id.org/emmo#EMMO_8a9b62df_e1ee_463b_bd1c_9fd9a572e970
:EMMO_8a9b62df_e1ee_463b_bd1c_9fd9a572e970 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_bed37b1f_0479_4b61_bd49_54e25f414222 ;
owl:inverseOf :EMMO_ee518694_9a11_41e5_ada2_8c68c62c2993 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
skos:prefLabel "generates"@en .
### https://w3id.org/emmo#EMMO_ae2d1a96_bfa1_409a_a7d2_03d69e8a125a
:EMMO_ae2d1a96_bfa1_409a_a7d2_03d69e8a125a rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611 ;
rdfs:domain :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ;
rdfs:range :EMMO_13191289_6c2b_4741_93e1_82d53bd0e703 ;
rdfs:comment """Participation is a parthood relation: you must be part of the process to contribute to it. A participant whose 4D extension is totally contained within the process.
Participation is not under direct parthood since a process is not strictly related to reductionism, but it's a way to categorise temporal regions by the interpreters."""@en ;
skos:prefLabel "hasParticipant"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between a process and an object participating to it, i.e. that is relevant to the process itself."@en .
### https://w3id.org/emmo#EMMO_b1a64980_c524_4d48_af8f_9805570ce453
:EMMO_b1a64980_c524_4d48_af8f_9805570ce453 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_b3c8ba10_6bee_45e7_9416_e9019aa9f023 ;
owl:inverseOf :EMMO_c5b4c32b_74de_403d_96f2_266bec8bd0e8 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
skos:prefLabel "isOutgoingOverlappedBy"@en .
### https://w3id.org/emmo#EMMO_bed37b1f_0479_4b61_bd49_54e25f414222
:EMMO_bed37b1f_0479_4b61_bd49_54e25f414222 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_b1a64980_c524_4d48_af8f_9805570ce453 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
skos:prefLabel "isLeftBy"@en .
### https://w3id.org/emmo#EMMO_c4bace1d_4db0_4cd3_87e9_18122bae2840
:EMMO_c4bace1d_4db0_4cd3_87e9_18122bae2840 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_b1a64980_c524_4d48_af8f_9805570ce453 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ;
skos:prefLabel "hasOutput"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between an process and an entity, where the entity is the output of that process."@en .
### https://w3id.org/emmo#EMMO_c5b4c32b_74de_403d_96f2_266bec8bd0e8
:EMMO_c5b4c32b_74de_403d_96f2_266bec8bd0e8 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_b3c8ba10_6bee_45e7_9416_e9019aa9f023 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
skos:prefLabel "outgoingOverlaps"@en .
### https://w3id.org/emmo#EMMO_cd4ca7b9_127d_41ce_81fd_bbb312263aca
:EMMO_cd4ca7b9_127d_41ce_81fd_bbb312263aca rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_d78b940d_4e2a_4a46_816b_da89029adc19 ;
owl:inverseOf :EMMO_f09e1d0a_07ce_4121_8c89_5bd67b7e8116 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
skos:prefLabel "isContributedBy"@en .
### https://w3id.org/emmo#EMMO_d05e7aea_7d45_412c_8724_43772ee92240
:EMMO_d05e7aea_7d45_412c_8724_43772ee92240 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_d78b940d_4e2a_4a46_816b_da89029adc19 ;
owl:inverseOf :EMMO_e9d65041_d87d_4b04_9fe9_1eed8f9c0370 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
skos:prefLabel "isPartakenBy"@en .
### https://w3id.org/emmo#EMMO_d162b33e_e1f5_47dc_b06f_58f35e591f45
:EMMO_d162b33e_e1f5_47dc_b06f_58f35e591f45 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_c4bace1d_4db0_4cd3_87e9_18122bae2840 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:range :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ;
skos:prefLabel "hasProcessOutput"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between two processes, where the second is the input of the first."@en .
### https://w3id.org/emmo#EMMO_d3d46e3f_20c0_4507_9076_2c849ada490a
:EMMO_d3d46e3f_20c0_4507_9076_2c849ada490a rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_d78b940d_4e2a_4a46_816b_da89029adc19 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
skos:prefLabel "isAffectedBy"@en .
### https://w3id.org/emmo#EMMO_d43af210_f854_4432_a891_ce3022e3b558
:EMMO_d43af210_f854_4432_a891_ce3022e3b558 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611 ;
rdfs:domain :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ;
rdfs:range :EMMO_49804605_c0fe_4538_abda_f70ba1dc8a5d ;
skos:prefLabel "hasSubProcess"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between a process and one of its process parts."@en .
### https://w3id.org/emmo#EMMO_d78b940d_4e2a_4a46_816b_da89029adc19
:EMMO_d78b940d_4e2a_4a46_816b_da89029adc19 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_b3c8ba10_6bee_45e7_9416_e9019aa9f023 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
skos:prefLabel "isThroughOverlappedBy"@en .
### https://w3id.org/emmo#EMMO_dba27ca1_33c9_4443_a912_1519ce4c39ec
:EMMO_dba27ca1_33c9_4443_a912_1519ce4c39ec rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611 ;
rdfs:domain :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
rdfs:range :EMMO_ceaaf9f7_fd11_424b_8fda_9afa186af186 ;
skos:prefLabel "hasConstituent"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between an object and one of its holistic part that contributes to the object under some spatial-based criteria."@en .
### https://w3id.org/emmo#EMMO_e1c65ca8_6fed_4859_b320_5f14928e8464
:EMMO_e1c65ca8_6fed_4859_b320_5f14928e8464 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_29e45c39_cc99_43f8_a545_f329f622f551 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
rdfs:range :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ;
skos:prefLabel "participatesTo"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between a process P and an object O that partially overlaps and the intersection between P and O is a participant of P."@en .
### https://w3id.org/emmo#EMMO_e3850f08_8e79_454b_9d83_c517cab42857
:EMMO_e3850f08_8e79_454b_9d83_c517cab42857 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611 ;
rdfs:domain :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
rdfs:range :EMMO_f68858dd_64f4_4877_b7fb_70d04fbe5bab ;
skos:prefLabel "hasConstitutiveProcess"@en .
### https://w3id.org/emmo#EMMO_e701ec30_c993_48bf_8f29_fb10664065e5
:EMMO_e701ec30_c993_48bf_8f29_fb10664065e5 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_c4bace1d_4db0_4cd3_87e9_18122bae2840 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:range :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
skos:prefLabel "hasObjectOutput"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between an process and an object, where the object is the output of that process."@en .
### https://w3id.org/emmo#EMMO_e9d65041_d87d_4b04_9fe9_1eed8f9c0370
:EMMO_e9d65041_d87d_4b04_9fe9_1eed8f9c0370 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_29e45c39_cc99_43f8_a545_f329f622f551 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
rdfs:range :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
skos:prefLabel "partakesIn"@en .
### https://w3id.org/emmo#EMMO_ea7724fe_ba5d_4201_865e_761cb6fe9f99
:EMMO_ea7724fe_ba5d_4201_865e_761cb6fe9f99 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_7d77a013_1a0c_46fe_a6d8_ef6f4abb44fa ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
rdfs:range :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
skos:prefLabel "isAddedTo"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between an object O1 and a object O2 that proper overlap, and the overlapping part of O1 is: a) next of the non overlapping part and b) a constituent of O2."@en .
### https://w3id.org/emmo#EMMO_eaef29bd_bd79_4de1_b192_4fdc9016730b
:EMMO_eaef29bd_bd79_4de1_b192_4fdc9016730b rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_36e69413_8c59_4799_946c_10b05d266e22 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:range :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ;
skos:prefLabel "hasProcessInput"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between two processes, where the first is the input of the second."@en .
### https://w3id.org/emmo#EMMO_eb3ffec6_3d69_4633_a3b1_088ad53cb00b
:EMMO_eb3ffec6_3d69_4633_a3b1_088ad53cb00b rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_c5b4c32b_74de_403d_96f2_266bec8bd0e8 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
skos:prefLabel "leaves"@en .
### https://w3id.org/emmo#EMMO_ebc8c324_8e7a_4b09_bcb5_306e0c461d24
:EMMO_ebc8c324_8e7a_4b09_bcb5_306e0c461d24 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 ;
rdfs:domain :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
rdfs:range :EMMO_210e7e99_c1cf_44cc_87c7_310a10ff068b ;
skos:prefLabel "hasBehaviour"@en .
### https://w3id.org/emmo#EMMO_ee518694_9a11_41e5_ada2_8c68c62c2993
:EMMO_ee518694_9a11_41e5_ada2_8c68c62c2993 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_eb3ffec6_3d69_4633_a3b1_088ad53cb00b ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ;
rdfs:range :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
skos:prefLabel "isGeneratedBy"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between a process P that proper overlaps an object O , where the non overapping part of P is caused by O."@en .
### https://w3id.org/emmo#EMMO_f09e1d0a_07ce_4121_8c89_5bd67b7e8116
:EMMO_f09e1d0a_07ce_4121_8c89_5bd67b7e8116 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_29e45c39_cc99_43f8_a545_f329f622f551 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ;
rdfs:range :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ;
skos:prefLabel "contributesTo"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between a process P1 that proper overlaps a process P2."@en .
### https://w3id.org/emmo#EMMO_f22abf74_4538_4f50_ab85_09908cdda707
:EMMO_f22abf74_4538_4f50_ab85_09908cdda707 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 ;
rdfs:domain :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ;
rdfs:range :EMMO_a633c6f8_4269_4870_9b28_f5ca1783fd54 ;
skos:prefLabel "hasStage"@en .
#################################################################
# Classes
#################################################################
### https://w3id.org/emmo#EMMO_13191289_6c2b_4741_93e1_82d53bd0e703
:EMMO_13191289_6c2b_4741_93e1_82d53bd0e703 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_9d799b43_e188_4047_8167_121d96b31a26 ,
[ rdf:type owl:Restriction ;
owl:onProperty [ owl:inverseOf :EMMO_ae2d1a96_bfa1_409a_a7d2_03d69e8a125a
] ;
owl:someValuesFrom :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce
] ;
skos:example "A student during an examination."@en ;
skos:prefLabel "Participant"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An object which is a spatial part of a process."@en .
### https://w3id.org/emmo#EMMO_210e7e99_c1cf_44cc_87c7_310a10ff068b
:EMMO_210e7e99_c1cf_44cc_87c7_310a10ff068b rdf:type owl:Class ;
rdfs:subClassOf :EMMO_846b637b_7b12_47a1_9430_0274b2f588ac ,
[ rdf:type owl:Restriction ;
owl:onProperty [ owl:inverseOf :EMMO_ebc8c324_8e7a_4b09_bcb5_306e0c461d24
] ;
owl:someValuesFrom :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606
] ;
skos:example "Accelerating is a behaviour of a car."@en ;
skos:prefLabel "Behaviour"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A process which is a temporal part of an object."@en .
### https://w3id.org/emmo#EMMO_2553c342_fc28_47d8_8e19_7a98fa08f150
:EMMO_2553c342_fc28_47d8_8e19_7a98fa08f150 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_9d799b43_e188_4047_8167_121d96b31a26 ,
[ rdf:type owl:Restriction ;
owl:onProperty [ owl:inverseOf :EMMO_7329967c_3972_4c99_b478_84f66436620d
] ;
owl:someValuesFrom :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606
] ;
skos:example "If an inhabited house is considered as an house that is occupied by some people in its majority of time, then an interval of inhabited house in which occasionally nobody is in there is no more an inhabited house, but an unhinabited house, since this temporal part does not satisfy the criteria of the whole."@en ;
skos:prefLabel "SubObject"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An object which is a temporal part of another object."@en ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Here we consider a temporal interval that is lower than the characteristic time of the physical process that provides the causality connection between the object parts."@en .
### https://w3id.org/emmo#EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce
:EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce rdf:type owl:Class ;
rdfs:subClassOf :EMMO_e04884d9_eda6_487e_93d5_7722d7eda96b ;
skos:altLabel "Occurrent"@en ,
"Perdurant"@en ;
skos:example """Practically speaking, the Process class can be populated by primitive subclasses (e.g. Cooking) for each of which holds the axiom that not all the item temporal parts are of the same type of the whole (e.g. breaking an egg, which is not necessarily a cooking process) and there are at least two temporal item parts of different types (e.g. breaking and egg and turning on the stove).
The intended usage is not for an individual to belong directly to Process, but to belong to a specific subclass of Process that identifies entities with a specific non-type-persistent structure."""@en ;
skos:prefLabel "Process"@en ;
:EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "Equivalent To: Behaviour or ConstitutiveProcess or Stage or SubProcess" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass for causal structure classes whose individuals have some temporal item parts that are not of the same type of the whole."@en ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A process can be defined only according to an entity type. The minimum process is an entity made of two entities of different types that are temporally related."@en ,
"""Following the common definition of process, the reader may think that every entity in the EMMO should be a process, since every 4D entity0 always has a time dimension. However, in the EMMO we restrict the concept of process to items whose temporal parts show a change in type (i.e. every 4D object unfolds in time, but not every 4D time unfolding may be of interest for the ontologist and categorized as a process).
The definition of every specific process subclass requires a reference type, that is expressed by some but not all temporal parts."""@en .
### https://w3id.org/emmo#EMMO_49804605_c0fe_4538_abda_f70ba1dc8a5d
:EMMO_49804605_c0fe_4538_abda_f70ba1dc8a5d rdf:type owl:Class ;
rdfs:subClassOf :EMMO_846b637b_7b12_47a1_9430_0274b2f588ac ,
[ rdf:type owl:Restriction ;
owl:onProperty [ owl:inverseOf :EMMO_d43af210_f854_4432_a891_ce3022e3b558
] ;
owl:someValuesFrom :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce
] ;
skos:example "Breathing is a subprocess of living for a human being."@en ;
skos:prefLabel "SubProcess"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A process which is a spatial part of another process."@en ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """In the EMMO the relation of participation to a process falls under mereotopology.
Since topological connection means causality, then the only way for a real world object to participate to a process is to be a part of it."""@en .
### https://w3id.org/emmo#EMMO_846b637b_7b12_47a1_9430_0274b2f588ac
:EMMO_846b637b_7b12_47a1_9430_0274b2f588ac rdf:type owl:Class ;
rdfs:subClassOf :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ;
skos:prefLabel "ProcessByContext"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass for all classes that categorise projects according to their mereological and persistence context"@en .
### https://w3id.org/emmo#EMMO_90ae56e4_d197_49b6_be1a_0049e4756606
:EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_e04884d9_eda6_487e_93d5_7722d7eda96b ;
skos:altLabel "Continuant"@en ,
"Endurant"@en ;
skos:example "If ϕ is the class of human beings, then the 4D entity representing a lifetime from birth to death in senile age is an object. if ϕ is the class of underages, the 4D entity representing the same lifetime is a process, since the underage covers only a part of the lifetime."@en ,
"""Practically speaking, the Object class can be populated by primitive subclasses (e.g. Car) for each of which holds the axiom that all the item parts are of the same type of the whole (e.g. Car SubClassOf hasTemporalItemPart only Car).
The intended usage is not for an individual to belong directly to Object, but to belong to a specific subclass of Object that identifies entities with a type-persistent structure."""@en ;
skos:prefLabel "Object"@en ;
:EMMO_31252f35_c767_4b97_a877_1235076c3e13 "An item can be classified as an object according to a type ϕ (a ϕ-object) if it's a ϕ all its temporal item parts are also of type ϕ. This conceptualisation tries to catch the persistency of type in the temporal parts of an entity."@en ;
:EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "Equivalent To: Constituent or Participant or Status or SubObject" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass for causal structure classes whose individuals have all temporal item parts of the same type of the whole."@en ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """Indefinitely temporally slicing of an entity leads to temporal parts whose temporal extension is so small that the connectivity relations that define the entity as an item will no longer hold. More generally. a temporal part is no more of type ϕ when the temporal interval is lower than the interval that characterizes the causality interactions between the object parts.
In other terms, if the time span of a temporal part is lower than the inverse of the frequency of interactions between the constituents, then the constituents in such temporal part are not connected. The object is no more an object, neither an item, but simply a collection of fundamental quantum parts.
For this reason, the definition of object is done by considering only item temporal parts, meaning that slicing in time has the lower limit of a self-connected (i.e. item) entity."""@en .
### https://w3id.org/emmo#EMMO_9d799b43_e188_4047_8167_121d96b31a26
:EMMO_9d799b43_e188_4047_8167_121d96b31a26 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
skos:prefLabel "ObjectByContext"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass for all classes that categorise objects according to their mereological and persistence context"@en .
### https://w3id.org/emmo#EMMO_a633c6f8_4269_4870_9b28_f5ca1783fd54
:EMMO_a633c6f8_4269_4870_9b28_f5ca1783fd54 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_846b637b_7b12_47a1_9430_0274b2f588ac ,
[ rdf:type owl:Restriction ;
owl:onProperty [ owl:inverseOf :EMMO_f22abf74_4538_4f50_ab85_09908cdda707
] ;
owl:someValuesFrom :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce
] ;
skos:example "Moving a leg is a stage of the process of running."@en ;
skos:prefLabel "Stage"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A process which is a temporal part of another process."@en .
### https://w3id.org/emmo#EMMO_ceaaf9f7_fd11_424b_8fda_9afa186af186
:EMMO_ceaaf9f7_fd11_424b_8fda_9afa186af186 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_9d799b43_e188_4047_8167_121d96b31a26 ,
[ rdf:type owl:Restriction ;
owl:onProperty [ owl:inverseOf :EMMO_dba27ca1_33c9_4443_a912_1519ce4c39ec
] ;
owl:someValuesFrom :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606
] ;
skos:altLabel "ObjectPart"@en ;
skos:example "A tire is a constituent of a car."@en ;
skos:prefLabel "Constituent"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An object which is a spatial part of another object."@en .
### https://w3id.org/emmo#EMMO_d9589ed2_5304_48b3_9795_11bf44e64e9b
:EMMO_d9589ed2_5304_48b3_9795_11bf44e64e9b rdf:type owl:Class ;
rdfs:subClassOf :EMMO_9d799b43_e188_4047_8167_121d96b31a26 ,
[ rdf:type owl:Restriction ;
owl:onProperty [ owl:inverseOf :EMMO_1440d010_e4c5_4597_8858_1d58cb1fb28f
] ;
owl:someValuesFrom :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce
] ;
skos:altLabel "State"@en ;
skos:example "A semi-naked man is a status in the process of a man's dressing."@en ;
skos:prefLabel "Status"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An object which is a temporal part of a process."@en .
### https://w3id.org/emmo#EMMO_e04884d9_eda6_487e_93d5_7722d7eda96b
:EMMO_e04884d9_eda6_487e_93d5_7722d7eda96b rdf:type owl:Class ;
rdfs:subClassOf :EMMO_49267eba_5548_4163_8f36_518d65b583f9 ;
skos:prefLabel "Persistence"@en ;
:EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "EquivalentTo: Process or Object" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The union of the object or process classes."@en ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """The persistence perspective classifies entities according to the persistence of temporal parts of specifc type, introducing the distiction between objects (when a type is conserved through all its time parts) or processes (where a type is not conserved through all its time parts).
This perspective provides classes aimed to represent concepts similar to the ones of endurant and perdurant (a.k.a. continuant and occurrent). However, in the EMMO case, an entity is defined as an object or a process according to a specific type, and not per-se. For this reason an entity in the EMMO can be classified both object or a process depending on the reference type, due to the underlying 4D framework (e.g. an individual may belong both to the class of runners and the class of running process), and the distinction is purely representational.
This categorisation has been introduced due to the large use of object/process commonsensical concepts, and the fact that our language distinguish between nouns and verbs to address things, forcing the separation between things that happens and things that persist."""@en .
### https://w3id.org/emmo#EMMO_f68858dd_64f4_4877_b7fb_70d04fbe5bab
:EMMO_f68858dd_64f4_4877_b7fb_70d04fbe5bab rdf:type owl:Class ;
rdfs:subClassOf :EMMO_846b637b_7b12_47a1_9430_0274b2f588ac ,
[ rdf:type owl:Restriction ;
owl:onProperty [ owl:inverseOf :EMMO_e3850f08_8e79_454b_9d83_c517cab42857
] ;
owl:someValuesFrom :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606
] ;
skos:example "Blood circulation in a human body."@en ;
skos:prefLabel "ConstitutiveProcess"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A process which is a spatial part of an object."@en ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A constitutive process is a process that is holistically relevant for the definition of the whole."@en .
#################################################################
# Rules
#################################################################
<urn:swrl:var#x> rdf:type <http://www.w3.org/2003/11/swrl#Variable> .
<urn:swrl:var#y> rdf:type <http://www.w3.org/2003/11/swrl#Variable> .
<urn:swrl:var#z> rdf:type <http://www.w3.org/2003/11/swrl#Variable> .
[ rdf:type <http://www.w3.org/2003/11/swrl#Imp> ;
<http://www.w3.org/2003/11/swrl#body> [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ;
rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
<http://www.w3.org/2003/11/swrl#propertyPredicate> :EMMO_1494c1a9_00e1_40c2_a9cc_9bbf302a1cac ;
<http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#x> ;
<http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#y>
] ;
rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ;
rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
<http://www.w3.org/2003/11/swrl#propertyPredicate> :EMMO_c4bace1d_4db0_4cd3_87e9_18122bae2840 ;
<http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#y> ;
<http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#z>
] ;
rdf:rest rdf:nil
]
] ;
<http://www.w3.org/2003/11/swrl#head> [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ;
rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
<http://www.w3.org/2003/11/swrl#propertyPredicate> :EMMO_571a8adb_f38f_4122_8754_044ea2490cd0 ;
<http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#x> ;
<http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#z>
] ;
rdf:rest rdf:nil
]
] .
### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi