From 442ff37bcd4d9921a74088a7cae060755a557e33 Mon Sep 17 00:00:00 2001 From: Emanuele Ghedini Date: Thu, 23 Nov 2023 15:23:36 +0100 Subject: [PATCH] 20231123 --- disciplines/computerscience.ttl | 16 +- mereocausality/mereocausality.ttl | 14 +- multiperspective/symbolic.ttl | 130 ++--- perspectives/data.ttl | 2 +- perspectives/standardmodel.ttl | 4 + pgbs.ttl | 841 ++++++++++++++++++++++++++++++ 6 files changed, 942 insertions(+), 65 deletions(-) create mode 100644 pgbs.ttl diff --git a/disciplines/computerscience.ttl b/disciplines/computerscience.ttl index 0df2fb7b..f45c5c1d 100644 --- a/disciplines/computerscience.ttl +++ b/disciplines/computerscience.ttl @@ -86,7 +86,7 @@ rdf:JSON rdf:type rdfs:Datatype . ### http://emmo.info/emmo#EMMO_faf79f53_749d_40b2_807c_d34244c192f4 -:EMMO_faf79f53_749d_40b2_807c_d34244c192f4 rdfs:range owl:real . +:EMMO_faf79f53_749d_40b2_807c_d34244c192f4 rdfs:domain :EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a . ################################################################# @@ -120,6 +120,10 @@ rdf:JSON rdf:type rdfs:Datatype . skos:prefLabel "JavaScript"@en . +### http://emmo.info/emmo#EMMO_18d180e4_5e3e_42f7_820c_e08951223486 +:EMMO_18d180e4_5e3e_42f7_820c_e08951223486 rdfs:subClassOf :EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a . + + ### http://emmo.info/emmo#EMMO_1abe0ea7_2378_402f_b950_89b0795d2f45 :EMMO_1abe0ea7_2378_402f_b950_89b0795d2f45 rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Restriction ; @@ -310,6 +314,10 @@ Here we explicitly include in the definition also all the data (e.g. source code ] . +### http://emmo.info/emmo#EMMO_88a34881_b8d0_474b_9a08_40dbd414d834 +:EMMO_88a34881_b8d0_474b_9a08_40dbd414d834 rdfs:subClassOf :EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a . + + ### http://emmo.info/emmo#EMMO_8a8f664b_dc59_4e00_ae00_81fdf1e1d12e :EMMO_8a8f664b_dc59_4e00_ae00_81fdf1e1d12e rdf:type owl:Class ; rdfs:subClassOf :EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b ; @@ -324,6 +332,12 @@ Here we explicitly include in the definition also all the data (e.g. source code ] . +### http://emmo.info/emmo#EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a +:EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a rdf:type owl:Class ; + rdfs:subClassOf :EMMO_70bbb94e_2ca7_4d73_ba01_6397f134d172 ; + skos:prefLabel "NumericData"@en . + + ### http://emmo.info/emmo#EMMO_90bfd475_ba4a_4065_b0c1_1f08230be252 :EMMO_90bfd475_ba4a_4065_b0c1_1f08230be252 rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Restriction ; diff --git a/mereocausality/mereocausality.ttl b/mereocausality/mereocausality.ttl index 5663e7a8..3953743c 100644 --- a/mereocausality/mereocausality.ttl +++ b/mereocausality/mereocausality.ttl @@ -690,7 +690,8 @@ While the EMMO FOL introduces the quantum causality relation C(x,y) as primitive ### http://emmo.info/emmo#EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 rdf:type owl:Class ; - rdfs:subClassOf [ rdf:type owl:Restriction ; + rdfs:subClassOf :EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d , + [ rdf:type owl:Restriction ; owl:onProperty :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 ; owl:someValuesFrom [ rdf:type owl:Class ; owl:unionOf ( :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 @@ -746,7 +747,8 @@ While the EMMO FOL introduces the quantum causality relation C(x,y) as primitive ### http://emmo.info/emmo#EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 rdf:type owl:Class ; - rdfs:subClassOf _:genid19 ; + rdfs:subClassOf :EMMO_53ed8611_2cd7_4286_9ef0_36572117b963 , + _:genid19 ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A collection is the concept that complements the item concept, being an entity that possesses at least one part non directly causally connected with the rest. A collection can be partitioned in maximally connected items called members. The members are self-connected entities and there is no direct causality relation between them. The combination of collection and item concepts is the EMMO mereocausality alternative to set theory. However, two items can be members only if they are non direct causally connected, giving some constraints to a collection definition. For example, two entities which are directly connected cannot be two distinct members, while their interiors (i.e. the entities obtained by removing the layer of parts that provides the causal contact between them) can be."""@en ; @@ -776,6 +778,7 @@ _:genid19 rdf:type owl:Restriction ; ### http://emmo.info/emmo#EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 rdf:type owl:Class ; + rdfs:subClassOf :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A quantum is the most fundamental item (both mereologically and causally) and is considered causally self-connected by definition. The quantum concept recalls the fact that there is lower epistemological limit to our knowledge of the universe, related to the uncertainity principle. Space and time emerge following the network of causal connections between quantum objects. So quantum objects are adimensional objects, that precede space and time dimensions: they are simple beings (in greek οντα). @@ -797,6 +800,7 @@ However, the quantum mereotopology approach is not restricted only to physics. F ### http://emmo.info/emmo#EMMO_53ed8611_2cd7_4286_9ef0_36572117b963 :EMMO_53ed8611_2cd7_4286_9ef0_36572117b963 rdf:type owl:Class ; + rdfs:subClassOf :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; owl:disjointUnionOf ( :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac @@ -877,6 +881,8 @@ Disjointness means that a collection cannot be an item and viceversa, representi ### http://emmo.info/emmo#EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d :EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d rdf:type owl:Class ; + rdfs:subClassOf :EMMO_53ed8611_2cd7_4286_9ef0_36572117b963 , + :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ; owl:disjointUnionOf ( :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac ) ; @@ -899,6 +905,7 @@ The unity criterion beyond the definition of a causal structure (the most genera ### http://emmo.info/emmo#EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac rdf:type owl:Class ; + rdfs:subClassOf :EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "A causal system provides the most general concept of system, being a union of causal structures interacting together. In its most simple form, a causal system is an interlacement of causal paths (the most simple structure type)."@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A non-path causal structure"@en ; :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "A electron binded by a nucleus."@en ; @@ -914,6 +921,7 @@ The unity criterion beyond the definition of a causal structure (the most genera ### http://emmo.info/emmo#EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de rdf:type owl:Class ; + rdfs:subClassOf :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; owl:disjointUnionOf ( :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac @@ -1179,4 +1187,4 @@ Following graph theory concepts, the quantums of an item are all connected toget ] ] . -### Generated by the OWL API (version 4.5.25.2023-02-15T19:15:49Z) https://github.com/owlcs/owlapi +### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi diff --git a/multiperspective/symbolic.ttl b/multiperspective/symbolic.ttl index 310ebdd1..6d7a7a21 100644 --- a/multiperspective/symbolic.ttl +++ b/multiperspective/symbolic.ttl @@ -141,13 +141,23 @@ rdf:JSON a rdfs:Datatype . :EMMO_23b579e1_8088_45b5_9975_064014026c42 a owl:DatatypeProperty, owl:FunctionalProperty; rdfs:subPropertyOf :b6292331_94af_4f00_976b_ea55960c2f1c; - rdfs:domain :EMMO_5f334606_f67d_4f0e_acb9_eeb21cb10c66; - rdfs:range xsd:string; + rdfs:domain _:genid1; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The owl:dataProperty that provides a serialisation of an EMMO symbol data entity."; skos:prefLabel "hasSymbolValue"@en . +_:genid1 a owl:Class; + owl:intersectionOf _:genid3 . + +_:genid3 a rdf:List; + rdf:first :EMMO_70bbb94e_2ca7_4d73_ba01_6397f134d172; + rdf:rest _:genid2 . + +_:genid2 a rdf:List; + rdf:first :EMMO_a1083d0a_c1fb_471f_8e20_a98f881ad527; + rdf:rest rdf:nil . + :EMMO_057e7d57_aff0_49de_911a_8861d85cef40 a owl:Class; - owl:equivalentClass _:genid1; + owl:equivalentClass _:genid4; rdfs:subClassOf :EMMO_be8592a7_68d1_4a06_ad23_82f2b56ef926; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A discrete data whose elements can be decoded as tokens from one or more alphabets, without necessarily respecting syntactic rules."@en; :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a """fe780 @@ -161,45 +171,45 @@ In other words, a sequence of bit \"1000010\" in a RAM (a non-graphical entity) For example, text is made of words, spaces and punctuations. Words are made of characters (i.e. atomic symbols)."""@en; skos:prefLabel "Symbolic"@en . -_:genid1 a owl:Class; - owl:unionOf _:genid3 . +_:genid4 a owl:Class; + owl:unionOf _:genid6 . -_:genid3 a rdf:List; +_:genid6 a rdf:List; rdf:first :EMMO_89a0c87c_0804_4013_937a_6fe234d9499c; - rdf:rest _:genid2 . + rdf:rest _:genid5 . -_:genid2 a rdf:List; +_:genid5 a rdf:List; rdf:first :EMMO_a1083d0a_c1fb_471f_8e20_a98f881ad527; rdf:rest rdf:nil . -_:genid4 a owl:Axiom; +_:genid7 a owl:Axiom; owl:annotatedSource :EMMO_057e7d57_aff0_49de_911a_8861d85cef40; owl:annotatedProperty skos:prefLabel; owl:annotatedTarget "Symbolic"@en; :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Ancient Greek σύμβολον (súmbolon, “a sign by which one infers something; a mark, token, badge, ticket, tally, check, a signal, watchword, outward sign”), from συμβάλλω (sumbállō, “I throw together, dash together, compare, correspond, tally, come to a conclusion”), from σύν (sún, “with, together”) + βάλλω (bállō, “I throw, put”)." . :EMMO_0e03a375_8af8_46db_88ae_a45fe2d2940f a owl:Class; - owl:equivalentClass _:genid5; + owl:equivalentClass _:genid8; skos:prefLabel "DateTimeData"@en . -_:genid5 a owl:Restriction; +_:genid8 a owl:Restriction; owl:someValuesFrom xsd:dateTime; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . :EMMO_10bbe9e9_46b6_4b5d_8b51_ed759fc21f21 a owl:Class; - owl:equivalentClass _:genid6; + owl:equivalentClass _:genid9; skos:prefLabel "DateTimeStampData"@en . -_:genid6 a owl:Restriction; +_:genid9 a owl:Restriction; owl:someValuesFrom xsd:dateTimeStamp; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . :EMMO_18d180e4_5e3e_42f7_820c_e08951223486 a owl:Class; - owl:equivalentClass _:genid7; + owl:equivalentClass _:genid10; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing a real number."@en; skos:prefLabel "RealData"@en . -_:genid7 a owl:Restriction; +_:genid10 a owl:Restriction; owl:someValuesFrom owl:real; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . @@ -209,26 +219,26 @@ _:genid7 a owl:Restriction; skos:prefLabel "MatrixData"@en . :EMMO_3a53b946_4dfd_4a38_bb5b_aa78d7b0db9c a owl:Class; - owl:equivalentClass _:genid8; + owl:equivalentClass _:genid11; skos:prefLabel "UnsignedIntData"@en . -_:genid8 a owl:Restriction; +_:genid11 a owl:Restriction; owl:someValuesFrom xsd:unsignedInt; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . :EMMO_3c87fd89_b0f0_477a_86b6_d949c2b982ee a owl:Class; - owl:equivalentClass _:genid9; + owl:equivalentClass _:genid12; skos:prefLabel "ByteData"@en . -_:genid9 a owl:Restriction; +_:genid12 a owl:Restriction; owl:someValuesFrom xsd:byte; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . :EMMO_42eee73b_e4d2_4a0f_b468_3d2ce0475af6 a owl:Class; - owl:equivalentClass _:genid10; + owl:equivalentClass _:genid13; skos:prefLabel "NonNegativeIntegerData"@en . -_:genid10 a owl:Restriction; +_:genid13 a owl:Restriction; owl:someValuesFrom xsd:nonNegativeInteger; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . @@ -237,10 +247,10 @@ _:genid10 a owl:Restriction; skos:prefLabel "Spacing"@en . :EMMO_443198a5_934c_44fa_b89e_28eca13b25b2 a owl:Class; - owl:equivalentClass _:genid11; + owl:equivalentClass _:genid14; skos:prefLabel "ShortData"@en . -_:genid11 a owl:Restriction; +_:genid14 a owl:Restriction; owl:someValuesFrom xsd:short; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . @@ -257,51 +267,51 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc skos:prefLabel "String"@en . :EMMO_51f93d8c_57fa_4314_a68d_8d69c2609c97 a owl:Class; - owl:equivalentClass _:genid12; + owl:equivalentClass _:genid15; skos:prefLabel "LongData"@en . -_:genid12 a owl:Restriction; +_:genid15 a owl:Restriction; owl:someValuesFrom xsd:long; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . :EMMO_54dc83cb_06e1_4739_9e45_bc09cead7f48 a owl:Class; - owl:equivalentClass _:genid13; + owl:equivalentClass _:genid16; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data repesenting a boolean number."@en; skos:prefLabel "BooleanData"@en . -_:genid13 a owl:Restriction; +_:genid16 a owl:Restriction; owl:someValuesFrom xsd:boolean; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . :EMMO_58f76a09_205c_44f2_b237_88de54e8e001 a owl:Class; - owl:equivalentClass _:genid14; + owl:equivalentClass _:genid17; skos:prefLabel "PositiveIntegerData"@en . -_:genid14 a owl:Restriction; +_:genid17 a owl:Restriction; owl:someValuesFrom xsd:positiveInteger; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . :EMMO_5f334606_f67d_4f0e_acb9_eeb21cb10c66 a owl:Class; - owl:equivalentClass _:genid15; + owl:equivalentClass _:genid18; skos:prefLabel "StringData"@en . -_:genid15 a owl:Restriction; +_:genid18 a owl:Restriction; owl:someValuesFrom xsd:string; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . :EMMO_648c17b7_a012_4060_a096_c76bd407804b a owl:Class; - owl:equivalentClass _:genid16; + owl:equivalentClass _:genid19; skos:prefLabel "NegativeIntegerData"@en . -_:genid16 a owl:Restriction; +_:genid19 a owl:Restriction; owl:someValuesFrom xsd:negativeInteger; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . :EMMO_69ebb235_9c5e_443d_9a3b_7042b1005f1f a owl:Class; - owl:equivalentClass _:genid17; + owl:equivalentClass _:genid20; skos:prefLabel "RationalData"@en . -_:genid17 a owl:Restriction; +_:genid20 a owl:Restriction; owl:someValuesFrom owl:rational; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . @@ -319,31 +329,31 @@ _:genid17 a owl:Restriction; skos:prefLabel "Numeral"@en . :EMMO_88a34881_b8d0_474b_9a08_40dbd414d834 a owl:Class; - owl:equivalentClass _:genid18; + owl:equivalentClass _:genid21; skos:prefLabel "FloatingPointData"@en . -_:genid18 a owl:Restriction; - owl:someValuesFrom _:genid19; +_:genid21 a owl:Restriction; + owl:someValuesFrom _:genid22; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . -_:genid19 a rdfs:Datatype; - owl:unionOf _:genid21 . +_:genid22 a rdfs:Datatype; + owl:unionOf _:genid24 . -_:genid21 a rdf:List; +_:genid24 a rdf:List; rdf:first xsd:double; - rdf:rest _:genid20 . + rdf:rest _:genid23 . -_:genid20 a rdf:List; +_:genid23 a rdf:List; rdf:first xsd:float; rdf:rest rdf:nil . :EMMO_89a0c87c_0804_4013_937a_6fe234d9499c a owl:Class; - rdfs:subClassOf :EMMO_057e7d57_aff0_49de_911a_8861d85cef40, _:genid22; + rdfs:subClassOf :EMMO_057e7d57_aff0_49de_911a_8861d85cef40, _:genid25; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A symbolic entity made of other symbolic entities according to a specific spatial configuration."@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "This class collects individuals that represents arrangements of strings, or other symbolic compositions, without any particular predifined arrangement schema."@en; skos:prefLabel "SymbolicConstruct"@en . -_:genid22 a owl:Restriction; +_:genid25 a owl:Restriction; owl:someValuesFrom :EMMO_057e7d57_aff0_49de_911a_8861d85cef40; owl:onProperty :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 . @@ -377,10 +387,10 @@ Symbols of a formal language must be capable of being specified without any refe skos:prefLabel "Punctuation"@en . :EMMO_aa972cc9_5d9e_47a2_abc5_00243d6b3917 a owl:Class; - owl:equivalentClass _:genid23; + owl:equivalentClass _:genid26; skos:prefLabel "IntData"@en . -_:genid23 a owl:Restriction; +_:genid26 a owl:Restriction; owl:someValuesFrom xsd:int; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . @@ -389,18 +399,18 @@ _:genid23 a owl:Restriction; skos:prefLabel "Letter"@en . :EMMO_cf0f8f57_8a9e_410c_8fe4_a436673fa3d3 a owl:Class; - owl:equivalentClass _:genid24; + owl:equivalentClass _:genid27; skos:prefLabel "NonPositiveIntegerData"@en . -_:genid24 a owl:Restriction; +_:genid27 a owl:Restriction; owl:someValuesFrom xsd:nonPositiveInteger; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . :EMMO_d43546df_7fd7_44d5_9d7c_0f2bf56cefe3 a owl:Class; - owl:equivalentClass _:genid25; + owl:equivalentClass _:genid28; skos:prefLabel "DecimalData"@en . -_:genid25 a owl:Restriction; +_:genid28 a owl:Restriction; owl:someValuesFrom xsd:decimal; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . @@ -409,7 +419,7 @@ _:genid25 a owl:Restriction; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A language object is a discrete data entity respecting a specific language syntactic rules (a well-formed formula)."@en; skos:prefLabel "Language"@en . -_:genid26 a owl:Axiom; +_:genid29 a owl:Axiom; owl:annotatedSource :EMMO_d8d2144e_5c8d_455d_a643_5caf4d8d9df8; owl:annotatedProperty skos:prefLabel; owl:annotatedTarget "Language"@en; @@ -421,10 +431,10 @@ _:genid26 a owl:Axiom; skos:prefLabel "VectorData"@en . :EMMO_dc6e40f6_5b6c_473b_a715_d36622ada5ad a owl:Class; - owl:equivalentClass _:genid27; + owl:equivalentClass _:genid30; skos:prefLabel "UnsignedShortData"@en . -_:genid27 a owl:Restriction; +_:genid30 a owl:Restriction; owl:someValuesFrom xsd:unsignedShort; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . @@ -433,26 +443,26 @@ _:genid27 a owl:Restriction; skos:prefLabel "UTF8"@en . :EMMO_e99aec47_9ae6_4a1d_bddd_b87bb456c52a a owl:Class; - owl:equivalentClass _:genid28; + owl:equivalentClass _:genid31; skos:prefLabel "UnsignedByteData"@en . -_:genid28 a owl:Restriction; +_:genid31 a owl:Restriction; owl:someValuesFrom xsd:unsignedByte; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . :EMMO_f1ee5c02_5cc0_45ba_a09a_2e6319f75fc8 a owl:Class; - owl:equivalentClass _:genid29; + owl:equivalentClass _:genid32; skos:prefLabel "UnsignedLongData"@en . -_:genid29 a owl:Restriction; +_:genid32 a owl:Restriction; owl:someValuesFrom xsd:unsignedLong; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . :EMMO_f8bd64d5_5d3e_4ad4_a46e_c30714fecb7f a owl:Class; - owl:equivalentClass _:genid30; + owl:equivalentClass _:genid33; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing an integer number."@en; skos:prefLabel "IntegerData"@en . -_:genid30 a owl:Restriction; +_:genid33 a owl:Restriction; owl:someValuesFrom xsd:integer; owl:onProperty :b6292331_94af_4f00_976b_ea55960c2f1c . diff --git a/perspectives/data.ttl b/perspectives/data.ttl index a5b08104..8a9eacbd 100644 --- a/perspectives/data.ttl +++ b/perspectives/data.ttl @@ -92,7 +92,7 @@ email: emanuele.ghedini@unibo.it"""@en, :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Relates a dataset to its datum."@en; skos:prefLabel "hasDatum"@en . -:b6292331_94af_4f00_976b_ea55960c2f1c a owl:DatatypeProperty, owl:FunctionalProperty; +:b6292331_94af_4f00_976b_ea55960c2f1c a owl:DatatypeProperty; rdfs:subPropertyOf owl:topDataProperty; rdfs:domain :EMMO_70bbb94e_2ca7_4d73_ba01_6397f134d172; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The owl:dataProperty that provides a serialisation of an EMMO data entity."; diff --git a/perspectives/standardmodel.ttl b/perspectives/standardmodel.ttl index 8e51cd51..554d6ec7 100644 --- a/perspectives/standardmodel.ttl +++ b/perspectives/standardmodel.ttl @@ -694,6 +694,7 @@ In the EMMO the virtual particles (off the mass shell), the internal propagators ### http://emmo.info/emmo#EMMO_cafd0f10_ce85_48b9_9a36_2b0af141ce21 :EMMO_cafd0f10_ce85_48b9_9a36_2b0af141ce21 rdf:type owl:Class ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An elementary particle of a fundamental bosonic type."@en ; skos:prefLabel "ElementaryBoson"@en . @@ -990,6 +991,9 @@ For this reason graviton is an useful concept to homogenize the approach between ### http://emmo.info/emmo#5e00b1db_48fc_445b_82e8_ab0e2255bf52 rdf:type owl:Class ; + :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """An multi-particle path is a causal path of quantum entities of different type, following the causal connection between an initial quantum up to the final one, regardless on the fact that causality is passing through elementary particles of different types. +For example, a path starting from an elementary photon, then through the electron with which it scatter, and then trough a positron with which the electron collides."""@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A chausal path whose quantum parts belongs to at least two different standard model fundamental types."@en ; skos:prefLabel "MultiParticlePath"@en . diff --git a/pgbs.ttl b/pgbs.ttl new file mode 100644 index 00000000..05f07fa5 --- /dev/null +++ b/pgbs.ttl @@ -0,0 +1,841 @@ +@prefix : . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix rdfs: . +@prefix skos: . +@prefix dcterms: . +@base . + + rdf:type owl:Ontology ; + owl:imports , + , + , + , + , + ; + dcterms:contributor "Alberto Martinez (PGBS)"@en , + "Jeper Friis (SINTEF)"@en , + "Oreste Todini (PGBS)"@en , + "Zhiwu Liang (PGBS)"@en ; + dcterms:creator "Emanuele Ghedini (UNIBO)"@en ; + dcterms:license "Confidential within OntoTrans consortium."@en . + +################################################################# +# Object Properties +################################################################# + +### http://emmo.info/emmo/application/pgbs#06e90dd3_0c18_4606_8b76_2a478502f474 + rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf ; + rdfs:domain ; + rdfs:range ; + skos:prefLabel "commercialises"@en . + + +################################################################# +# Classes +################################################################# + +### http://emmo.info/emmo/application/pgbs#EMMO_08e1b3d8_0b41_4c8c_9108_9ef058d40f9c +:EMMO_08e1b3d8_0b41_4c8c_9108_9ef058d40f9c rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_9c552388_e338_4329_8b31_9c1c3368b412 ; + "Perfume name to apply to capsules."@en ; + skos:prefLabel "WSCPerfumeType"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_0a74ed04_5dbc_4a6b_9b70_780e34d621e7 +:EMMO_0a74ed04_5dbc_4a6b_9b70_780e34d621e7 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_9c552388_e338_4329_8b31_9c1c3368b412 ; + "Elasticity of the fabric after washing."@en ; + skos:prefLabel "WSCFabricElasticity"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_0c75862e_e69d_4b4d_b2f5_653dcf907ff2 +:EMMO_0c75862e_e69d_4b4d_b2f5_653dcf907ff2 rdf:type owl:Class ; + rdfs:subClassOf :d2fdff1f_11ff_44bf_a9a4_9ebe09586144 , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf + ] ; + owl:allValuesFrom + ] ; + "Properties of the storage process."@en ; + skos:prefLabel "StorageProperties"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_0cbc73af_f7ff_423c_9c75_339e73606921 +:EMMO_0cbc73af_f7ff_423c_9c75_339e73606921 rdf:type owl:Class ; + rdfs:subClassOf ; + skos:prefLabel "Company"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_0ea9656d_810f_4613_b251_5716246ca75b +:EMMO_0ea9656d_810f_4613_b251_5716246ca75b rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_92a0ff66_3dfa_4a88_bb3b_b8ecb0291c0e ; + "Viscosity of the formula."@en ; + skos:prefLabel "FormulaViscosity"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_17d38e0f_79b6_420c_83b7_f531ef13283a +:EMMO_17d38e0f_79b6_420c_83b7_f531ef13283a rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_f6cd49d8_740f_4592_8eef_637b18cb2502 ; + "Flash point of the whitebase."@en ; + skos:prefLabel "WhitebaseFlashPoint"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_1e70557a_1883_4c64_9610_60440eaedf85 +:EMMO_1e70557a_1883_4c64_9610_60440eaedf85 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_b05ffbdb_cede_4e19_843d_b71b2334d24e ; + "Consumer evaluation for each attribute."@en ; + skos:prefLabel "ConsumerEvaluation"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_276de396_6672_4490_ba94_a09aad3f360e +:EMMO_276de396_6672_4490_ba94_a09aad3f360e rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_f3f0a531_6ebb_4c3b_84f9_ed25ca2d5266 ; + "Volume of the top 2 constituent."@en ; + skos:prefLabel "Top2ConstituentVolume"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_2be66f1c_fdc6_4000_ba75_9670103ad7c0 +:EMMO_2be66f1c_fdc6_4000_ba75_9670103ad7c0 rdf:type owl:Class ; + rdfs:subClassOf :EMMO_3795e827_8b62_4216_b49e_d0e61133ef44 ; + skos:prefLabel "PhysicsBasedSimulation"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_30a8b2ad_77a0_46da_a1fb_a06d3b8e6774 +:EMMO_30a8b2ad_77a0_46da_a1fb_a06d3b8e6774 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_b05ffbdb_cede_4e19_843d_b71b2334d24e ; + "Name of the country of commercialization."@en ; + rdfs:comment "A string specifying a country according to ..."@en ; + skos:prefLabel "CountryIdentifier"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_31071700_6fe0_4daa_bf28_1d81e88d3696 +:EMMO_31071700_6fe0_4daa_bf28_1d81e88d3696 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_9c552388_e338_4329_8b31_9c1c3368b412 ; + "Amount of perfume in a capsule."@en ; + skos:prefLabel "WSCPerfumeLevel"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_342276a1_f2f0_4c96_bedb_7001a9dd0a35 +:EMMO_342276a1_f2f0_4c96_bedb_7001a9dd0a35 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_9c552388_e338_4329_8b31_9c1c3368b412 ; + "Specific perfume existing."@en ; + skos:prefLabel "WSCPerfumeBoostTechnology"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_3795e827_8b62_4216_b49e_d0e61133ef44 +:EMMO_3795e827_8b62_4216_b49e_d0e61133ef44 rdf:type owl:Class ; + rdfs:subClassOf , + ; + "The elaboration of some predefined quantities in order to provide other quantities giving an estimation about unknown properties of an entity by partially reproducing the mechanisms that rules its behaviour through some means (e.g. mathematics, logics)."@en ; + skos:prefLabel "Simulation"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_38f44eab_5d54_45af_92d6_2aff640cf7a6 +:EMMO_38f44eab_5d54_45af_92d6_2aff640cf7a6 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_642fa115_aa18_4eb0_a1c6_40ea6c961559 ; + "Volume of the top 1 constituent."@en ; + skos:prefLabel "Top1ConstituentVolume"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_460ac713_0cce_486b_af64_717fc26dcf6c +:EMMO_460ac713_0cce_486b_af64_717fc26dcf6c rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_b05ffbdb_cede_4e19_843d_b71b2334d24e ; + "Price of the package as defined by the retailer."@en ; + skos:prefLabel "ProductPrice"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_47cfaa72_e2c5_49a7_90b7_6aed9ffa6444 +:EMMO_47cfaa72_e2c5_49a7_90b7_6aed9ffa6444 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_f3f0a531_6ebb_4c3b_84f9_ed25ca2d5266 ; + "Density of the top 2 constituent."@en ; + skos:prefLabel "Top2ConstituentDensity"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_495e6394_6bcc_4f67_8744_84bd44367669 +:EMMO_495e6394_6bcc_4f67_8744_84bd44367669 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_92a0ff66_3dfa_4a88_bb3b_b8ecb0291c0e ; + "Flash point of the formula."@en ; + skos:prefLabel "FormulaFlashPoint"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_5097dc72_55af_4bcb_9a0d_965edd1bd889 +:EMMO_5097dc72_55af_4bcb_9a0d_965edd1bd889 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_b05ffbdb_cede_4e19_843d_b71b2334d24e ; + "Average consumer feedback according to a specific measure."@en ; + "Performance, distinctiveness."@en ; + skos:prefLabel "ConsumerAcceptance"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_52c92c22_534a_42e9_b622_a1b21cd1e70b +:EMMO_52c92c22_534a_42e9_b622_a1b21cd1e70b rdf:type owl:Class ; + rdfs:subClassOf :d2fdff1f_11ff_44bf_a9a4_9ebe09586144 , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf + ] ; + owl:allValuesFrom :cbb1b98d_7b3f_4158_8fcf_53f47c792c31 + ] ; + "Properties of the bottom constituent."@en ; + skos:prefLabel "BottomConstituentProperty"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_600a77e8_2ef7_43b1_aed9_e4663ab005c0 +:EMMO_600a77e8_2ef7_43b1_aed9_e4663ab005c0 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_92a0ff66_3dfa_4a88_bb3b_b8ecb0291c0e ; + "Probability for the formula to be safe to humans (e.g. irritation, toxicity). Complement to 1 of the hazard index."@en ; + skos:prefLabel "FormulaSafetyIndex"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_642fa115_aa18_4eb0_a1c6_40ea6c961559 +:EMMO_642fa115_aa18_4eb0_a1c6_40ea6c961559 rdf:type owl:Class ; + rdfs:subClassOf :d2fdff1f_11ff_44bf_a9a4_9ebe09586144 , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf + ] ; + owl:allValuesFrom + ] ; + "Property of the top 1 constituent."@en ; + skos:prefLabel "Top1ConstituentProperty"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_66c87c00_4df1_498c_9bcf_385038d92b38 +:EMMO_66c87c00_4df1_498c_9bcf_385038d92b38 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_0c75862e_e69d_4b4d_b2f5_653dcf907ff2 ; + "Storage time length."@en ; + skos:prefLabel "StorageTime"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_66e98f1a_684c_47d5_8d12_eb2eb258c807 +:EMMO_66e98f1a_684c_47d5_8d12_eb2eb258c807 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_92a0ff66_3dfa_4a88_bb3b_b8ecb0291c0e ; + "Total composition of the formula."@en ; + skos:prefLabel "FormulaComposition"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_75a18512_f750_4d13_8338_be89f023d920 +:EMMO_75a18512_f750_4d13_8338_be89f023d920 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_8c496f93_353f_4dc8_81e6_29b0a670cecf ; + "Specific cost of the ingredient."@en ; + skos:prefLabel "IngredientCost"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_798a4190_1ebd_4412_9f8e_1aa0a3ceceae +:EMMO_798a4190_1ebd_4412_9f8e_1aa0a3ceceae rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_f6cd49d8_740f_4592_8eef_637b18cb2502 ; + "Probability that the whitebase stands as single phase during time."@en ; + skos:prefLabel "WhitebaseStability"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_7bc78c30_041e_4f9d_a943_95d2e933ba28 +:EMMO_7bc78c30_041e_4f9d_a943_95d2e933ba28 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_f6cd49d8_740f_4592_8eef_637b18cb2502 ; + "Viscosity of the whitebase."@en ; + skos:prefLabel "WhitebaseViscosity"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_8520a424_ef5b_436a_a619_e10719724bb4 +:EMMO_8520a424_ef5b_436a_a619_e10719724bb4 rdf:type owl:Class ; + rdfs:subClassOf :EMMO_2be66f1c_fdc6_4000_ba75_9670103ad7c0 ; + skos:prefLabel "PGBSWaterSolubleCapsulePerformanceSimulation"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_8c496f93_353f_4dc8_81e6_29b0a670cecf +:EMMO_8c496f93_353f_4dc8_81e6_29b0a670cecf rdf:type owl:Class ; + rdfs:subClassOf :d2fdff1f_11ff_44bf_a9a4_9ebe09586144 , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf + ] ; + owl:allValuesFrom + ] ; + skos:prefLabel "IngredientProperty"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_8e6d0123_a3b8_4dc7_8f55_a694eea8cd4c +:EMMO_8e6d0123_a3b8_4dc7_8f55_a694eea8cd4c rdf:type owl:Class ; + rdfs:subClassOf :d2fdff1f_11ff_44bf_a9a4_9ebe09586144 , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf + ] ; + owl:allValuesFrom + ] ; + "Properties of the package."@en ; + skos:prefLabel "PackageProperty"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_8e78e4a0_19d5_49c0_9523_f40086d20010 +:EMMO_8e78e4a0_19d5_49c0_9523_f40086d20010 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_0c75862e_e69d_4b4d_b2f5_653dcf907ff2 ; + "Lowest temperature measured during the storage process."@en ; + skos:prefLabel "StorageLowestTemeprature"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_916c64aa_59a9_489f_a510_8985902074ea +:EMMO_916c64aa_59a9_489f_a510_8985902074ea rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_92a0ff66_3dfa_4a88_bb3b_b8ecb0291c0e ; + "Boiling point of the formula."@en ; + skos:prefLabel "FormulaBoilingPoint"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_923660db_cc73_4b5a_9160_b2517c6b268d +:EMMO_923660db_cc73_4b5a_9160_b2517c6b268d rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_b05ffbdb_cede_4e19_843d_b71b2334d24e ; + "Units sold per week."@en ; + skos:prefLabel "SalesVolume"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_92a0ff66_3dfa_4a88_bb3b_b8ecb0291c0e +:EMMO_92a0ff66_3dfa_4a88_bb3b_b8ecb0291c0e rdf:type owl:Class ; + rdfs:subClassOf :d2fdff1f_11ff_44bf_a9a4_9ebe09586144 , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf + ] ; + owl:allValuesFrom :c7f97beb_d338_4129_9ea9_c93aafef567c + ] ; + "Properties of the formula."@en ; + skos:prefLabel "FormulaProperty"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_9c552388_e338_4329_8b31_9c1c3368b412 +:EMMO_9c552388_e338_4329_8b31_9c1c3368b412 rdf:type owl:Class ; + rdfs:subClassOf :d2fdff1f_11ff_44bf_a9a4_9ebe09586144 , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf + ] ; + owl:allValuesFrom + ] ; + "Property of the water soluble capsule."@en ; + skos:prefLabel "WaterSolubleCapsuleProperty"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_a1610efa_b617_4472_aa33_eebe065ea828 +:EMMO_a1610efa_b617_4472_aa33_eebe065ea828 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_92a0ff66_3dfa_4a88_bb3b_b8ecb0291c0e ; + "Specific cost of the formula."@en ; + skos:prefLabel "FormulaCost"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_a32e12d1_268b_4c8c_a79a_cd8c955b71d5 +:EMMO_a32e12d1_268b_4c8c_a79a_cd8c955b71d5 rdf:type owl:Class ; + rdfs:subClassOf :EMMO_3795e827_8b62_4216_b49e_d0e61133ef44 ; + skos:prefLabel "DataBasedSimulation"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_acb346f6_5378_4c36_99ff_dbc580e3f958 +:EMMO_acb346f6_5378_4c36_99ff_dbc580e3f958 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_9c552388_e338_4329_8b31_9c1c3368b412 ; + "Percentage of stain removal."@en ; + skos:prefLabel "WSCStainRemovalIndex"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_ad3597b4_83bc_4d35_97f8_0ae872a13335 +:EMMO_ad3597b4_83bc_4d35_97f8_0ae872a13335 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_f6cd49d8_740f_4592_8eef_637b18cb2502 ; + "Specific cost of the whitebase."@en ; + skos:prefLabel "WhitebaseCost"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_afa509dd_3b8f_4d54_9368_15cd1fcbf363 +:EMMO_afa509dd_3b8f_4d54_9368_15cd1fcbf363 rdf:type owl:Class ; + rdfs:subClassOf :EMMO_9c552388_e338_4329_8b31_9c1c3368b412 , + ; + "Product performance from multi-dimensions to evaluate product features for capsules."@en ; + skos:prefLabel "WSCComponentPerformance"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_affdc856_00b5_4bbb_84fe_432033c8c052 +:EMMO_affdc856_00b5_4bbb_84fe_432033c8c052 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_9c552388_e338_4329_8b31_9c1c3368b412 ; + "Cost of the capsule."@en ; + skos:prefLabel "WSCCostPerUnit"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_b05ffbdb_cede_4e19_843d_b71b2334d24e +:EMMO_b05ffbdb_cede_4e19_843d_b71b2334d24e rdf:type owl:Class ; + rdfs:subClassOf :d2fdff1f_11ff_44bf_a9a4_9ebe09586144 , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf + ] ; + owl:allValuesFrom + ] ; + "Property of the commercialization process."@en ; + skos:prefLabel "CommercializationProperty"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_b0da5c05_b93c_4bb1_9714_87f30191f86c +:EMMO_b0da5c05_b93c_4bb1_9714_87f30191f86c rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_b05ffbdb_cede_4e19_843d_b71b2334d24e ; + "The % of shops handling the product according to retailer policy."@en ; + skos:prefLabel "PresenceOnTheShelf"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_b2547025_03fb_438f_ab1b_09359cc8aa41 +:EMMO_b2547025_03fb_438f_ab1b_09359cc8aa41 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_8c496f93_353f_4dc8_81e6_29b0a670cecf ; + "Total composition of the ingredient."@en ; + skos:prefLabel "IngredientComposition"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_b45b2ae9_6be4_4941_978e_61761a6aad3e +:EMMO_b45b2ae9_6be4_4941_978e_61761a6aad3e rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_b05ffbdb_cede_4e19_843d_b71b2334d24e ; + "Name or code of the retailer."@en ; + skos:prefLabel "RetailerIdentifier"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_b45c629a_d55d_489a_9485_67038137be4e +:EMMO_b45c629a_d55d_489a_9485_67038137be4e rdf:type owl:Class ; + rdfs:subClassOf :EMMO_a32e12d1_268b_4c8c_a79a_cd8c955b71d5 ; + skos:prefLabel "MachineLearningSimulation"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_c0b5b82f_597b_4d9c_8396_6643bee97699 +:EMMO_c0b5b82f_597b_4d9c_8396_6643bee97699 rdf:type owl:Class ; + rdfs:subClassOf ; + skos:prefLabel "ConductimetryMeasurement"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_c43d0d4b_82b9_441b_8f22_9e2ac4faeb59 +:EMMO_c43d0d4b_82b9_441b_8f22_9e2ac4faeb59 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_f6cd49d8_740f_4592_8eef_637b18cb2502 ; + "Total composition of the whitebase."@en ; + skos:prefLabel "WhitebaseComposition"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_c96a8591_65fd_47b5_9476_f80ef038420b +:EMMO_c96a8591_65fd_47b5_9476_f80ef038420b rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_f6cd49d8_740f_4592_8eef_637b18cb2502 ; + "Boiling point of the whitebase."@en ; + skos:prefLabel "WhitebaseBoilingPoint"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_c9cdacf9_a73d_42f3_bfd7_669f0a7facdb +:EMMO_c9cdacf9_a73d_42f3_bfd7_669f0a7facdb rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_9c552388_e338_4329_8b31_9c1c3368b412 ; + "Resistance for a body moving on the fabric after washing."@en ; + skos:prefLabel "WSCFabricFriction"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_d16f3270_d78f_4fc0_8207_1f8869a1a577 +:EMMO_d16f3270_d78f_4fc0_8207_1f8869a1a577 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_8e6d0123_a3b8_4dc7_8f55_a694eea8cd4c ; + "Package type."@en ; + skos:prefLabel "PackageType"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_e6352af7_c02f_4e83_b9f9_b5541baa494c +:EMMO_e6352af7_c02f_4e83_b9f9_b5541baa494c rdf:type owl:Class ; + owl:equivalentClass [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf + ] ; + owl:someValuesFrom + ] ; + skos:prefLabel "CommercialisationRole"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_f19bcdad_384e_4603_bbe0_67b575fa6235 +:EMMO_f19bcdad_384e_4603_bbe0_67b575fa6235 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_52c92c22_534a_42e9_b622_a1b21cd1e70b ; + "Volume of the bottom constituent."@en ; + skos:prefLabel "BottomConstituentVolume"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_f244a2ad_b1e3_433e_8f52_dcb1ca5b6297 +:EMMO_f244a2ad_b1e3_433e_8f52_dcb1ca5b6297 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_52c92c22_534a_42e9_b622_a1b21cd1e70b ; + "Density of the bottom constituent."@en ; + skos:prefLabel "BottomConstituentDensity"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_f3f0a531_6ebb_4c3b_84f9_ed25ca2d5266 +:EMMO_f3f0a531_6ebb_4c3b_84f9_ed25ca2d5266 rdf:type owl:Class ; + rdfs:subClassOf :d2fdff1f_11ff_44bf_a9a4_9ebe09586144 , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf + ] ; + owl:allValuesFrom :b54b505f_8db4_45ff_a437_5aed84a885a0 + ] ; + "Property of the top 2 constituent."@en ; + skos:prefLabel "Top2ConstituentProperty"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_f564ad8d_b733_4e71_81a3_4f15d71dfaa8 +:EMMO_f564ad8d_b733_4e71_81a3_4f15d71dfaa8 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_9c552388_e338_4329_8b31_9c1c3368b412 ; + "Time for complete dissolution of the capsule."@en ; + skos:prefLabel "WSCDissolutionTime"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_f6cd49d8_740f_4592_8eef_637b18cb2502 +:EMMO_f6cd49d8_740f_4592_8eef_637b18cb2502 rdf:type owl:Class ; + rdfs:subClassOf :d2fdff1f_11ff_44bf_a9a4_9ebe09586144 , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf + ] ; + owl:allValuesFrom + ] ; + "Properties of the whitebase."@en ; + skos:prefLabel "WhitebaseProperty"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_f80990bb_169e_4d54_83f2_562c7bf0c853 +:EMMO_f80990bb_169e_4d54_83f2_562c7bf0c853 rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_642fa115_aa18_4eb0_a1c6_40ea6c961559 ; + "Density of the top 1 constituent."@en ; + skos:prefLabel "Top1ConstituentDensity"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_f918a0f8_46ed_4d48_a9d8_8c4fc51ad74d +:EMMO_f918a0f8_46ed_4d48_a9d8_8c4fc51ad74d rdf:type owl:Class ; + rdfs:subClassOf , + :EMMO_9c552388_e338_4329_8b31_9c1c3368b412 ; + "Delta between colors in lab space."@en ; + skos:prefLabel "WSCWhitnessIndex"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_fa38481a_4e0a_4749_95a2_53a9fa19d19f +:EMMO_fa38481a_4e0a_4749_95a2_53a9fa19d19f rdf:type owl:Class ; + rdfs:subClassOf , + :de161b40_b56c_4656_bdb8_b8b5587d7989 ; + "Number of pods contained by the shelf product."@en ; + skos:prefLabel "ProductSize"@en . + + +### http://emmo.info/emmo/application/pgbs#EMMO_fdd4d756_7f33_4dd5_8600_9fd3fcb4e851 +:EMMO_fdd4d756_7f33_4dd5_8600_9fd3fcb4e851 rdf:type owl:Class ; + rdfs:subClassOf [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf + ] ; + owl:someValuesFrom + ] ; + skos:prefLabel "Retailer"@en . + + +### http://emmo.info/emmo/application/pgbs#a1f4e5a6_6bc4_49fc_9b2f_3a2de7cc2e37 +:a1f4e5a6_6bc4_49fc_9b2f_3a2de7cc2e37 rdf:type owl:Class ; + rdfs:subClassOf ; + "A material that is shaped as a sheet and designed to encapsulates an object acting as protection."@en ; + skos:prefLabel "Film"@en . + + +### http://emmo.info/emmo/application/pgbs#b54b505f_8db4_45ff_a437_5aed84a885a0 +:b54b505f_8db4_45ff_a437_5aed84a885a0 rdf:type owl:Class ; + rdfs:subClassOf :bc7641d2_f8e8_4a08_ac37_0ecef2f8196c ; + "The top 2 compartment of a water soluble capsule."@en ; + skos:prefLabel "Top2Constituent"@en . + + +### http://emmo.info/emmo/application/pgbs#bc7641d2_f8e8_4a08_ac37_0ecef2f8196c +:bc7641d2_f8e8_4a08_ac37_0ecef2f8196c rdf:type owl:Class ; + rdfs:subClassOf [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf + ] ; + owl:someValuesFrom + ] ; + rdfs:comment "A constituent of a water soluble capsule."@en ; + skos:prefLabel "WaterSolubleCapsulePart"@en . + + +### http://emmo.info/emmo/application/pgbs#c28bcee9_43a1_47ff_aad9_c3f417383055 +:c28bcee9_43a1_47ff_aad9_c3f417383055 rdf:type owl:Class ; + rdfs:subClassOf [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf + ] ; + owl:someValuesFrom + ] ; + "A participant that represents the final user of a product in a commercialisation process."@en ; + skos:prefLabel "Consumer"@en . + + +### http://emmo.info/emmo/application/pgbs#c7f97beb_d338_4129_9ea9_c93aafef567c +:c7f97beb_d338_4129_9ea9_c93aafef567c rdf:type owl:Class ; + rdfs:subClassOf , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf + ] ; + owl:someValuesFrom + ] , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf + ] ; + owl:someValuesFrom + ] , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf + ] ; + owl:allValuesFrom [ rdf:type owl:Class ; + owl:unionOf ( + + ) + ] + ] ; + "Fabric detergent comprising laundry detergent, softener or other laundry products or a combination of them."@en ; + "A liquid detergent composition for fabrics is multi ingredient mixture."@en ; + skos:prefLabel "Formula"@en . + + +### http://emmo.info/emmo/application/pgbs#cbb1b98d_7b3f_4158_8fcf_53f47c792c31 +:cbb1b98d_7b3f_4158_8fcf_53f47c792c31 rdf:type owl:Class ; + rdfs:subClassOf :bc7641d2_f8e8_4a08_ac37_0ecef2f8196c ; + "The bottom compartment of a water soluble capsule."@en ; + skos:prefLabel "BottomConstituent"@en . + + +### http://emmo.info/emmo/application/pgbs#d2fdff1f_11ff_44bf_a9a4_9ebe09586144 +:d2fdff1f_11ff_44bf_a9a4_9ebe09586144 rdf:type owl:Class ; + rdfs:subClassOf ; + skos:prefLabel "PGBSProperty"@en . + + +### http://emmo.info/emmo/application/pgbs#de161b40_b56c_4656_bdb8_b8b5587d7989 +:de161b40_b56c_4656_bdb8_b8b5587d7989 rdf:type owl:Class ; + rdfs:subClassOf :d2fdff1f_11ff_44bf_a9a4_9ebe09586144 , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf + ] ; + owl:allValuesFrom + ] ; + skos:prefLabel "ProductProperty"@en . + + +### http://emmo.info/emmo/application/pgbs#1bc673d5_1889_494c_8771_0f0563140f08 + rdf:type owl:Class ; + rdfs:subClassOf :bc7641d2_f8e8_4a08_ac37_0ecef2f8196c ; + "The top 1 compartment of a water soluble capsule."@en ; + skos:prefLabel "Top1Constituent"@en . + + +### http://emmo.info/emmo/application/pgbs#2d3660ed_e580_4587_b182_571ba3e2380f + rdf:type owl:Class ; + rdfs:subClassOf , + [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom + ] ; + "The process of storing a whitebase mixture."@en ; + skos:prefLabel "WhitebaseStorage"@en . + + +### http://emmo.info/emmo/application/pgbs#2738f496_022d_41d7_b97d_a27678ac0143 + rdf:type owl:Class ; + rdfs:subClassOf , + :bc7641d2_f8e8_4a08_ac37_0ecef2f8196c ; + "The envelope of a water soluble capsule."@en ; + skos:prefLabel "CapsuleEnvelope"@en . + + +### http://emmo.info/emmo/application/pgbs#37b56589_17b5_4498_be96_aad5f67dc03b + rdf:type owl:Class ; + rdfs:subClassOf ; + "The process of maintaining an world object at a given position in space under controlled environmental conditions (like temperature or mechnaical impact) without intending to immediatly change its state."@en ; + rdfs:comment "Stock or stockpile would mean that changing the state is intended \"soon\"; i.e. \"stockpile\" might be the process that has got the connection to the manufacturing process."@en ; + skos:prefLabel "Storage"@en . + + +### http://emmo.info/emmo/application/pgbs#4e92a552_0b1e_43ec_adb2_12aa6c529245 + rdf:type owl:Class ; + rdfs:subClassOf ; + "A bag made of plastic material."@en ; + skos:prefLabel "PlasticBag"@en . + + +### http://emmo.info/emmo/application/pgbs#412bf128_022e_4182_b9eb_74f6c0d5ec79 + rdf:type owl:Class ; + rdfs:subClassOf ; + "Intermediate mixture to be mixed with other materials to get a formula."@en ; + skos:prefLabel "Whitebase"@en . + + +### http://emmo.info/emmo/application/pgbs#51fab3dc_2e31_4415_953d_f7626c7c2836 + rdf:type owl:Class ; + rdfs:subClassOf , + , + [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom + ] ; + "A commercial product in the laundry domain."@en ; + skos:prefLabel "CommercialLaundryProduct"@en . + + +### http://emmo.info/emmo/application/pgbs#54434768_bd54_4daa_8233_87d66d741c9c + rdf:type owl:Class ; + rdfs:subClassOf ; + "A vector of integer values" ; + skos:prefLabel "IntegerVector"@en . + + +### http://emmo.info/emmo/application/pgbs#56014eda_5080_4a55_8991_818ddf8b91fe + rdf:type owl:Class ; + rdfs:subClassOf [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf + ] ; + owl:someValuesFrom + ] ; + "A container within which a product is delivered or shipped."@en ; + "A plastic bag acting as package for the soluble detergent pods (laundry detergent domain)"@en ; + skos:prefLabel "Package"@en . + +[ rdf:type owl:Axiom ; + owl:annotatedSource ; + owl:annotatedProperty ; + owl:annotatedTarget "A container within which a product is delivered or shipped."@en ; + rdfs:isDefinedBy "https://ncit.nci.nih.gov/ncitbrowser/ConceptReport.jsp?dictionary=NCI_Thesaurus&ns=ncit&code=C79887"^^xsd:anyURI + ] . + + +### http://emmo.info/emmo/application/pgbs#611e7aef_852a_483a_93c5_5ecedfe23e8f + rdf:type owl:Class ; + rdfs:subClassOf , + [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom + ] ; + "The process by which a product is made available in the market to consumers."@en ; + "A bag of detergent pods is made available in France using Carrefour as retailer."@en ; + skos:prefLabel "Commercialisation"@en . + + +### http://emmo.info/emmo/application/pgbs#7e11a0eb_4b9a_4b80_b9d2_d6c2cb664b1a + rdf:type owl:Class ; + rdfs:subClassOf , + [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom + ] ; + "The manufacturing process of soluble capsules."@en ; + skos:prefLabel "SolubleCapsuleManufacturing"@en . + + +### http://emmo.info/emmo/application/pgbs#83563e8b_6cd7_4a80_88eb_64e602ade035 + rdf:type owl:Class ; + rdfs:subClassOf , + [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom :a1f4e5a6_6bc4_49fc_9b2f_3a2de7cc2e37 + ] , + [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom :b54b505f_8db4_45ff_a437_5aed84a885a0 + ] , + [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom :cbb1b98d_7b3f_4158_8fcf_53f47c792c31 + ] , + [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom + ] , + [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom + ] ; + "Finished detergent product that could comprise multiple parts to deliver the full cleaning power."@en ; + "The combination of a fabric detergent and a water soluble film makes a Pod (water soluble pouch)."@en ; + skos:altLabel "Pod"@en , + "Pouch"@en ; + skos:prefLabel "WaterSolubleCapsule"@en . + + +### http://emmo.info/emmo/application/pgbs#83827d5d_0b64_4b01_a75d_99279b4152e4 + rdf:type owl:Class ; + rdfs:subClassOf , + [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom + ] ; + skos:prefLabel "LaundryCapsuleProduct"@en . + + +### http://emmo.info/emmo/application/pgbs#85ad644f_ab61_4af7_8f59_511c434a6041 + rdf:type owl:Class ; + rdfs:subClassOf ; + "A material used by PGBS as precursor for detergent."@en ; + skos:prefLabel "PGBSDetergentPrecursor"@en . + + +### http://emmo.info/emmo/application/pgbs#8948c7ce_4a97_4485_997c_c5dcd3a4d90e + rdf:type owl:Class ; + rdfs:subClassOf [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom + ] ; + "The commercialization of a laundry product."@en ; + skos:prefLabel "LaundryProductCommercialisation"@en . + + +### http://emmo.info/emmo/application/pgbs#947b4609_7905_41c8_b8e9_060dc3535c20 + rdf:type owl:Class ; + rdfs:subClassOf ; + "A bag is usually intended as a man made product acting as container, characterised by a good level of flexibility, with an opening at the top, and designed for carrying things. The opening may be closed or sealed for e.g. transport, conservation of security reasons."@en ; + "The class of containers that have the characteristics of a bag."@en ; + skos:prefLabel "Bag"@en . + + +### http://emmo.info/emmo/application/pgbs#9663e11b_f945_4cfd_b3c2_11d63444b398 + rdf:type owl:Class ; + rdfs:subClassOf ; + "An intermediate mixture that allows formula differentiation."@en ; + skos:prefLabel "Ingredient"@en . + + +[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger +] . + +[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger + ] . + +[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger + ] . + +[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger + ] . + +################################################################# +# Annotations +################################################################# + + rdfs:comment "The different between out-come and out-put is about the intentionality of the process, just like the difference between to come (like to occur, without necessarily implying intentionality) and to put (implicit intentionality)."@en . + + +### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi