Skip to content

Commit

Permalink
Corrected some typos pointed out py HoWilgh
Browse files Browse the repository at this point in the history
  • Loading branch information
@jesper-friis
jesper-friis committed Dec 10, 2024
1 parent ac3c9bb commit 6d18734
Show file tree
Hide file tree
Showing 4 changed files with 25 additions and 25 deletions.
18 changes: 9 additions & 9 deletions disciplines/materials.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,11 +12,11 @@
owl:versionIRI <https://w3id.org/emmo/1.0.0-rc3/disciplines/materials> ;
owl:imports <https://w3id.org/emmo/1.0.0-rc3/reference/physicalistic> ;
dcterms:abstract "The materials module populates the physicalistic perspective with materials subclasses categorised according to modern applied physical sciences."@en ;
dcterms:creator :JesperFriis ,
:GerhardGoldbeck ,
dcterms:creator <https://orcid.org/0000-0003-4065-9742> ,
:AdhamHashibon ,
:EmanueleGhedini ,
<https://orcid.org/0000-0003-4065-9742> ;
:GerhardGoldbeck ,
:JesperFriis ;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher <https://emmc.eu> ;
dcterms:title "Materials"@en ;
Expand Down Expand Up @@ -105,7 +105,7 @@ H=∑ni=1hia∗i (n≥3)""" ;
] ;
skos:prefLabel "PhaseHeterogeneousMixture"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A mixture in which more than one phases of matter cohexists."@en ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """Phase heterogenous mixture may share the same state of matter.
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """Phase heterogeneous mixture may share the same state of matter.
For example, immiscibile liquid phases (e.g. oil and water) constitute a mixture whose phases are clearly separated but share the same state of matter."""@en .

Expand Down Expand Up @@ -151,8 +151,8 @@ For example, immiscibile liquid phases (e.g. oil and water) constitute a mixture
] ;
rdfs:subClassOf :EMMO_b9695e87_8261_412e_83cd_a86459426a28 ;
skos:prefLabel "CondensedMatter"@en ;
:EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "Equivalent To: Liquid or Solid" ;
:EMMO_31252f35_c767_4b97_a877_1235076c3e13 "The subject of condensed matter physics that deals with the macroscopic and microscopic physical properties of matter, especially the solid and liquid phases which arise from electromagnetic forces between atoms. More generally, the subject deals with \"condensed\" phases of matter: systems of many constituents with strong interactions between them."@en .
:EMMO_31252f35_c767_4b97_a877_1235076c3e13 "The subject of condensed matter physics that deals with the macroscopic and microscopic physical properties of matter, especially the solid and liquid phases which arise from electromagnetic forces between atoms. More generally, the subject deals with \"condensed\" phases of matter: systems of many constituents with strong interactions between them."@en ;
:EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "Equivalent To: Liquid or Solid" .

