From 26173a9635d6599e16443b69991e09b39d6d5a1c Mon Sep 17 00:00:00 2001 From: Emanuele Ghedini Date: Tue, 25 Jun 2024 22:56:00 +0200 Subject: [PATCH] http to https --- mereocausality/mereocausality.ttl | 28 ++++++------- multiperspective/dataset.ttl | 2 +- multiperspective/persholistic.ttl | 6 +-- multiperspective/symbolic.ttl | 68 +++++++++++++++---------------- multiperspective/workflow.ttl | 20 ++++----- perspectives/data.ttl | 32 +++++++-------- perspectives/holistic.ttl | 4 +- perspectives/persistence.ttl | 2 +- perspectives/physicalistic.ttl | 64 ++++++++++++++--------------- perspectives/reductionistic.ttl | 32 +++++++-------- perspectives/semiotics.ttl | 64 ++++++++++++++--------------- perspectives/standardmodel.ttl | 10 ++--- 12 files changed, 166 insertions(+), 166 deletions(-) diff --git a/mereocausality/mereocausality.ttl b/mereocausality/mereocausality.ttl index d4b9c3d3..0d8f77f8 100644 --- a/mereocausality/mereocausality.ttl +++ b/mereocausality/mereocausality.ttl @@ -60,14 +60,14 @@ dcterms:publisher rdf:type owl:AnnotationProperty . dcterms:title rdf:type owl:AnnotationProperty . -### http://w3id.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db - rdf:type owl:AnnotationProperty ; +### https://w3id.org.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db + rdf:type owl:AnnotationProperty ; skos:prefLabel "OWLRL2DLAxioms"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Axioms to add to the OWL 2 RL version of the ontology to reach DL expressivity."@en ; rdfs:subPropertyOf rdfs:comment . [ rdf:type owl:Axiom ; - owl:annotatedSource ; + owl:annotatedSource ; owl:annotatedProperty :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ; owl:annotatedTarget "Axioms to add to the OWL 2 RL version of the ontology to reach DL expressivity."@en ; rdfs:seeAlso "https://www.w3.org/TR/2012/REC-owl2-profiles-20121211/"^^xsd:anyURI @@ -661,7 +661,7 @@ b) y and x are non-overlapping"""@en ; ) ] ] ; - "SubClassOf: hasTemporalPart some CausalPath or Quantum)" ; + "SubClassOf: hasTemporalPart some CausalPath or Quantum)" ; skos:altLabel "CausalChain"@en , "Elementary"@en ; skos:example "An electron with at least one causal interaction with another particle."@en ; @@ -696,7 +696,7 @@ b) y and x are non-overlapping"""@en ; :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 rdf:type owl:Class ; rdfs:subClassOf :EMMO_76bd5e44_bf5a_49f9_a517_eea5e8bcbc2d ; owl:disjointWith :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ; - "SubClassOf: hasSingleMember min 2 Item" ; + "SubClassOf: hasSingleMember min 2 Item" ; skos:example "The collection of users of a particular software, the collection of atoms that have been part of that just dissociated molecule."@en ; skos:prefLabel "Collection"@en ; :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. @@ -706,9 +706,9 @@ The combination of collection and item concepts is the EMMO mereocausality alter [ rdf:type owl:Axiom ; owl:annotatedSource :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 ; - owl:annotatedProperty ; + owl:annotatedProperty ; owl:annotatedTarget "SubClassOf: hasSingleMember min 2 Item" ; - "Every collection has at least two item members, since a collection of one item is a self-connected entity (and then an item)."@en + "Every collection has at least two item members, since a collection of one item is a self-connected entity (and then an item)."@en ] . [ rdf:type owl:Axiom ; @@ -748,7 +748,7 @@ A quantum stands for an incoming or outcoming real particle in a Feynman diagram :EMMO_52b8a39b_e5ff_46d3_b972_65bc43077a07 rdf:type owl:Class ; rdfs:subClassOf :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ; owl:disjointWith :EMMO_76bd5e44_bf5a_49f9_a517_eea5e8bcbc2d ; - "EquivalentTo: CausalPath or Quantum" ; + "EquivalentTo: CausalPath or Quantum" ; skos:prefLabel "CausalParticle"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "A causal particle represents the most elementary entity in physics, being it a simple state of an elementary particle, called quantum in the EMMO, or a chain of causally connected quanta."@en ; :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The disjoint union of CausalPath and Quantum classes."@en ; @@ -765,7 +765,7 @@ A quantum stands for an incoming or outcoming real particle in a Feynman diagram ### https://w3id.org/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 ; - "EquivalentTo: CausalCluster or CausalStructure" ; + "EquivalentTo: CausalCluster or CausalStructure" ; skos:example "An atom, a group of persons, a fluid."@en ; skos:prefLabel "Fusion"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "A fusion is any entity that is made up of two or more quantum entities, regardless of the fact that they are or not self-connected."@en ; @@ -783,7 +783,7 @@ A quantum stands for an incoming or outcoming real particle in a Feynman diagram ### https://w3id.org/emmo#EMMO_76bd5e44_bf5a_49f9_a517_eea5e8bcbc2d :EMMO_76bd5e44_bf5a_49f9_a517_eea5e8bcbc2d rdf:type owl:Class ; rdfs:subClassOf :EMMO_53ed8611_2cd7_4286_9ef0_36572117b963 ; - "EquivalentTo: Collection or CausalSystem" ; + "EquivalentTo: Collection or CausalSystem" ; skos:prefLabel "CausalCluster"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "With the causal cluster term we address an heterogenous group of entities, which possess the common feature of having at least two causally non connected quanta. It comprises collections (non self-connected entities) and causal systems (entities extended in space)."@en ; :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The disjoint union of the CausalSystem and Collection classes."@en ; @@ -800,7 +800,7 @@ A quantum stands for an incoming or outcoming real particle in a Feynman diagram ### https://w3id.org/emmo#EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf rdf:type owl:Class ; rdfs:subClassOf _:genid22 ; - "DisjointUnion: CausalPath, Collection, Quantum, CausalSystem" , + "DisjointUnion: CausalPath, Collection, Quantum, CausalSystem" , "SubClassOF: hasPart some Quantum" ; skos:prefLabel "EMMO"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """The EMMO conceptualises the world using the primitive concepts of causality and parthood. Parthood is about the composition of world entities starting from other more fundamental entities. Causality is about the interactions between world entities. @@ -828,7 +828,7 @@ _:genid22 rdf:type owl:Restriction ; [ rdf:type owl:Axiom ; owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; - owl:annotatedProperty ; + owl:annotatedProperty ; owl:annotatedTarget "SubClassOF: hasPart some Quantum" ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Every entity is made of quantum parts. This axiomatisation is the expression of the radical reductionistic approach of the EMMO."@en ] . @@ -864,7 +864,7 @@ A collection cannot be an item and viceversa, representing the fact that a world :EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d rdf:type owl:Class ; rdfs:subClassOf :EMMO_53ed8611_2cd7_4286_9ef0_36572117b963 , :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ; - "EquivalentTo: CausalPath or CausalSystem" ; + "EquivalentTo: CausalPath or CausalSystem" ; skos:prefLabel "CausalStructure"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """The most fundamental unity criterion for the definition of an structure is that: - is made of at least two quantums (a structure is not a simple entity) @@ -902,7 +902,7 @@ A causal system is always a spatial-like structure, and is represented as a mult ### https://w3id.org/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 ; - "EquivalentTo: CausalParticle or CausalStructure" ; + "EquivalentTo: CausalParticle or CausalStructure" ; skos:altLabel "CausalObject"@en ; skos:example "A person life, an interval of a person life. The lifetime of two components, from the production in separate manufacturing lines, their being connected components in a device, including their eparation and decommissioning."@en ; skos:prefLabel "Item"@en ; diff --git a/multiperspective/dataset.ttl b/multiperspective/dataset.ttl index a253e270..2056c71b 100644 --- a/multiperspective/dataset.ttl +++ b/multiperspective/dataset.ttl @@ -97,7 +97,7 @@ # Annotations ################################################################# -:EMMO_194e367c_9783_4bf5_96d0_9ad597d48d9a "SubClassOf: hasDatum some Datum" . +:EMMO_194e367c_9783_4bf5_96d0_9ad597d48d9a "SubClassOf: hasDatum some Datum" . ### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi diff --git a/multiperspective/persholistic.ttl b/multiperspective/persholistic.ttl index b6754d04..f726e22d 100644 --- a/multiperspective/persholistic.ttl +++ b/multiperspective/persholistic.ttl @@ -343,7 +343,7 @@ Since topological connection means causality, then the only way for a real world :EMMO_65a007dc_2550_46b0_b394_3346c67fbb69 rdf:type owl:Class ; rdfs:subClassOf :EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0 , :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ; - "SubClassOf: hasComponent some Component" ; + "SubClassOf: hasComponent some Component" ; skos:prefLabel "HolisticSystem"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An object that is made of a set of sub objects working together as parts of a mechanism or an interconnecting network (natural or artificial); a complex whole."@en ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A system is conceived as an aggregate of things that 'work' (or interact) together. While a system extends in time through distinct temporal parts (like every other 4D object), this elucdation focuses on a timescale in which the obejct shows a persistence in time."@en . @@ -369,7 +369,7 @@ Since topological connection means causality, then the only way for a real world :EMMO_bafc17b5_9be4_4823_8bbe_ab4e90b6738c rdf:type owl:Class ; rdfs:subClassOf :EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0 , :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ; - "SubClassOf: hasAgent some IntentionalAgent" ; + "SubClassOf: hasAgent some IntentionalAgent" ; skos:prefLabel "IntentionalProcess"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A process occurring with the active participation of an agent that drives the process according to a specific objective (intention)."@en . @@ -445,7 +445,7 @@ organization: person or group of people that has its own functions with responsi ### https://w3id.org/emmo#EMMO_f76884f7_964e_488e_9bb7_1b2453e9e817 :EMMO_f76884f7_964e_488e_9bb7_1b2453e9e817 rdf:type owl:Class ; rdfs:subClassOf :EMMO_ceaaf9f7_fd11_424b_8fda_9afa186af186 ; - "SubClassOf: inverse (hasConstituent) some HolisticSystem" ; + "SubClassOf: inverse (hasConstituent) some HolisticSystem" ; skos:prefLabel "Component"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A constituent of a system."@en . diff --git a/multiperspective/symbolic.ttl b/multiperspective/symbolic.ttl index 47fc7221..80716571 100644 --- a/multiperspective/symbolic.ttl +++ b/multiperspective/symbolic.ttl @@ -90,8 +90,8 @@ rdf:JSON rdf:type rdfs:Datatype . # Classes ################################################################# -### http://w3id.org/emmo#EMMO_1141d225_fe90_4230_82c6_31cab6a4e3fe - rdf:type owl:Class ; +### https://w3id.org.org/emmo#EMMO_1141d225_fe90_4230_82c6_31cab6a4e3fe + rdf:type owl:Class ; rdfs:subClassOf :EMMO_057e7d57_aff0_49de_911a_8861d85cef40 ; skos:prefLabel "SymbolicByStructure"@en . @@ -99,7 +99,7 @@ rdf:JSON rdf:type rdfs:Datatype . ### https://w3id.org/emmo#EMMO_057e7d57_aff0_49de_911a_8861d85cef40 :EMMO_057e7d57_aff0_49de_911a_8861d85cef40 rdf:type owl:Class ; rdfs:subClassOf :EMMO_be8592a7_68d1_4a06_ad23_82f2b56ef926 ; - "EquivalentTo: SymbolicConstruct or Symbol" ; + "EquivalentTo: SymbolicConstruct or Symbol" ; skos:example """fe780 emmo !5*a @@ -130,7 +130,7 @@ The `hasPart` relation can be used to refer to the scalar data"""@en . ### https://w3id.org/emmo#EMMO_0e03a375_8af8_46db_88ae_a45fe2d2940f :EMMO_0e03a375_8af8_46db_88ae_a45fe2d2940f rdf:type owl:Class ; rdfs:subClassOf :EMMO_70bbb94e_2ca7_4d73_ba01_6397f134d172 ; - "EquivalentTo: hasDataValue some xsd:dateTime" ; + "EquivalentTo: hasDataValue some xsd:dateTime" ; rdfs:seeAlso "https://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/datatypes.html#dateTime"^^xsd:anyURI ; skos:prefLabel "DateTimeData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data that represents instants of time, optionally marked with a particular time zone offset."@en . @@ -139,7 +139,7 @@ The `hasPart` relation can be used to refer to the scalar data"""@en . ### https://w3id.org/emmo#EMMO_10bbe9e9_46b6_4b5d_8b51_ed759fc21f21 :EMMO_10bbe9e9_46b6_4b5d_8b51_ed759fc21f21 rdf:type owl:Class ; rdfs:subClassOf :EMMO_0e03a375_8af8_46db_88ae_a45fe2d2940f ; - "EquivalentTo: hasDataValue some xsd:dateTimeStamp" ; + "EquivalentTo: hasDataValue some xsd:dateTimeStamp" ; rdfs:seeAlso "https://www.w3.org/TR/xmlschema11-2/#dateTimeStamp"^^xsd:anyURI ; skos:prefLabel "DateTimeStampData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data that represents instants of time, marked with a particular time zone offset."@en . @@ -148,7 +148,7 @@ The `hasPart` relation can be used to refer to the scalar data"""@en . ### https://w3id.org/emmo#EMMO_18d180e4_5e3e_42f7_820c_e08951223486 :EMMO_18d180e4_5e3e_42f7_820c_e08951223486 rdf:type owl:Class ; rdfs:subClassOf :EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a ; - "EquivalentTo: hasDataValue some owl:real" ; + "EquivalentTo: hasDataValue some owl:real" ; skos:prefLabel "RealData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing a real number."@en . @@ -163,7 +163,7 @@ The `hasPart` relation can be used to refer to the scalar data"""@en . ### https://w3id.org/emmo#EMMO_1f96db65_51df_4e8d_afd2_9c6b8bd40058 :EMMO_1f96db65_51df_4e8d_afd2_9c6b8bd40058 rdf:type owl:Class ; rdfs:subClassOf :EMMO_1daaf7b2_e7bf_4b3a_b7f6_8aa3f3c3d080 ; - "EquivalentTo: hasDataValue some xsd:hexBinary" ; + "EquivalentTo: hasDataValue some xsd:hexBinary" ; rdfs:seeAlso "https://www.w3.org/TR/xmlschema11-2/#hexBinary"^^xsd:anyURI ; skos:prefLabel "HexBinaryData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Hexadecimal encoding of binary data, using the alphabeth [0-9a-f]."@en . @@ -172,7 +172,7 @@ The `hasPart` relation can be used to refer to the scalar data"""@en . ### https://w3id.org/emmo#EMMO_220218b0_bbe2_489e_a68a_232e3610718e :EMMO_220218b0_bbe2_489e_a68a_232e3610718e rdf:type owl:Class ; rdfs:subClassOf :EMMO_1daaf7b2_e7bf_4b3a_b7f6_8aa3f3c3d080 ; - "EquivalentTo: hasDataValue some xsd:base64Binary" ; + "EquivalentTo: hasDataValue some xsd:base64Binary" ; rdfs:seeAlso "https://www.w3.org/TR/xmlschema11-2/#base64Binary"^^xsd:anyURI ; skos:prefLabel "Base64Binary"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Base-64 encoding of binary data."@en . @@ -181,7 +181,7 @@ The `hasPart` relation can be used to refer to the scalar data"""@en . ### https://w3id.org/emmo#EMMO_2ff657b6_1c9f_4335_bba2_ea4428422977 :EMMO_2ff657b6_1c9f_4335_bba2_ea4428422977 rdf:type owl:Class ; rdfs:subClassOf :EMMO_9e49caad_b29e_4cf1_9be4_80419fd1e45c ; - "SubClassOf: hasSpatialTile some VectorData" ; + "SubClassOf: hasSpatialTile some VectorData" ; skos:prefLabel "MatrixData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The datatype for bidimensional arrays."@en . @@ -190,7 +190,7 @@ The `hasPart` relation can be used to refer to the scalar data"""@en . :EMMO_3a53b946_4dfd_4a38_bb5b_aa78d7b0db9c rdf:type owl:Class ; rdfs:subClassOf :EMMO_51f93d8c_57fa_4314_a68d_8d69c2609c97 , :EMMO_f1ee5c02_5cc0_45ba_a09a_2e6319f75fc8 ; - "EquivalentTo: hasDataValue some xsd:unsignedInt" ; + "EquivalentTo: hasDataValue some xsd:unsignedInt" ; rdfs:seeAlso "https://www.w3.org/TR/xmlschema11-2/#unsignedInt"^^xsd:anyURI ; skos:prefLabel "UnsignedIntData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing 32-bit non-negative integer number, 0...4294967295."@en . @@ -200,7 +200,7 @@ The `hasPart` relation can be used to refer to the scalar data"""@en . :EMMO_3c87fd89_b0f0_477a_86b6_d949c2b982ee rdf:type owl:Class ; rdfs:subClassOf :EMMO_3c87fd89_b0f0_477a_86b6_d949c2b982ee , :EMMO_443198a5_934c_44fa_b89e_28eca13b25b2 ; - "EquivalentTo: hasDataValue some xsd:byte" ; + "EquivalentTo: hasDataValue some xsd:byte" ; rdfs:seeAlso "https://www.w3.org/TR/xmlschema11-2/#byte"^^xsd:anyURI ; skos:prefLabel "ByteData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing 8-bit integer number."@en . @@ -209,7 +209,7 @@ The `hasPart` relation can be used to refer to the scalar data"""@en . ### https://w3id.org/emmo#EMMO_42eee73b_e4d2_4a0f_b468_3d2ce0475af6 :EMMO_42eee73b_e4d2_4a0f_b468_3d2ce0475af6 rdf:type owl:Class ; rdfs:subClassOf :EMMO_f8bd64d5_5d3e_4ad4_a46e_c30714fecb7f ; - "EquivalentTo: hasDataValue some xsd:nonNegativeInteger" ; + "EquivalentTo: hasDataValue some xsd:nonNegativeInteger" ; rdfs:seeAlso "https://www.w3.org/TR/xmlschema11-2/#nonNegativeInteger"^^xsd:anyURI ; skos:prefLabel "NonNegativeIntegerData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing an integer number >= 0."@en . @@ -226,7 +226,7 @@ The `hasPart` relation can be used to refer to the scalar data"""@en . :EMMO_443198a5_934c_44fa_b89e_28eca13b25b2 rdf:type owl:Class ; rdfs:subClassOf :EMMO_443198a5_934c_44fa_b89e_28eca13b25b2 , :EMMO_aa972cc9_5d9e_47a2_abc5_00243d6b3917 ; - "EquivalentTo: hasDataValue some xsd:short" ; + "EquivalentTo: hasDataValue some xsd:short" ; rdfs:seeAlso "https://www.w3.org/TR/xmlschema11-2/#short"^^xsd:anyURI ; skos:prefLabel "ShortData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing 16-bit integer number."@en . @@ -249,7 +249,7 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc ### https://w3id.org/emmo#EMMO_51f93d8c_57fa_4314_a68d_8d69c2609c97 :EMMO_51f93d8c_57fa_4314_a68d_8d69c2609c97 rdf:type owl:Class ; rdfs:subClassOf :EMMO_f8bd64d5_5d3e_4ad4_a46e_c30714fecb7f ; - "EquivalentTo: hasDataValue some xsd:long" ; + "EquivalentTo: hasDataValue some xsd:long" ; rdfs:seeAlso "https://www.w3.org/TR/xmlschema11-2/#long"^^xsd:anyURI ; skos:prefLabel "LongData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing 64-bit integer number."@en . @@ -258,7 +258,7 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc ### https://w3id.org/emmo#EMMO_52fa9c76_fc42_4eca_a5c1_6095a1c9caab :EMMO_52fa9c76_fc42_4eca_a5c1_6095a1c9caab rdf:type owl:Class ; rdfs:subClassOf :EMMO_88a34881_b8d0_474b_9a08_40dbd414d834 ; - "EquivalentTo: hasDataValue some xsd:double" ; + "EquivalentTo: hasDataValue some xsd:double" ; rdfs:seeAlso "https://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/datatypes.html#double"^^xsd:anyURI ; skos:prefLabel "DoubleData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A symbolic data representing a 64-bit floating point numbers incl. ±Inf, ±0, NaN."@en . @@ -267,7 +267,7 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc ### https://w3id.org/emmo#EMMO_54dc83cb_06e1_4739_9e45_bc09cead7f48 :EMMO_54dc83cb_06e1_4739_9e45_bc09cead7f48 rdf:type owl:Class ; rdfs:subClassOf :EMMO_70bbb94e_2ca7_4d73_ba01_6397f134d172 ; - "EquivalentTo: hasDataValue some xsd:boolean" ; + "EquivalentTo: hasDataValue some xsd:boolean" ; rdfs:seeAlso "https://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/datatypes.html#boolean" ; skos:prefLabel "BooleanData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data repesenting a boolean number."@en . @@ -276,7 +276,7 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc ### https://w3id.org/emmo#EMMO_58f76a09_205c_44f2_b237_88de54e8e001 :EMMO_58f76a09_205c_44f2_b237_88de54e8e001 rdf:type owl:Class ; rdfs:subClassOf :EMMO_42eee73b_e4d2_4a0f_b468_3d2ce0475af6 ; - "EquivalentTo: hasDataValue some xsd:positiveInteger" ; + "EquivalentTo: hasDataValue some xsd:positiveInteger" ; rdfs:seeAlso "https://www.w3.org/TR/xmlschema11-2/#positiveInteger"^^xsd:anyURI ; skos:prefLabel "PositiveIntegerData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing an integer number > 0."@en . @@ -285,7 +285,7 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc ### https://w3id.org/emmo#EMMO_5f334606_f67d_4f0e_acb9_eeb21cb10c66 :EMMO_5f334606_f67d_4f0e_acb9_eeb21cb10c66 rdf:type owl:Class ; rdfs:subClassOf :EMMO_70bbb94e_2ca7_4d73_ba01_6397f134d172 ; - "EquivalentTo: hasDataValue some xsd:string" ; + "EquivalentTo: hasDataValue some xsd:string" ; rdfs:seeAlso "https://www.w3.org/TR/xmlschema11-2/#string"^^xsd:anyURI ; skos:prefLabel "StringData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Symbolic data that consist of a sequence of characters."@en ; @@ -295,7 +295,7 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc ### https://w3id.org/emmo#EMMO_648c17b7_a012_4060_a096_c76bd407804b :EMMO_648c17b7_a012_4060_a096_c76bd407804b rdf:type owl:Class ; rdfs:subClassOf :EMMO_cf0f8f57_8a9e_410c_8fe4_a436673fa3d3 ; - "EquivalentTo: hasDataValue some xsd:negativeInteger" ; + "EquivalentTo: hasDataValue some xsd:negativeInteger" ; rdfs:seeAlso "https://www.w3.org/TR/xmlschema11-2/#negativeInteger"^^xsd:anyURI ; skos:prefLabel "NegativeIntegerData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing an integer number < 0."@en . @@ -304,7 +304,7 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc ### https://w3id.org/emmo#EMMO_69ebb235_9c5e_443d_9a3b_7042b1005f1f :EMMO_69ebb235_9c5e_443d_9a3b_7042b1005f1f rdf:type owl:Class ; rdfs:subClassOf :EMMO_18d180e4_5e3e_42f7_820c_e08951223486 ; - "EquivalentTo: hasDataValue some owl:rational" ; + "EquivalentTo: hasDataValue some owl:rational" ; skos:prefLabel "RationalData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A symbolic data representing a rational number, that is a number that can be expressed exact by `p/q` where `p` and `q` are integer numbers."@en . @@ -312,7 +312,7 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc ### https://w3id.org/emmo#EMMO_70bbb94e_2ca7_4d73_ba01_6397f134d172 :EMMO_70bbb94e_2ca7_4d73_ba01_6397f134d172 rdf:type owl:Class ; rdfs:subClassOf :EMMO_057e7d57_aff0_49de_911a_8861d85cef40 ; - "DisjointUnionOf: ArrayData, ScalarData" ; + "DisjointUnionOf: ArrayData, ScalarData" ; rdfs:seeAlso "https://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/#built-in-datatypes"^^xsd:anyURI , "https://www.w3.org/TR/rdf11-concepts/"^^xsd:anyURI , "https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Datatype_Maps" , @@ -339,8 +339,8 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc ### https://w3id.org/emmo#EMMO_89a0c87c_0804_4013_937a_6fe234d9499c :EMMO_89a0c87c_0804_4013_937a_6fe234d9499c rdf:type owl:Class ; - rdfs:subClassOf ; - "SubClassOf: hasProperPart some Symbolic" ; + rdfs:subClassOf ; + "SubClassOf: hasProperPart some Symbolic" ; skos:prefLabel "SymbolicConstruct"@en ; :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 . @@ -357,7 +357,7 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc :EMMO_9e49caad_b29e_4cf1_9be4_80419fd1e45c rdf:type owl:Class ; rdfs:subClassOf :EMMO_70bbb94e_2ca7_4d73_ba01_6397f134d172 , :EMMO_e12dcfa4_c9f1_4546_9a12_8457c052e6ba ; - "SubClassOf: hasScalarData some ScalarData" , + "SubClassOf: hasScalarData some ScalarData" , "SubClassOf: hasSpatialTile some SymbolicData" ; skos:prefLabel "ArrayData"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "An array is a datatype representing an ordered collection of elements (or values) that can be accessed by indexes. Arrays have an analog mathematical counterpart in vectors and matrixes, but are separate concepts. Arrays may be multidimensionals."@en ; @@ -383,7 +383,7 @@ The tiles of an n-dimensional array are (n-1) dimensional arrays. The tiles of a ### https://w3id.org/emmo#EMMO_a1083d0a_c1fb_471f_8e20_a98f881ad527 :EMMO_a1083d0a_c1fb_471f_8e20_a98f881ad527 rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:altLabel "AlphabeticEntity"@en ; skos:example "The class of letter \"A\" is the symbol as idea and the letter A that you see on the screen is the mark that can be represented by an individual belonging to \"A\"."@en ; skos:prefLabel "Symbol"@en ; @@ -409,7 +409,7 @@ Symbols of a formal language must be capable of being specified without any refe ### https://w3id.org/emmo#EMMO_aa972cc9_5d9e_47a2_abc5_00243d6b3917 :EMMO_aa972cc9_5d9e_47a2_abc5_00243d6b3917 rdf:type owl:Class ; rdfs:subClassOf :EMMO_51f93d8c_57fa_4314_a68d_8d69c2609c97 ; - "EquivalentTo: hasDataValue some xsd:int" ; + "EquivalentTo: hasDataValue some xsd:int" ; rdfs:seeAlso "https://www.w3.org/TR/xmlschema11-2/#int"^^xsd:anyURI ; skos:prefLabel "IntData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing 32-bit integer number."@en . @@ -418,7 +418,7 @@ Symbols of a formal language must be capable of being specified without any refe ### https://w3id.org/emmo#EMMO_ac9e518d_b403_4d8b_97e2_06f9d40bac01 :EMMO_ac9e518d_b403_4d8b_97e2_06f9d40bac01 rdf:type owl:Class ; rdfs:subClassOf :EMMO_88a34881_b8d0_474b_9a08_40dbd414d834 ; - "EquivalentTo: hasDataValue some xsd:float" ; + "EquivalentTo: hasDataValue some xsd:float" ; rdfs:seeAlso "https://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/datatypes.html#float"^^xsd:anyURI ; skos:prefLabel "FloatData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A symbolic data representing a 32-bit floating point numbers incl. ±Inf, ±0, NaN."@en . @@ -434,7 +434,7 @@ Symbols of a formal language must be capable of being specified without any refe ### https://w3id.org/emmo#EMMO_cf0f8f57_8a9e_410c_8fe4_a436673fa3d3 :EMMO_cf0f8f57_8a9e_410c_8fe4_a436673fa3d3 rdf:type owl:Class ; rdfs:subClassOf :EMMO_f8bd64d5_5d3e_4ad4_a46e_c30714fecb7f ; - "EquivalentTo: hasDataValue some xsd:nonPositiveInteger" ; + "EquivalentTo: hasDataValue some xsd:nonPositiveInteger" ; rdfs:seeAlso "https://www.w3.org/TR/xmlschema11-2/#nonPositiveInteger"^^xsd:anyURI ; skos:prefLabel "NonPositiveIntegerData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing an integer number <= 0."@en . @@ -443,7 +443,7 @@ Symbols of a formal language must be capable of being specified without any refe ### https://w3id.org/emmo#EMMO_d43546df_7fd7_44d5_9d7c_0f2bf56cefe3 :EMMO_d43546df_7fd7_44d5_9d7c_0f2bf56cefe3 rdf:type owl:Class ; rdfs:subClassOf :EMMO_69ebb235_9c5e_443d_9a3b_7042b1005f1f ; - "EquivalentTo: hasDataValue some xsd:decimal" ; + "EquivalentTo: hasDataValue some xsd:decimal" ; rdfs:seeAlso "https://www.w3.org/TR/xmlschema11-2/#decimal"^^xsd:anyURI ; skos:prefLabel "DecimalData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing an arbritrary precision decimal number."@en . @@ -466,7 +466,7 @@ Symbols of a formal language must be capable of being specified without any refe ### https://w3id.org/emmo#EMMO_d95ff9c8_e43f_4701_a761_f2ed601eb61d :EMMO_d95ff9c8_e43f_4701_a761_f2ed601eb61d rdf:type owl:Class ; rdfs:subClassOf :EMMO_9e49caad_b29e_4cf1_9be4_80419fd1e45c ; - "SubClassOf: hasSpatialTile some ScalarData" ; + "SubClassOf: hasSpatialTile some ScalarData" ; skos:prefLabel "VectorData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The datatype for monodimensional arrays."@en . @@ -475,7 +475,7 @@ Symbols of a formal language must be capable of being specified without any refe :EMMO_dc6e40f6_5b6c_473b_a715_d36622ada5ad rdf:type owl:Class ; rdfs:subClassOf :EMMO_3a53b946_4dfd_4a38_bb5b_aa78d7b0db9c , :EMMO_aa972cc9_5d9e_47a2_abc5_00243d6b3917 ; - "EquivalentTo: hasDataValue some xsd:unsignedShort" ; + "EquivalentTo: hasDataValue some xsd:unsignedShort" ; rdfs:seeAlso "https://www.w3.org/TR/xmlschema11-2/#unsignedShort"^^xsd:anyURI ; skos:prefLabel "UnsignedShortData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing 16-bit non-negative integer number, 0...65535."@en . @@ -500,7 +500,7 @@ Symbols of a formal language must be capable of being specified without any refe :EMMO_e99aec47_9ae6_4a1d_bddd_b87bb456c52a rdf:type owl:Class ; rdfs:subClassOf :EMMO_443198a5_934c_44fa_b89e_28eca13b25b2 , :EMMO_dc6e40f6_5b6c_473b_a715_d36622ada5ad ; - "EquivalentTo: hasDataValue some xsd:unsignedByte" ; + "EquivalentTo: hasDataValue some xsd:unsignedByte" ; rdfs:seeAlso "https://www.w3.org/TR/xmlschema11-2/#unsignedByte"^^xsd:anyURI ; skos:prefLabel "UnsignedByteData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing 8-bit non-negative integer number, 0...255."@en . @@ -509,7 +509,7 @@ Symbols of a formal language must be capable of being specified without any refe ### https://w3id.org/emmo#EMMO_f1ee5c02_5cc0_45ba_a09a_2e6319f75fc8 :EMMO_f1ee5c02_5cc0_45ba_a09a_2e6319f75fc8 rdf:type owl:Class ; rdfs:subClassOf :EMMO_42eee73b_e4d2_4a0f_b468_3d2ce0475af6 ; - "EquivalentTo: hasDataValue some xsd:unsignedLong" ; + "EquivalentTo: hasDataValue some xsd:unsignedLong" ; rdfs:seeAlso "https://www.w3.org/TR/xmlschema11-2/#unsignedLong"^^xsd:anyURI ; skos:prefLabel "UnsignedLongData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing 64-bit non-negative integer number, 0...18446744073709551615."@en . @@ -518,7 +518,7 @@ Symbols of a formal language must be capable of being specified without any refe ### https://w3id.org/emmo#EMMO_f8bd64d5_5d3e_4ad4_a46e_c30714fecb7f :EMMO_f8bd64d5_5d3e_4ad4_a46e_c30714fecb7f rdf:type owl:Class ; rdfs:subClassOf :EMMO_d43546df_7fd7_44d5_9d7c_0f2bf56cefe3 ; - "EquivalentTo: hasDataValue some xsd:integer" ; + "EquivalentTo: hasDataValue some xsd:integer" ; rdfs:seeAlso "https://www.w3.org/TR/xmlschema11-2/#integer"^^xsd:anyURI ; skos:prefLabel "IntegerData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing an arbritrary sized integer number."@en . diff --git a/multiperspective/workflow.ttl b/multiperspective/workflow.ttl index 54054968..7318259d 100644 --- a/multiperspective/workflow.ttl +++ b/multiperspective/workflow.ttl @@ -62,22 +62,22 @@ Workflows may also be extended reductionistically into serial and parallel workf # Classes ################################################################# -### http://w3id.org/emmo#EMMO_180bd73b_0c5d_4b1f_ba12_4309c5a50d49 - rdf:type owl:Class ; - rdfs:subClassOf , +### https://w3id.org.org/emmo#EMMO_180bd73b_0c5d_4b1f_ba12_4309c5a50d49 + rdf:type owl:Class ; + rdfs:subClassOf , :EMMO_9f6ec830_c59f_46aa_8a22_945ba20b6ea3 ; skos:prefLabel "StepByPosition"@en . -### http://w3id.org/emmo#EMMO_1a6ddb13_49ff_4305_97a1_d1458d51c066 - rdf:type owl:Class ; +### https://w3id.org.org/emmo#EMMO_1a6ddb13_49ff_4305_97a1_d1458d51c066 + rdf:type owl:Class ; rdfs:subClassOf :EMMO_9f6ec830_c59f_46aa_8a22_945ba20b6ea3 ; skos:prefLabel "StepByFlow"@en . ### https://w3id.org/emmo#EMMO_2666a7e3_2ad4_49a0_899e_329607231f4b :EMMO_2666a7e3_2ad4_49a0_899e_329607231f4b rdf:type owl:Class ; - rdfs:subClassOf , + rdfs:subClassOf , :EMMO_504ad89e_dd4a_4fa6_aeb6_15c8ce0cde9b ; skos:prefLabel "SerialStep"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A step that is a temporal tile of a workflow."@en . @@ -85,7 +85,7 @@ Workflows may also be extended reductionistically into serial and parallel workf ### https://w3id.org/emmo#EMMO_322ce14e_9ede_4841_ad70_302b4d6c5f28 :EMMO_322ce14e_9ede_4841_ad70_302b4d6c5f28 rdf:type owl:Class ; - rdfs:subClassOf , + rdfs:subClassOf , :EMMO_caa63d00_80b1_4408_ac1b_cd0d23b0ec50 ; skos:prefLabel "InternalStep"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A generic step in a workflow, that is not the begin or the end."@en . @@ -144,7 +144,7 @@ It means that you can declare that e.g. tightening a bolt is a task of building ### https://w3id.org/emmo#EMMO_8a2a1cbc_dfc3_4e6c_b337_00ee56fd438a :EMMO_8a2a1cbc_dfc3_4e6c_b337_00ee56fd438a rdf:type owl:Class ; - rdfs:subClassOf , + rdfs:subClassOf , :EMMO_edf72228_e040_4edc_8b46_78b2a47c72d7 ; skos:prefLabel "EndStep"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The final step of a workflow."@en ; @@ -153,7 +153,7 @@ It means that you can declare that e.g. tightening a bolt is a task of building ### https://w3id.org/emmo#EMMO_9ac10a20_63d0_4bbd_a5d3_f00a0ad4682c :EMMO_9ac10a20_63d0_4bbd_a5d3_f00a0ad4682c rdf:type owl:Class ; - rdfs:subClassOf , + rdfs:subClassOf , :EMMO_64963ed6_39c9_4258_85e0_6466c4b5420c ; skos:example "Jacobi method numerical step, involving the multiplication between a matrix A and a vector x, whose result is used to update the vector x."@en ; skos:prefLabel "IterativeStep"@en ; @@ -171,7 +171,7 @@ It means that you can declare that e.g. tightening a bolt is a task of building ### https://w3id.org/emmo#EMMO_b941e455_2cb1_4c11_93e3_17caa06086b4 :EMMO_b941e455_2cb1_4c11_93e3_17caa06086b4 rdf:type owl:Class ; - rdfs:subClassOf , + rdfs:subClassOf , :EMMO_fa595892_070d_455e_9459_06c97179c080 ; skos:prefLabel "BeginStep"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An initial step of a workflow."@en ; diff --git a/perspectives/data.ttl b/perspectives/data.ttl index fcdbdf47..d59f13f6 100644 --- a/perspectives/data.ttl +++ b/perspectives/data.ttl @@ -41,33 +41,33 @@ # Classes ################################################################# -### http://w3id.org/emmo#EMMO_1a40459e_10d8_49b3_bb8c_c3595fb1d0bb - rdf:type owl:Class ; +### https://w3id.org.org/emmo#EMMO_1a40459e_10d8_49b3_bb8c_c3595fb1d0bb + rdf:type owl:Class ; rdfs:subClassOf :EMMO_3e7add3d_e6ed_489a_a796_8e31fef9b490 ; skos:prefLabel "DataByStructure"@en . -### http://w3id.org/emmo#EMMO_1e1cfc11_aa1a_44d4_a8d0_31e26deb2d19 - rdf:type owl:Class ; +### https://w3id.org.org/emmo#EMMO_1e1cfc11_aa1a_44d4_a8d0_31e26deb2d19 + rdf:type owl:Class ; rdfs:subClassOf :EMMO_3e7add3d_e6ed_489a_a796_8e31fef9b490 ; skos:prefLabel "DataByNature"@en . -### http://w3id.org/emmo#EMMO_c66ad523_3937_485e_91bb_ad488ddb373f - rdf:type owl:Class ; +### https://w3id.org.org/emmo#EMMO_c66ad523_3937_485e_91bb_ad488ddb373f + rdf:type owl:Class ; rdfs:subClassOf :EMMO_3e7add3d_e6ed_489a_a796_8e31fef9b490 ; skos:prefLabel "DataByDiscretness"@en . -### http://w3id.org/emmo#EMMO_f0fec2df_41f0_4412_b28a_592858c065f0 - rdf:type owl:Class ; +### https://w3id.org.org/emmo#EMMO_f0fec2df_41f0_4412_b28a_592858c065f0 + rdf:type owl:Class ; rdfs:subClassOf :EMMO_3e7add3d_e6ed_489a_a796_8e31fef9b490 ; skos:prefLabel "DataByNumerical"@en . ### https://w3id.org/emmo#EMMO_0d1c0018_42e2_4506_bc3d_f53c117c1ad3 :EMMO_0d1c0018_42e2_4506_bc3d_f53c117c1ad3 rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:example "A vynil contain continuous information about the recorded sound."@en ; skos:prefLabel "AnalogData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Data that are decoded retaining its continuous variations characteristic."@en ; @@ -76,14 +76,14 @@ ### https://w3id.org/emmo#EMMO_194e367c_9783_4bf5_96d0_9ad597d48d9a :EMMO_194e367c_9783_4bf5_96d0_9ad597d48d9a rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:prefLabel "DataSet"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Encoded data made of more than one datum."@en . ### https://w3id.org/emmo#EMMO_50d6236a_7667_4883_8ae1_9bb5d190423a :EMMO_50d6236a_7667_4883_8ae1_9bb5d190423a rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:example "A character, a bit, a song in a CD."@en ; skos:prefLabel "Datum"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A self-consistent encoded data entity."@en . @@ -91,28 +91,28 @@ ### https://w3id.org/emmo#EMMO_6fa1feac_c388_44cc_a721_283499d5addc :EMMO_6fa1feac_c388_44cc_a721_283499d5addc rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:prefLabel "QuantumData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Data that are expressed through quantum mechanical principles, and that can have several values ​​/ be in several states in the same place at the same time (quantum superposition), each of them with a certain probability."@en . ### https://w3id.org/emmo#EMMO_888a5dea_3b7d_4dc0_93f2_d4e345a1f903 :EMMO_888a5dea_3b7d_4dc0_93f2_d4e345a1f903 rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:prefLabel "NumericalData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Data that can be decoded under a quantitative schema and also associated with a graphical number symbols."@en . ### https://w3id.org/emmo#EMMO_ac1a05c5_0c17_4387_bac0_683f2a86f3ed :EMMO_ac1a05c5_0c17_4387_bac0_683f2a86f3ed rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:prefLabel "NonNumericalData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Data that are non-quantitatively interpreted (e.g., qualitative data, types)."@en . ### https://w3id.org/emmo#EMMO_be8592a7_68d1_4a06_ad23_82f2b56ef926 :EMMO_be8592a7_68d1_4a06_ad23_82f2b56ef926 rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:example "A text is a collection of discrete symbols. A compact disc is designed to host discrete states in the form of pits and lands."@en ; skos:prefLabel "DiscreteData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Data whose variations are decoded according to a discrete schema."@en ; @@ -122,7 +122,7 @@ Discrete does not mean that the material basis is discrete, but that the data ar ### https://w3id.org/emmo#EMMO_ed257e78_8b59_44c3_9d61_06c261184f55 :EMMO_ed257e78_8b59_44c3_9d61_06c261184f55 rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:prefLabel "ClassicalData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Data that are expressed through classical physics mechanisms, having one value and one state, and being in the same place at the same time."@en . diff --git a/perspectives/holistic.ttl b/perspectives/holistic.ttl index c5a098ff..26a2e2c8 100644 --- a/perspectives/holistic.ttl +++ b/perspectives/holistic.ttl @@ -139,7 +139,7 @@ The holistic perspective is not excluding the reductionistic perspective, on the ### https://w3id.org/emmo#EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0 :EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0 rdf:type owl:Class ; rdfs:subClassOf :EMMO_a374f1d4_55b1_4796_a8c6_88668f205cd2 ; - "SubClassOf: hasHolisticPart some Role" ; + "SubClassOf: hasHolisticPart some Role" ; skos:prefLabel "Whole"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass of entities which are defined by requiring the existence of some parts (at least one) of specifically given types, where the specified types are different with respect to the type of the whole."@en ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """A whole is always defined using a criterion expressed through the classical transitive parthood relation. @@ -156,7 +156,7 @@ This class is expected to host the definition of world objects as they appear in ### https://w3id.org/emmo#EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3 :EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3 rdf:type owl:Class ; rdfs:subClassOf :EMMO_56cf1cea_bb26_4093_b587_dd64e230bf9b ; - "SubClassOf: inverse (hasHolisticPart) some Whole" ; + "SubClassOf: inverse (hasHolisticPart) some Whole" ; skos:altLabel "HolisticPart"@en , "Part"@en ; skos:prefLabel "Role"@en ; diff --git a/perspectives/persistence.ttl b/perspectives/persistence.ttl index 6c2a3c20..c2b8b0f8 100644 --- a/perspectives/persistence.ttl +++ b/perspectives/persistence.ttl @@ -60,7 +60,7 @@ For this reason, the definition of object is done by considering only item tempo ### 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 ; - "EquivalentTo: Process or Object" ; + "EquivalentTo: Process or Object" ; skos:prefLabel "Persistence"@en ; :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). diff --git a/perspectives/physicalistic.ttl b/perspectives/physicalistic.ttl index 821a6e35..3145248a 100644 --- a/perspectives/physicalistic.ttl +++ b/perspectives/physicalistic.ttl @@ -36,38 +36,38 @@ owl:qualifiedCardinality rdf:type owl:AnnotationProperty . # Classes ################################################################# -### http://w3id.org/emmo#EMMO_0f3e0646_4f06_4588_9779_6a4f05c5a8d6 - rdf:type owl:Class ; +### https://w3id.org.org/emmo#EMMO_0f3e0646_4f06_4588_9779_6a4f05c5a8d6 + rdf:type owl:Class ; rdfs:subClassOf :EMMO_38b579de_4331_40e0_803d_09efa298e726 ; skos:prefLabel "PhysicalObjectByBond"@en . -### http://w3id.org/emmo#EMMO_2c07a731_84f9_4883_9e58_2bc073abda29 - rdf:type owl:Class ; +### https://w3id.org.org/emmo#EMMO_2c07a731_84f9_4883_9e58_2bc073abda29 + rdf:type owl:Class ; rdfs:subClassOf :EMMO_a15cea10_9946_4d2b_95c5_cfc333fd2abb ; skos:prefLabel "PhysicalParticleBySpin"@en . -### http://w3id.org/emmo#EMMO_41cecfc2_bb6b_45f3_b6cc_e7740d931afe - rdf:type owl:Class ; +### https://w3id.org.org/emmo#EMMO_41cecfc2_bb6b_45f3_b6cc_e7740d931afe + rdf:type owl:Class ; rdfs:subClassOf :EMMO_5b2222df_4da6_442f_8244_96e9e45887d1 ; skos:prefLabel "MatterByStructure"@en . -### http://w3id.org/emmo#EMMO_43d0bb2c_bb0e_4312_a0de_084c29ff7f9e - rdf:type owl:Class ; +### https://w3id.org.org/emmo#EMMO_43d0bb2c_bb0e_4312_a0de_084c29ff7f9e + rdf:type owl:Class ; rdfs:subClassOf :EMMO_5b2222df_4da6_442f_8244_96e9e45887d1 ; skos:prefLabel "MatterByType"@en . -### http://w3id.org/emmo#EMMO_b32fe85d_2f7b_4972_9dd7_7cf20d4bba59 - rdf:type owl:Class ; +### https://w3id.org.org/emmo#EMMO_b32fe85d_2f7b_4972_9dd7_7cf20d4bba59 + rdf:type owl:Class ; rdfs:subClassOf :EMMO_a15cea10_9946_4d2b_95c5_cfc333fd2abb ; skos:prefLabel "PhysicalParticleByBond"@en . ### https://w3id.org/emmo#EMMO_09f0ac34_c349_46b5_acf0_0edeae52cca1 -:EMMO_09f0ac34_c349_46b5_acf0_0edeae52cca1 "DisjointUnionOf: PhysicalObject, PhysicalPhenomenon" . +:EMMO_09f0ac34_c349_46b5_acf0_0edeae52cca1 "DisjointUnionOf: PhysicalObject, PhysicalPhenomenon" . ### https://w3id.org/emmo#EMMO_12aae025_a226_4762_9d51_81200a8ce54c @@ -88,7 +88,7 @@ owl:qualifiedCardinality rdf:type owl:AnnotationProperty . ### https://w3id.org/emmo#EMMO_1c16bb7f_5400_4498_8ef2_54392908da4e :EMMO_1c16bb7f_5400_4498_8ef2_54392908da4e rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:prefLabel "HybridMatter"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Matter composed of both matter and antimatter fundamental particles."@en . @@ -128,7 +128,7 @@ Note that the name of a compound may refer to the respective molecular entity or :EMMO_24dda193_ada8_433b_bb74_6ca4a0b89a20 rdf:type owl:Class ; rdfs:subClassOf :EMMO_29108c7c_9087_4992_ab1c_02561665df21 , :EMMO_7b42954f_0b91_4b3a_a65e_2470202cf548 ; - "SubClassOf: hasProperPart some ElementaryQuark" ; + "SubClassOf: hasProperPart some ElementaryQuark" ; skos:prefLabel "Baryon"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Subatomic particle which contains an odd number of valence quarks, at least 3."@en ; :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Baryon" . @@ -164,7 +164,7 @@ spin 3/2: He5 in ground state, Delta baryons (excitations of the proton and neut ) ; rdf:type owl:Class ] ; - rdfs:subClassOf , + rdfs:subClassOf , :EMMO_8b1367d6_0133_4b56_acc1_fa8b058169e3 ; skos:prefLabel "ParticulateMatter"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Bounded matter."@en . @@ -173,7 +173,7 @@ spin 3/2: He5 in ground state, Delta baryons (excitations of the proton and neut ### https://w3id.org/emmo#EMMO_3397f270_dfc1_4500_8f6f_4d0d85ac5f71 :EMMO_3397f270_dfc1_4500_8f6f_4d0d85ac5f71 rdf:type owl:Class ; rdfs:subClassOf :EMMO_21205421_5783_4d3e_81e5_10c5d894a88a ; - "DisjointUnionOf: Heteronuclear, Homonuclear" , + "DisjointUnionOf: Heteronuclear, Homonuclear" , "SubClassOf: hasSpatialPart some ElementaryElectron" , "SubClassOf: hasSpatialPart some Nucleus" ; skos:altLabel "ChemicalSubstance"@en ; @@ -191,7 +191,7 @@ e.g. you cannot remove H from H₂0 without changing the molecule type (essentia :EMMO_38b579de_4331_40e0_803d_09efa298e726 rdf:type owl:Class ; rdfs:subClassOf :EMMO_09f0ac34_c349_46b5_acf0_0edeae52cca1 ; owl:disjointWith :EMMO_5cc4e111_3eb1_44a3_9369_5af3846cf605 ; - "DisjointUnionOf: CompositePhysicalObject, BondedObject" ; + "DisjointUnionOf: CompositePhysicalObject, BondedObject" ; skos:prefLabel "PhysicalObject"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """It is natural to define entities made or more than one smaller parts as object according to some unity criteria. One of the most general one applicable to causal interacting systems is to ask that all the quantum parts of the system are part of elementaries whose paths start and end within the entitiy. We call this causal convexity. In other words, causal convexity excludes all quantums that leave the system (no more interacting), or that are not yet part of it (not yet interacting). So, a photon leaving a body is not part of a convex system, while a real photon that is the carrier of clasical electromagnetic interaction between two molecular parts of the body, is part of the convex body. @@ -217,7 +217,7 @@ A physical phenomenon is defined as a causally non-convex interacting system, co ### https://w3id.org/emmo#EMMO_50781fd9_a9e4_46ad_b7be_4500371d188d :EMMO_50781fd9_a9e4_46ad_b7be_4500371d188d rdf:type owl:Class ; rdfs:subClassOf :EMMO_24dda193_ada8_433b_bb74_6ca4a0b89a20 ; - "DisjointUnionOf: Proton, Neutron" ; + "DisjointUnionOf: Proton, Neutron" ; skos:prefLabel "Nucleon"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Either a proton or a neutron."@en ; :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Nucleon" . @@ -234,7 +234,7 @@ A physical phenomenon is defined as a causally non-convex interacting system, co ### https://w3id.org/emmo#EMMO_53dced52_34f6_4cf0_8a99_ddf451861543 :EMMO_53dced52_34f6_4cf0_8a99_ddf451861543 rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; owl:disjointWith :EMMO_b5a5494c_83bf_44aa_a9a6_49b948e68939 ; skos:prefLabel "Fermion"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A physical particle with half odd integer spin (1/2, 3/2, etc...) that follows Fermi-Dirac statistics."@en ; @@ -243,7 +243,7 @@ A physical phenomenon is defined as a causally non-convex interacting system, co ### https://w3id.org/emmo#EMMO_57d977ab_0036_4779_b59a_e47620afdb9c :EMMO_57d977ab_0036_4779_b59a_e47620afdb9c rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; owl:disjointWith :EMMO_801395f8_948e_4637_ac3b_5fcd587d72ca ; skos:prefLabel "CompositePhysicalObject"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "A composite physical object is made of bonded objects (i.e. characterised by their quantum states using a Schrodinger equation approach) that are connected together by elementary particles travelling between them. These elemenentary particles are real particles, describing the existance of a classical field (e.g. Coulomb potential between charged particles)."@en ; @@ -253,7 +253,7 @@ A physical phenomenon is defined as a causally non-convex interacting system, co ### https://w3id.org/emmo#EMMO_5b2222df_4da6_442f_8244_96e9e45887d1 :EMMO_5b2222df_4da6_442f_8244_96e9e45887d1 rdf:type owl:Class ; rdfs:subClassOf :EMMO_38b579de_4331_40e0_803d_09efa298e726 ; - "DisjointUnionOf: HybridMatter, OrdinaryMatter, AntiMatter" ; + "DisjointUnionOf: HybridMatter, OrdinaryMatter, AntiMatter" ; skos:altLabel "PhysicalSubstance"@en ; skos:prefLabel "Matter"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """The interpretation of the term \"matter\" is not univocal. Several concepts are labelled with this term, depending on the field of science. The concept mass is sometimes related to the term \"matter\", even if the former refers to a physical quantity (precisely defined by modern physics) while the latter is a type that qualifies a physical entity. @@ -282,7 +282,7 @@ Antimatter is a subclass of matter."""@en ; ### https://w3id.org/emmo#EMMO_6e9cb807_fc68_4bcf_b3ba_5fccc887c644 :EMMO_6e9cb807_fc68_4bcf_b3ba_5fccc887c644 rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:prefLabel "OrdinaryMatter"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Matter composed of only matter particles, excluding anti-matter particles."@en . @@ -290,20 +290,20 @@ Antimatter is a subclass of matter."""@en ; ### https://w3id.org/emmo#EMMO_7b42954f_0b91_4b3a_a65e_2470202cf548 :EMMO_7b42954f_0b91_4b3a_a65e_2470202cf548 rdf:type owl:Class ; rdfs:subClassOf :EMMO_32f55395_8b94_40de_a103_bffa5c121d98 ; - "EquivalentTo: Baryon or Meson" ; + "EquivalentTo: Baryon or Meson" ; skos:prefLabel "Hadron"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Particles composed of two or more quarks."@en ; :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Hadron" . ### https://w3id.org/emmo#EMMO_7b79b2ac_3cf2_4d3b_8cdc_bcabb59d869e -:EMMO_7b79b2ac_3cf2_4d3b_8cdc_bcabb59d869e rdfs:subClassOf ; +:EMMO_7b79b2ac_3cf2_4d3b_8cdc_bcabb59d869e rdfs:subClassOf ; owl:disjointWith :EMMO_8b1367d6_0133_4b56_acc1_fa8b058169e3 . ### https://w3id.org/emmo#EMMO_801395f8_948e_4637_ac3b_5fcd587d72ca :EMMO_801395f8_948e_4637_ac3b_5fcd587d72ca rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:prefLabel "BondedObject"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "A bonded object is a sequence of fundamental interactions that can be described approximatively by Schrodinger formulation. A bonded object is typically characterised by having quantum states (e.g. electron states in an atom, energy levels of a molecule). Furthermore, a bonded object is made of elementary particles that travels from the beginning to the end of the entity (i.e. a bonded object doesn't change its components)."@en ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """\"... in the 'classical' picture ordinary matter is made of atoms, in which electrons are held in orbit around a nucleus of protons and neutrons by the electrical attraction of opposite charges. We can now give this model a more sophisticated formulation by attributing the binding force to the exchange of photons between the electrons and the protons in the nucleus. However, for the purposes of atomic physics this is overkill, for in this context quantization of the electromagnetic field produces only minute effects (notably the Lamb shift and the anomalous magnetic moment of the electron). To excellent approximation we can pretend that the forces are given by Coulomb's law (together with various magnetic dipole couplings). The point is that in a bound state enormous numbers of photons are continually streaming back and forth, so that the \"lumpiness\" of the field is effectively smoothed out, and classical electrodynamics is a suitable approximation to the truth. But in most elementary particle processes, such as the photoelectric effect or Compton scattering, individual photons are involved, and quantization can no longer be ignored.\" @@ -316,9 +316,9 @@ D. Griffiths, \"Introduction to elementary Particles\", Wiley-VCH, 2004, pp.16-1 ### https://w3id.org/emmo#EMMO_8b1367d6_0133_4b56_acc1_fa8b058169e3 :EMMO_8b1367d6_0133_4b56_acc1_fa8b058169e3 rdf:type owl:Class ; - rdfs:subClassOf , + rdfs:subClassOf , :EMMO_801395f8_948e_4637_ac3b_5fcd587d72ca ; - "DisjointUnionOf: CompositeBoson, CompositeFermion" ; + "DisjointUnionOf: CompositeBoson, CompositeFermion" ; skos:prefLabel "BondedParticle"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "A composite particle is a bonded particle for which it is possible to clearly define its bosonic or fermionic behaviour. The term particle is then reserved for entities whose fermionic or bosonic nature is clearly defined."@en . @@ -351,7 +351,7 @@ D. Griffiths, \"Introduction to elementary Particles\", Wiley-VCH, 2004, pp.16-1 ### https://w3id.org/emmo#EMMO_b5a5494c_83bf_44aa_a9a6_49b948e68939 :EMMO_b5a5494c_83bf_44aa_a9a6_49b948e68939 rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:prefLabel "Boson"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A physical particle with integer spin that follows Bose–Einstein statistics."@en ; :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Boson" . @@ -366,7 +366,7 @@ D. Griffiths, \"Introduction to elementary Particles\", Wiley-VCH, 2004, pp.16-1 ### https://w3id.org/emmo#EMMO_bc37743c_37c4_4ec7_9d58_d1aae5567352 :EMMO_bc37743c_37c4_4ec7_9d58_d1aae5567352 rdf:type owl:Class ; - rdfs:subClassOf , + rdfs:subClassOf , :EMMO_57d977ab_0036_4779_b59a_e47620afdb9c ; skos:prefLabel "Substance"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A composite physical object made of fermions (i.e. having mass and occupying space)." . @@ -377,7 +377,7 @@ D. Griffiths, \"Introduction to elementary Particles\", Wiley-VCH, 2004, pp.16-1 rdfs:subClassOf :EMMO_1c16bb7f_5400_4498_8ef2_54392908da4e , :EMMO_1f19b65b_35bf_4662_a318_7f1c147cb3b6 , :EMMO_7b42954f_0b91_4b3a_a65e_2470202cf548 ; - "EquivalentTo: PseudoscalarMeson or VectorMeson or ScalarMeson or PseudovectorMeson or TensorMeson" , + "EquivalentTo: PseudoscalarMeson or VectorMeson or ScalarMeson or PseudovectorMeson or TensorMeson" , "SubClassOf: hasProperPart some ElementaryQuark" ; skos:prefLabel "Meson"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Hadronic subatomic particles composed of an equal number of quarks and antiquarks bound together by strong interactions."@en ; @@ -409,7 +409,7 @@ D. Griffiths, \"Introduction to elementary Particles\", Wiley-VCH, 2004, pp.16-1 ### https://w3id.org/emmo#EMMO_eb77076b_a104_42ac_a065_798b2d2809ad :EMMO_eb77076b_a104_42ac_a065_798b2d2809ad rdf:type owl:Class ; rdfs:subClassOf :EMMO_21205421_5783_4d3e_81e5_10c5d894a88a ; - "SubClassOf: hasSpatialPart some ElementaryElectron" , + "SubClassOf: hasSpatialPart some ElementaryElectron" , "SubClassOf: hasSpatialPart some Nucleus" ; skos:altLabel "ChemicalElement"@en ; skos:prefLabel "Atom"@en ; @@ -425,7 +425,7 @@ We cannot say that H₂ molecule has direct part two H atoms, but has direct par ### https://w3id.org/emmo#EMMO_f13672a3_59cc_40ed_8def_65009a8f74e6 :EMMO_f13672a3_59cc_40ed_8def_65009a8f74e6 rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:prefLabel "AntiMatter"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Antimatter is matter that is composed only of the antiparticles of those that constitute ordinary matter."@en ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "This branch is not expanded due to the limited use of such entities."@en . @@ -434,7 +434,7 @@ We cannot say that H₂ molecule has direct part two H atoms, but has direct par ### https://w3id.org/emmo#EMMO_f835f4d4_c665_403d_ab25_dca5cc74be52 :EMMO_f835f4d4_c665_403d_ab25_dca5cc74be52 rdf:type owl:Class ; rdfs:subClassOf :EMMO_32f55395_8b94_40de_a103_bffa5c121d98 ; - "SubClassOf: hasPart some Nucleon" ; + "SubClassOf: hasPart some Nucleon" ; skos:prefLabel "Nucleus"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The small, dense region at the centre of an atom consisting of protons and neutrons."@en . diff --git a/perspectives/reductionistic.ttl b/perspectives/reductionistic.ttl index 1e32e02b..3bb538ce 100644 --- a/perspectives/reductionistic.ttl +++ b/perspectives/reductionistic.ttl @@ -115,14 +115,14 @@ The direct parts (tiles) and the tessellated entity (tessellation) are causally # Classes ################################################################# -### http://w3id.org/emmo#EMMO_41c5f63b_f0e7_475e_bfac_a92027585979 - rdf:type owl:Class ; +### https://w3id.org.org/emmo#EMMO_41c5f63b_f0e7_475e_bfac_a92027585979 + rdf:type owl:Class ; rdfs:subClassOf :EMMO_2e46d966_9f14_4673_821e_7c7cf2957926 ; skos:prefLabel "SpatioTemporalTileByConnection"@en . -### http://w3id.org/emmo#EMMO_5e38e44b_a0d1_4afc_a876_95095c0a589f - rdf:type owl:Class ; +### https://w3id.org.org/emmo#EMMO_5e38e44b_a0d1_4afc_a876_95095c0a589f + rdf:type owl:Class ; rdfs:subClassOf :EMMO_2e46d966_9f14_4673_821e_7c7cf2957926 ; skos:prefLabel "SpatioTemporalTileByPosition"@en . @@ -151,7 +151,7 @@ The direct parts (tiles) and the tessellated entity (tessellation) are causally ### https://w3id.org/emmo#EMMO_2b1fb71c_0eb0_445c_9be7_fb5d30ae79fd :EMMO_2b1fb71c_0eb0_445c_9be7_fb5d30ae79fd rdf:type owl:Class ; rdfs:subClassOf :EMMO_e12dcfa4_c9f1_4546_9a12_8457c052e6ba ; - "SubClassOf: hasDirectPart some JunctionTile" ; + "SubClassOf: hasDirectPart some JunctionTile" ; skos:prefLabel "MixedTiling"@en ; :EMMO_157fdf31_6387_42be_8e72_10530519214a "https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-rc1/doc/figs/MixedTiling.png"^^xsd:anyURI ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A well formed tessellation with at least a junction tile."@en . @@ -160,7 +160,7 @@ The direct parts (tiles) and the tessellated entity (tessellation) are causally ### https://w3id.org/emmo#EMMO_2e46d966_9f14_4673_821e_7c7cf2957926 :EMMO_2e46d966_9f14_4673_821e_7c7cf2957926 rdf:type owl:Class ; rdfs:subClassOf :EMMO_9953c19f_ee33_4af8_be5e_dbf6d1e33581 ; - "EquivalentTo: SpatialTile or TemporalTile or JunctionTile" , + "EquivalentTo: SpatialTile or TemporalTile or JunctionTile" , "EquivalentTo: ThroughTile or EndTile or BeginTile" ; skos:altLabel "WellFormedTile"@en ; skos:prefLabel "SpatioTemporalTile" ; @@ -184,14 +184,14 @@ If we partition the existent in my glass as ice surrounded by several molecules ### https://w3id.org/emmo#EMMO_4cf484af_082a_40f5_9f11_930bf4634482 :EMMO_4cf484af_082a_40f5_9f11_930bf4634482 rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:prefLabel "SpatialTile"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A direct part that is obtained by partitioning a whole purely in spatial parts."@en . ### https://w3id.org/emmo#EMMO_504ad89e_dd4a_4fa6_aeb6_15c8ce0cde9b :EMMO_504ad89e_dd4a_4fa6_aeb6_15c8ce0cde9b rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:prefLabel "TemporalTile"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A direct part that is obtained by partitioning a whole purely in temporal parts."@en . @@ -260,7 +260,7 @@ Moreover, due to inverse functionality, a 'State' can be part of only one 'Exist ### https://w3id.org/emmo#EMMO_9953c19f_ee33_4af8_be5e_dbf6d1e33581 :EMMO_9953c19f_ee33_4af8_be5e_dbf6d1e33581 rdf:type owl:Class ; rdfs:subClassOf :EMMO_15db234d_ecaf_4715_9838_4b4ec424fb13 ; - "SubClassOf: inverse (hasDirectPart) some Tessellation" ; + "SubClassOf: inverse (hasDirectPart) some Tessellation" ; skos:prefLabel "Tile"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A causal object that is direct part of a tessellation."@en . @@ -283,15 +283,15 @@ Moreover, due to inverse functionality, a 'State' can be part of only one 'Exist ### https://w3id.org/emmo#EMMO_caa63d00_80b1_4408_ac1b_cd0d23b0ec50 :EMMO_caa63d00_80b1_4408_ac1b_cd0d23b0ec50 rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:prefLabel "ThroughTile"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A tile that has next and is next of other tiles within the same tessellation."@en . ### https://w3id.org/emmo#EMMO_d4c95fa1_5bda_4063_a22d_62c81fcea284 :EMMO_d4c95fa1_5bda_4063_a22d_62c81fcea284 rdf:type owl:Class ; - rdfs:subClassOf ; - "SubClassOf: inverse (hasJunctionTile) some MixedTiling" ; + rdfs:subClassOf ; + "SubClassOf: inverse (hasJunctionTile) some MixedTiling" ; skos:prefLabel "JunctionTile"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A direct part that is obtained by partitioning a whole hybridly in spatial, temporal and spatiotemporal parts."@en . @@ -299,7 +299,7 @@ Moreover, due to inverse functionality, a 'State' can be part of only one 'Exist ### https://w3id.org/emmo#EMMO_e12dcfa4_c9f1_4546_9a12_8457c052e6ba :EMMO_e12dcfa4_c9f1_4546_9a12_8457c052e6ba rdf:type owl:Class ; rdfs:subClassOf :EMMO_ee0466e4_780d_4236_8281_ace7ad3fc5d2 ; - "EquivalentTo: MixedTiling or SpatialTiling or TemporalTiling" , + "EquivalentTo: MixedTiling or SpatialTiling or TemporalTiling" , "SubClassOf: hasSpatioTemporalTile some Item" ; skos:altLabel "WellFormedTessellation"@en ; skos:prefLabel "SpatioTemporalTessellation" ; @@ -308,7 +308,7 @@ Moreover, due to inverse functionality, a 'State' can be part of only one 'Exist ### https://w3id.org/emmo#EMMO_edf72228_e040_4edc_8b46_78b2a47c72d7 :EMMO_edf72228_e040_4edc_8b46_78b2a47c72d7 rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:prefLabel "EndTile"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 :EMMO_c0f48dc6_4a32_4d9a_a956_d68415954a8e . @@ -316,7 +316,7 @@ Moreover, due to inverse functionality, a 'State' can be part of only one 'Exist ### https://w3id.org/emmo#EMMO_ee0466e4_780d_4236_8281_ace7ad3fc5d2 :EMMO_ee0466e4_780d_4236_8281_ace7ad3fc5d2 rdf:type owl:Class ; rdfs:subClassOf :EMMO_15db234d_ecaf_4715_9838_4b4ec424fb13 ; - "SubClassOf: hasDirectPart some Item" ; + "SubClassOf: hasDirectPart some Item" ; skos:altLabel "Tiling"@en ; skos:prefLabel "Tessellation"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "A tessellation (or tiling) is the covering of a surface, often a plane, using one or more geometric shapes, called tiles, with no overlaps and no gaps."@en ; @@ -343,7 +343,7 @@ Moreover, due to inverse functionality, a 'State' can be part of only one 'Exist ### https://w3id.org/emmo#EMMO_fa595892_070d_455e_9459_06c97179c080 :EMMO_fa595892_070d_455e_9459_06c97179c080 rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:prefLabel "BeginTile"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 :EMMO_fe63194f_7c04_4dbd_a244_524b38b6699b . diff --git a/perspectives/semiotics.ttl b/perspectives/semiotics.ttl index 4532a29f..5d559fa0 100644 --- a/perspectives/semiotics.ttl +++ b/perspectives/semiotics.ttl @@ -169,20 +169,20 @@ The role of abstract objects are in EMMO fulfilled by semiotic objects, i.e. rea # Classes ################################################################# -### http://w3id.org/emmo#EMMO_38f31ba5_348f_4ac2_9a67_a62b5dd7aadd - rdf:type owl:Class ; +### https://w3id.org.org/emmo#EMMO_38f31ba5_348f_4ac2_9a67_a62b5dd7aadd + rdf:type owl:Class ; rdfs:subClassOf :EMMO_7286b164_df4c_4c14_a4b5_d41ad9c121f3 ; skos:prefLabel "CodedByStructure"@en . -### http://w3id.org/emmo#EMMO_3d03a403_facd_48c6_b75e_7ab8b9299218 - rdf:type owl:Class ; +### https://w3id.org.org/emmo#EMMO_3d03a403_facd_48c6_b75e_7ab8b9299218 + rdf:type owl:Class ; rdfs:subClassOf :EMMO_7286b164_df4c_4c14_a4b5_d41ad9c121f3 ; skos:prefLabel "CodedByObservation"@en . -### http://w3id.org/emmo#EMMO_4292fdcd_bbba_4d99_95c6_daa533d952ef - rdf:type owl:Class ; +### https://w3id.org.org/emmo#EMMO_4292fdcd_bbba_4d99_95c6_daa533d952ef + rdf:type owl:Class ; rdfs:subClassOf :EMMO_7286b164_df4c_4c14_a4b5_d41ad9c121f3 ; skos:prefLabel "CodedBySubjectivity"@en . @@ -190,7 +190,7 @@ The role of abstract objects are in EMMO fulfilled by semiotic objects, i.e. rea ### https://w3id.org/emmo#EMMO_008fd3b2_4013_451f_8827_52bceab11841 :EMMO_008fd3b2_4013_451f_8827_52bceab11841 rdf:type owl:Class ; rdfs:subClassOf :EMMO_8bb6b688_812a_4cb9_b76c_d5a058928719 ; - "EquivalentTo: Deduction or Declaration or Cognition" , + "EquivalentTo: Deduction or Declaration or Cognition" , "SubClassOf: hasProperPart some Interpretant" ; skos:example """Me looking a cat and saying loud: \"Cat!\" -> the semiosis process @@ -205,7 +205,7 @@ the cat perceived by my mind -> interpretant ### https://w3id.org/emmo#EMMO_0527413c_b286_4e9c_b2d0_03fb2a038dee :EMMO_0527413c_b286_4e9c_b2d0_03fb2a038dee rdf:type owl:Class ; rdfs:subClassOf :EMMO_b803f122_4acb_4064_9d71_c1e5fd091fc9 ; - "EquivalentTo. Cogniser or Declarer or Deducer" , + "EquivalentTo. Cogniser or Declarer or Deducer" , "SubClassOf: inverse (hasProperPart) some Semiosis" , "SubClassOf: hasProperPart some Interpretant" ; skos:example """For example, the ontologist may be interest in cataloguing in the EMMO how the same object (e.g. a cat) is addressed using different signs (e.g. cat, gatto, chat) by different interpreters (e.g. english, italian or french people). @@ -228,7 +228,7 @@ On the contrary, the interpreter is an agent recognized by the ontologist. The s ### https://w3id.org/emmo#EMMO_0cd58641_824c_4851_907f_f4c3be76630c :EMMO_0cd58641_824c_4851_907f_f4c3be76630c rdf:type owl:Class ; rdfs:subClassOf :EMMO_b21a56ed_f969_4612_a6ec_cb7766f7f31d ; - "SubClassOf: inverse (hasProperPart) some Deduction" ; + "SubClassOf: inverse (hasProperPart) some Deduction" ; skos:example """Smoke stands for a combustion process (a fire). My facial expression stands for my emotional status."""@en ; skos:prefLabel "Index"@en ; @@ -245,7 +245,7 @@ My facial expression stands for my emotional status."""@en ; ### https://w3id.org/emmo#EMMO_10a5fd39_06aa_4648_9e70_f962a9cb2069 :EMMO_10a5fd39_06aa_4648_9e70_f962a9cb2069 rdf:type owl:Class ; rdfs:subClassOf :EMMO_47bf3513_4ae6_4858_9c45_76e23230d68d ; - "EquivalentTo: Estimation or Observation" , + "EquivalentTo: Estimation or Observation" , "SubClassOf: hasProperPart some Determiner" , "SubClassOf: hasProperPart some Property" ; skos:altLabel "Characterisation"@en ; @@ -257,7 +257,7 @@ My facial expression stands for my emotional status."""@en ; ### https://w3id.org/emmo#EMMO_19608340_178c_4bfd_bd4d_0d3b935c6fec :EMMO_19608340_178c_4bfd_bd4d_0d3b935c6fec rdf:type owl:Class ; rdfs:subClassOf :EMMO_0527413c_b286_4e9c_b2d0_03fb2a038dee ; - "SubClassOf: inverse (hasProperPart) some Cognition" ; + "SubClassOf: inverse (hasProperPart) some Cognition" ; skos:example "The scientist that connects an equation to a physical phenomenon." ; skos:prefLabel "Cogniser"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An interpreter who establish the connection between an icon an an object recognizing their resemblance (e.g. logical, pictorial)"@en . @@ -278,7 +278,7 @@ My facial expression stands for my emotional status."""@en ; ] ; owl:someValuesFrom :EMMO_10a5fd39_06aa_4648_9e70_f962a9cb2069 ] ; - "EquivalentTo: Estimator or Observer" , + "EquivalentTo: Estimator or Observer" , "SubClassOf: inverse (hasProperPart) some Determination" ; skos:prefLabel "Determiner"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An 'interpreter' that perceives another 'entity' (the 'object') through a specific perception mechanism and produces a 'property' (the 'sign') that stands for the result of that particular perception."@en . @@ -286,7 +286,7 @@ My facial expression stands for my emotional status."""@en ; ### https://w3id.org/emmo#EMMO_1b6a95fb_3df7_44c9_ad3d_419c9c5fe7cb :EMMO_1b6a95fb_3df7_44c9_ad3d_419c9c5fe7cb rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:example "The biography of a person met by the author."@en ; skos:prefLabel "Observed"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A coded that has been observed by an interpreter."@en . @@ -295,7 +295,7 @@ My facial expression stands for my emotional status."""@en ; ### https://w3id.org/emmo#EMMO_1c0b22a2_be82_4fa8_9e2b_a569a625d442 :EMMO_1c0b22a2_be82_4fa8_9e2b_a569a625d442 rdf:type owl:Class ; rdfs:subClassOf :EMMO_10a5fd39_06aa_4648_9e70_f962a9cb2069 ; - "SubClassOf: inverse (hasProperPart) some Estimator" ; + "SubClassOf: inverse (hasProperPart) some Estimator" ; skos:prefLabel "Estimation"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A determination of an object without any actual interaction."@en . @@ -309,7 +309,7 @@ My facial expression stands for my emotional status."""@en ; ### https://w3id.org/emmo#EMMO_251cfb4f_5c75_4778_91ed_6c8395212fd8 :EMMO_251cfb4f_5c75_4778_91ed_6c8395212fd8 rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; rdfs:comment """The word subjective applies to property intrisically subjective or non-well defined. In general, when an black-box-like procedure is used for the definition of the property. This happens due to e.g. the complexity of the object, the lack of a underlying model for the representation of the object, the non-well specified meaning of the property symbols. @@ -325,7 +325,7 @@ The style of your clothing."""@en ; ### https://w3id.org/emmo#EMMO_2a888cdf_ec4a_4ec5_af1c_0343372fc978 :EMMO_2a888cdf_ec4a_4ec5_af1c_0343372fc978 rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; rdfs:comment """The word objective does not mean that each observation will provide the same results. It means that the observation followed a well defined procedure. This class refers to what is commonly known as physical property, i.e. a measurable property of physical system, whether is quantifiable or not."""@en ; @@ -336,7 +336,7 @@ This class refers to what is commonly known as physical property, i.e. a measura ### https://w3id.org/emmo#EMMO_2d72e38c_d587_437f_98f6_f2718fb130eb :EMMO_2d72e38c_d587_437f_98f6_f2718fb130eb rdf:type owl:Class ; rdfs:subClassOf :EMMO_0527413c_b286_4e9c_b2d0_03fb2a038dee ; - "EquivalentTo: Determiner or Namer" , + "EquivalentTo: Determiner or Namer" , "SubClassOf: inverse (hasProperPart) some Declaration" ; skos:example "A scientist that assigns a quantity to a physical objects without actually measuring it but taking it for granted due to its previous experience (e.g. considering an electron charge as 1.6027663e-19 C, assigning a molecular mass to a gas only by the fact of a name on the bottle)." , "Someone who assigns a name to an object." ; @@ -347,7 +347,7 @@ This class refers to what is commonly known as physical property, i.e. a measura ### https://w3id.org/emmo#EMMO_35d2e130_6e01_41ed_94f7_00b333d46cf9 :EMMO_35d2e130_6e01_41ed_94f7_00b333d46cf9 rdf:type owl:Class ; rdfs:subClassOf :EMMO_b21a56ed_f969_4612_a6ec_cb7766f7f31d ; - "EquivalentTo: Uncoded or Coded" , + "EquivalentTo: Uncoded or Coded" , "SubClassOf: inverse (hasProperPart) some Declaration" ; rdfs:comment "In Peirce semiotics this kind of sign category is called symbol. However, since symbol is also used in formal languages, the name is changed in conventional."@en ; skos:prefLabel "Conventional"@en ; @@ -356,7 +356,7 @@ This class refers to what is commonly known as physical property, i.e. a measura ### https://w3id.org/emmo#EMMO_35d4c439_fcb6_4399_a855_a89a207b41e9 :EMMO_35d4c439_fcb6_4399_a855_a89a207b41e9 rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:example "A biography."@en , "A sentence about some object, depticting its properties."@en ; skos:prefLabel "Description"@en ; @@ -367,7 +367,7 @@ This class refers to what is commonly known as physical property, i.e. a measura ### https://w3id.org/emmo#EMMO_36a4c1ca_5085_49ca_9e13_4c70d00c50a5 :EMMO_36a4c1ca_5085_49ca_9e13_4c70d00c50a5 rdf:type owl:Class ; rdfs:subClassOf :EMMO_0527413c_b286_4e9c_b2d0_03fb2a038dee ; - "SubClassOf: inverse (hasProperPart) some Deduction" ; + "SubClassOf: inverse (hasProperPart) some Deduction" ; skos:example "Someone who deduces an emotional status of a persona according to facial expression." , "Someone who deduces the occurring of a physical phenomenon through other phenomena." ; skos:prefLabel "Deducer"@en ; @@ -381,7 +381,7 @@ This class refers to what is commonly known as physical property, i.e. a measura owl:onProperty :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; owl:someValuesFrom :EMMO_0cd58641_824c_4851_907f_f4c3be76630c ] ; - "SubClassOf: hasProperPart some Deducer" , + "SubClassOf: hasProperPart some Deducer" , "SubClassOf: hasProperPart some Index" ; skos:altLabel "IndexSemiosis"@en ; skos:example "The interpreter feels that the plate is hot and assigns the status of the kitchen stove to be on."@en ; @@ -392,7 +392,7 @@ This class refers to what is commonly known as physical property, i.e. a measura ### https://w3id.org/emmo#EMMO_3b19eab4_79be_4b02_bdaf_ecf1f0067a68 :EMMO_3b19eab4_79be_4b02_bdaf_ecf1f0067a68 rdf:type owl:Class ; rdfs:subClassOf :EMMO_10a5fd39_06aa_4648_9e70_f962a9cb2069 ; - "SubClassOf: inverse (hasProperPart) some Observer" ; + "SubClassOf: inverse (hasProperPart) some Observer" ; skos:prefLabel "Observation"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A characterisation of an object with an actual interaction."@en . @@ -414,7 +414,7 @@ This class refers to what is commonly known as physical property, i.e. a measura ### https://w3id.org/emmo#EMMO_47bf3513_4ae6_4858_9c45_76e23230d68d :EMMO_47bf3513_4ae6_4858_9c45_76e23230d68d rdf:type owl:Class ; rdfs:subClassOf :EMMO_008fd3b2_4013_451f_8827_52bceab11841 ; - "EquivalentTo: Determination or Naming" , + "EquivalentTo: Determination or Naming" , "SubClassOf: hasProperPart some Conventional" , "SubClassOf: hasProperPart some Declarer" ; skos:altLabel "ConventionalSemiosis"@en ; @@ -477,7 +477,7 @@ In this way the 'sign'-ed entity becomes an 'object', and the 'object' is the ba ### https://w3id.org/emmo#EMMO_7286b164_df4c_4c14_a4b5_d41ad9c121f3 :EMMO_7286b164_df4c_4c14_a4b5_d41ad9c121f3 rdf:type owl:Class ; rdfs:subClassOf :EMMO_35d2e130_6e01_41ed_94f7_00b333d46cf9 ; - "EquivalentTo: Description or Property" , + "EquivalentTo: Description or Property" , "EquivalentTo: Observed or Estimated" , "EquivalentTo: Subjective or Objective" , "SubClassOf: inverse (hasProperPart) some Determination" ; @@ -500,7 +500,7 @@ This can be used in material characterization, to define exactly the type of mea ### https://w3id.org/emmo#EMMO_7cdc375d_d371_4d78_acd5_d51732f52126 :EMMO_7cdc375d_d371_4d78_acd5_d51732f52126 rdf:type owl:Class ; rdfs:subClassOf :EMMO_008fd3b2_4013_451f_8827_52bceab11841 ; - "SubClassOf: hasProperPart some Cogniser" , + "SubClassOf: hasProperPart some Cogniser" , "SubClassOf: hasProperPart some Icon" ; skos:altLabel "IconSemiosis"@en ; skos:prefLabel "Cognition"@en ; @@ -510,7 +510,7 @@ This can be used in material characterization, to define exactly the type of mea ### https://w3id.org/emmo#EMMO_8bb6b688_812a_4cb9_b76c_d5a058928719 :EMMO_8bb6b688_812a_4cb9_b76c_d5a058928719 rdf:type owl:Class ; rdfs:subClassOf :EMMO_49267eba_5548_4163_8f36_518d65b583f9 ; - "EquivalentTo: Semiosis or SemioticEntity" ; + "EquivalentTo: Semiosis or SemioticEntity" ; skos:prefLabel "Semiotics"@en . @@ -533,7 +533,7 @@ This can be used in material characterization, to define exactly the type of mea ### https://w3id.org/emmo#EMMO_9b87d718_9dcc_4f7d_ad20_12c2aa4c76be :EMMO_9b87d718_9dcc_4f7d_ad20_12c2aa4c76be rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf ; skos:example "The biography of a person that the author have not met."@en ; skos:prefLabel "Estimated"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A coded that is assigned from an estimation."@en . @@ -542,7 +542,7 @@ This can be used in material characterization, to define exactly the type of mea ### https://w3id.org/emmo#EMMO_b21a56ed_f969_4612_a6ec_cb7766f7f31d :EMMO_b21a56ed_f969_4612_a6ec_cb7766f7f31d rdf:type owl:Class ; rdfs:subClassOf :EMMO_b803f122_4acb_4064_9d71_c1e5fd091fc9 ; - "EquivalentTo: Index or Conventional or Icon" ; + "EquivalentTo: Index or Conventional or Icon" ; rdfs:comment """A 'Sign' can have temporal-direct-parts which are 'Sign' themselves. A 'Sign' usually havs 'sign' spatial direct parts only up to a certain elementary semiotic level, in which the part is only a 'Physical' and no more a 'Sign' (i.e. it stands for nothing). This elementary semiotic level is peculiar to each particular system of signs (e.g. text, painting). @@ -567,8 +567,8 @@ For plain text we can propose the ASCII symbols, for math the fundamental math s ### https://w3id.org/emmo#EMMO_b7bcff25_ffc3_474e_9ab5_01b1664bd4ba :EMMO_b7bcff25_ffc3_474e_9ab5_01b1664bd4ba rdf:type owl:Class ; - rdfs:subClassOf ; - "SubClassOf: inverse (hasProperPart) some Determination" ; + rdfs:subClassOf ; + "SubClassOf: inverse (hasProperPart) some Determination" ; skos:example """Hardness is a subclass of properties. Vickers hardness is a subclass of hardness that involves the procedures and instruments defined by the standard hardness test."""@en , "The name \"red\" which is atomic in the code made of the list of colors."@en ; @@ -587,7 +587,7 @@ Vickers hardness is a subclass of hardness that involves the procedures and inst ### https://w3id.org/emmo#EMMO_b803f122_4acb_4064_9d71_c1e5fd091fc9 :EMMO_b803f122_4acb_4064_9d71_c1e5fd091fc9 rdf:type owl:Class ; rdfs:subClassOf :EMMO_8bb6b688_812a_4cb9_b76c_d5a058928719 ; - "EquivalentTo: Interpreter or SemioticObject or Sign" , + "EquivalentTo: Interpreter or SemioticObject or Sign" , "SubClassOf: inverse (hasProperPart) some Semiosis" ; rdfs:comment """Semiotic subclasse are defined using Peirce's semiotic theory. @@ -623,7 +623,7 @@ This class includes also the 'interpeter' i.e. the entity that connects the 'sig ### https://w3id.org/emmo#EMMO_d7788d1a_020d_4c78_85a1_13563fcec168 :EMMO_d7788d1a_020d_4c78_85a1_13563fcec168 rdf:type owl:Class ; rdfs:subClassOf :EMMO_b21a56ed_f969_4612_a6ec_cb7766f7f31d ; - "EquivalentTo: AnalogicalIcon or ResemblanceIcon or FunctionalIcon" , + "EquivalentTo: AnalogicalIcon or ResemblanceIcon or FunctionalIcon" , "SubClassOf: inverse (hasProperPart) some Cognition" ; rdfs:comment """If object and sign belongs to the same class, then the sign is fuctional, diagrammatic and resemblance. For example, when a Boeing 747 is used as a sign for another Boeing 747."""@en , diff --git a/perspectives/standardmodel.ttl b/perspectives/standardmodel.ttl index 775dc3a2..5d024bb0 100644 --- a/perspectives/standardmodel.ttl +++ b/perspectives/standardmodel.ttl @@ -46,7 +46,7 @@ ### https://w3id.org/emmo#EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 -:EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 "DisjointUnionOf: MultiParticlePath, ElementaryParticle" . +:EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 "DisjointUnionOf: MultiParticlePath, ElementaryParticle" . ### https://w3id.org/emmo#EMMO_1f2bfb9f_ecc6_46a0_9e41_2d6fcbf59e4b @@ -60,7 +60,7 @@ :EMMO_43a4e80d_6ae9_45ed_8cfb_fd0a5339bf87 rdf:type owl:Class ; rdfs:subClassOf :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac ; owl:disjointWith :EMMO_b295158f_fda4_4124_ab58_d9ea4ccfca5a ; - "DisjointUnionOf: Collapse, Interaction, Decay" ; + "DisjointUnionOf: Collapse, Interaction, Decay" ; skos:prefLabel "FundamentalPhysicalSystem"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A fundamental physical process is made of one or more standard particles as input, and one or more standard particles as output, where each input is direct cause of each output. Each fundamental physical phenomena refers to a Feynman diagram, hence is made at least of three standard model particles. @@ -96,7 +96,7 @@ For example, a path starting from an elementary photon, then through the electr ### https://w3id.org/emmo#EMMO_7b79b2ac_3cf2_4d3b_8cdc_bcabb59d869e :EMMO_7b79b2ac_3cf2_4d3b_8cdc_bcabb59d869e rdf:type owl:Class ; rdfs:subClassOf :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 ; - "DisjointUnionOf: ElementaryFermion, ElementaryBoson" ; + "DisjointUnionOf: ElementaryFermion, ElementaryBoson" ; skos:altLabel "SingleParticleChain"@en ; skos:prefLabel "ElementaryParticle"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "An elementary particle is a causal chain of quantum entities of the same type. For example, an elementary electron is a sequence of fundamental electrons only."@en ; @@ -135,7 +135,7 @@ For example, a path starting from an elementary photon, then through the electr ### https://w3id.org/emmo#EMMO_b295158f_fda4_4124_ab58_d9ea4ccfca5a :EMMO_b295158f_fda4_4124_ab58_d9ea4ccfca5a rdf:type owl:Class ; rdfs:subClassOf :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac ; - "DisjointUnionOf: InteractingSystem, ParticlesSystem" ; + "DisjointUnionOf: InteractingSystem, ParticlesSystem" ; skos:prefLabel "GenericPhysicalSystem"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A causal system posessing bonding that can not be representated by a simple Feynman diagram."@en . @@ -155,7 +155,7 @@ For example, a path starting from an elementary photon, then through the electr ### https://w3id.org/emmo#EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac -:EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac "DisjointUnionOf: FundamentalPhysicalSystem, GenericPhysicalSystem" . +:EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac "DisjointUnionOf: FundamentalPhysicalSystem, GenericPhysicalSystem" . #################################################################