Skip to content

Commit

Permalink
http to https
Browse files Browse the repository at this point in the history
  • Loading branch information
@emanueleghedini
emanueleghedini committed Jun 25, 2024
1 parent 6bf61a5 commit 26173a9
Show file tree
Hide file tree
Showing 12 changed files with 166 additions and 166 deletions.
28 changes: 14 additions & 14 deletions mereocausality/mereocausality.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
<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
<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 <http://w3id.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> ;
owl:annotatedSource <https://w3id.org.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> ;
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
Expand Down Expand Up @@ -661,7 +661,7 @@ b) y and x are non-overlapping"""@en ;
)
]
] ;
<http://w3id.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "SubClassOf: hasTemporalPart some CausalPath or Quantum)" ;
<https://w3id.org.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "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 ;
Expand Down Expand Up @@ -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 ;
<http://w3id.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "SubClassOf: hasSingleMember min 2 Item" ;
<https://w3id.org.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "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.
Expand All @@ -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 <http://w3id.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> ;
owl:annotatedProperty <https://w3id.org.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> ;
owl:annotatedTarget "SubClassOf: hasSingleMember min 2 Item" ;
<http://w3id.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "Every collection has at least two item members, since a collection of one item is a self-connected entity (and then an item)."@en
<https://w3id.org.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "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 ;
Expand Down Expand Up @@ -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 ;
<http://w3id.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "EquivalentTo: CausalPath or Quantum" ;
<https://w3id.org.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "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 ;
Expand All @@ -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 ;
<http://w3id.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "EquivalentTo: CausalCluster or CausalStructure" ;
<https://w3id.org.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "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 ;
Expand All @@ -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 ;
<http://w3id.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "EquivalentTo: Collection or CausalSystem" ;
<https://w3id.org.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "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 ;
Expand All @@ -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 ;
<http://w3id.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "DisjointUnion: CausalPath, Collection, Quantum, CausalSystem" ,
<https://w3id.org.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "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.
Expand Down Expand Up @@ -828,7 +828,7 @@ _:genid22 rdf:type owl:Restriction ;

[ rdf:type owl:Axiom ;
owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ;
owl:annotatedProperty <http://w3id.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> ;
owl:annotatedProperty <https://w3id.org.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> ;
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
] .
Expand Down Expand Up @@ -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 ;
<http://w3id.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "EquivalentTo: CausalPath or CausalSystem" ;
<https://w3id.org.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "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)
Expand Down Expand Up @@ -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 ;
<http://w3id.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "EquivalentTo: CausalParticle or CausalStructure" ;
<https://w3id.org.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "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 ;
Expand Down
2 changes: 1 addition & 1 deletion multiperspective/dataset.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -97,7 +97,7 @@
# Annotations
#################################################################

:EMMO_194e367c_9783_4bf5_96d0_9ad597d48d9a <http://w3id.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "SubClassOf: hasDatum some Datum" .
:EMMO_194e367c_9783_4bf5_96d0_9ad597d48d9a <https://w3id.org.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "SubClassOf: hasDatum some Datum" .


### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi
6 changes: 3 additions & 3 deletions multiperspective/persholistic.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 ;
<http://w3id.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "SubClassOf: hasComponent some Component" ;
<https://w3id.org.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "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 .
Expand All @@ -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 ;
<http://w3id.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "SubClassOf: hasAgent some IntentionalAgent" ;
<https://w3id.org.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "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 .

Expand Down Expand Up @@ -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 ;
<http://w3id.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "SubClassOf: inverse (hasConstituent) some HolisticSystem" ;
<https://w3id.org.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "SubClassOf: inverse (hasConstituent) some HolisticSystem" ;
skos:prefLabel "Component"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A constituent of a system."@en .

Expand Down
Loading

0 comments on commit 26173a9

Please sign in to comment.