[ rdf:type owl:Axiom ;
owl:annotatedSource :EMMO_220b7201_d277_4dca_bf6a_5a5e2c4062dd ;
Expand Down Expand Up @@ -200,7 +200,7 @@ For example, immiscibile liquid phases (e.g. oil and water) constitute a mixture
rdfs:subClassOf :EMMO_4207e895_8b83_4318_996a_72cfb32acd94 ;
skos:prefLabel "ClassicallyDefinedMaterial"@en ;
:EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "Equivalent To: AmorphousMaterial or CrystallineMaterial" ,
"Equivalent To: MetallicMaterial or CeramicMaterial or CompositeMaterial or PolymericMaterial" .
"Equivalent To: MetallicMaterial or CeramicMaterial or CompositeMaterial or PolymericMaterial" .


### https://w3id.org/emmo#EMMO_3995e22d_5720_4dcf_ba3b_d0ce03f514c6
Expand Down Expand Up @@ -644,7 +644,7 @@ A single continuum individual can be the whole fluid in a pipe."""@en ,
[ owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger
] .

[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger
[ owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger
] .

[ owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger
Expand All @@ -662,7 +662,7 @@ A single continuum individual can be the whole fluid in a pipe."""@en ,
[ owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger
] .

[ owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger
[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger
] .

#################################################################
Expand Down
12 changes: 6 additions & 6 deletions mereocausality/mereocausality.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -589,8 +589,8 @@ Antisymmetry: (Pxy ∧ Pyx) → x=y."""@en ;
rdf:type owl:SymmetricProperty ,
owl:IrreflexiveProperty ;
owl:propertyDisjointWith :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 ;
skos:altLabel "disjointWith"@en ;
skos:prefLabel "notOverlaps"@en ;
skos:altLabel "notOverlaps"@en ;
skos:prefLabel "disjointWith"@en ;
:EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "Dxy ≡ ¬Oxy." ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between individuals representing non-overlapping entities (i.e. that have no parts in common)."@en .

Expand Down Expand Up @@ -756,7 +756,7 @@ For this reason the EMMO OWL 2 DL will only deal with macro causality relations,
rdfs:subPropertyOf <https://w3id.org/emmo#33fd15ab_7662_4cc6_8bf6_988422efc631> ;
rdfs:range :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 ;
skos:prefLabel "hasMultipleMembers"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A sub collection realtion where the proper part is fully encompasses some of the members of the collection." .
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A sub collection relation where the proper part is fully encompasses some of the members of the collection."@en .


### https://w3id.org/emmo#33fd15ab_7662_4cc6_8bf6_988422efc631
Expand Down Expand Up @@ -938,7 +938,7 @@ A quantum stands for an incoming or outcoming real particle in a Feynman diagram
:EMMO_76bd5e44_bf5a_49f9_a517_eea5e8bcbc2d rdf:type owl:Class ;
rdfs:subClassOf :EMMO_53ed8611_2cd7_4286_9ef0_36572117b963 ;
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_31252f35_c767_4b97_a877_1235076c3e13 "With the causal cluster term we address an heterogeneous 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 ;
:EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "EquivalentTo: Collection or CausalSystem" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of individuals representing causal clusters."@en .
Expand All @@ -958,7 +958,7 @@ A quantum stands for an incoming or outcoming real particle in a Feynman diagram
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.
The quantum is the smallest indivisible part of any world entity. Quantum individuals are the fundamental causal constituents of the universe, since it is implied that causality originates from quantum-to-quantum interactions. Quantums are no-dimensional, and their aggregation makes spacetime emerge from their causal structure. We can think of a quantum as an elementary particle after and interaction and before another interaction.
Causality between macro entities (i.e. entities made of more than one quantum) is explained as the sum of the causality relations between their quantum constituents. Fundamental interactions (quantum fields) are represented as symmetric causality realtion between macro entities, while classical interactions are mediated by chain of quantums (i.e. elementary particles).
Causality between macro entities (i.e. entities made of more than one quantum) is explained as the sum of the causality relations between their quantum constituents. Fundamental interactions (quantum fields) are represented as symmetric causality relation between macro entities, while classical interactions are mediated by chain of quantums (i.e. elementary particles).
The fundamental distinction between world entities is causality self-connectedness: a world entity can be self-connected xor not self-connected depending on the causality network of its fundamental components.
Void regions do not exist in the EMMO. In other words there is no spacetime without entities and spacetime emerges as relational property not as a self-standing entity). Entities are not placed in space or time: space and time are measured quantities, always relative between entities and are measured. In other words, space and time relations originates from causality interactions."""@en ;
:EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The disjoint union of the fundamental mereocausal classes of Quantum, CausalPath, CausalSystem and Collection."@en ;
Expand Down Expand Up @@ -1005,7 +1005,7 @@ _:genid33 rdf:type owl:Restriction ;
owl:annotatedProperty :EMMO_31252f35_c767_4b97_a877_1235076c3e13 ;
owl:annotatedTarget """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.
The quantum is the smallest indivisible part of any world entity. Quantum individuals are the fundamental causal constituents of the universe, since it is implied that causality originates from quantum-to-quantum interactions. Quantums are no-dimensional, and their aggregation makes spacetime emerge from their causal structure. We can think of a quantum as an elementary particle after and interaction and before another interaction.
Causality between macro entities (i.e. entities made of more than one quantum) is explained as the sum of the causality relations between their quantum constituents. Fundamental interactions (quantum fields) are represented as symmetric causality realtion between macro entities, while classical interactions are mediated by chain of quantums (i.e. elementary particles).
Causality between macro entities (i.e. entities made of more than one quantum) is explained as the sum of the causality relations between their quantum constituents. Fundamental interactions (quantum fields) are represented as symmetric causality relation between macro entities, while classical interactions are mediated by chain of quantums (i.e. elementary particles).
The fundamental distinction between world entities is causality self-connectedness: a world entity can be self-connected xor not self-connected depending on the causality network of its fundamental components.
Void regions do not exist in the EMMO. In other words there is no spacetime without entities and spacetime emerges as relational property not as a self-standing entity). Entities are not placed in space or time: space and time are measured quantities, always relative between entities and are measured. In other words, space and time relations originates from causality interactions."""@en ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "While EMMO mereocausality conceptualisation can be used on any possibile domain, so that a quantum can be a Lego brick or an furniture component, it can be better understood when a quantum is elucidated as an elementary particle after and interaction and before another interaction. (e.g. quark, photon)."@en
Expand Down
8 changes: 4 additions & 4 deletions perspectives/structural.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@
owl:versionIRI <https://w3id.org/emmo/1.0.0-rc3/perspectives/structural> ;
owl:imports <https://w3id.org/emmo/1.0.0-rc3/perspectives/perspective> ;
dcterms:abstract "Defines the structural perspective which defines an entity according to its type and the types of other entities mereological relations with it."@en ;
dcterms:contributor :JesperFriis ,
dcterms:contributor :FrancescoZaccarini ,
:GerhardGoldbeck ,
:FrancescoZaccarini ;
:JesperFriis ;
dcterms:creator :EmanueleGhedini ;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher <https://emmc.eu> ;
Expand Down Expand Up @@ -55,7 +55,7 @@
:EMMO_32e701c0_a925_49df_9829_0931b8554807 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_49267eba_5548_4163_8f36_518d65b583f9 ;
skos:prefLabel "Structural"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A perspective that categorises causal structures according to the merelogical realtions between the whole and the parts, taking into account their types."@en .
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A perspective that categorises causal structures according to the merelogical relations between the whole and the parts, taking into account their types."@en .


### https://w3id.org/emmo#EMMO_40ff176a_e74d_46cc_88c5_6d02fd6813a7
Expand Down Expand Up @@ -157,4 +157,4 @@ If A is a water-fluid so small that its every proper part is no more a continuum
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass for all classes of entities that have a proper parts of the same type of the whole that overlaps all the oter proper parts of the same type."@en .


### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi
### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi
Loading

0 comments on commit 6d18734

Please sign in to comment.