diff --git a/catalog-v001.xml b/catalog-v001.xml
index e16cd147..a3adb622 100644
--- a/catalog-v001.xml
+++ b/catalog-v001.xml
@@ -12,6 +12,7 @@
+
diff --git a/disciplines/catalog-v001.xml b/disciplines/catalog-v001.xml
index 764b418e..b01231b8 100644
--- a/disciplines/catalog-v001.xml
+++ b/disciplines/catalog-v001.xml
@@ -11,6 +11,7 @@
+
diff --git a/domain/catalog-v001.xml b/domain/catalog-v001.xml
index 301cfc1f..548b904b 100644
--- a/domain/catalog-v001.xml
+++ b/domain/catalog-v001.xml
@@ -9,6 +9,7 @@
+
diff --git a/mereocausality/mereocausality.ttl b/mereocausality/mereocausality.ttl
index 63127a4b..8cfe0f3b 100644
--- a/mereocausality/mereocausality.ttl
+++ b/mereocausality/mereocausality.ttl
@@ -3,25 +3,24 @@
@prefix rdf: .
@prefix xml: .
@prefix xsd: .
+@prefix foaf: .
@prefix rdfs: .
@prefix skos: .
@prefix dcterms: .
-@prefix foaf: .
@base .
rdf:type owl:Ontology ;
owl:versionIRI ;
- owl:imports ;
dcterms:abstract """Introduces the fundamental mereocausal (and mereotopological) concepts of EMMO and their relations with the real world entities that they represent. EMMO uses mereocausality as the ground for all the subsequent ontology modules.
The concept of causal connection is used to define the first distinction between ontology entities namely the item and collections. Items are causally self-connected objects, while collections are causally disconnected.
Quantum mereology is based on the concept of quantum entity. This module introduces also the fundamental mereotopological relations used to distinguish between space and time dimensions, making spacetime emerge from underlying network of causal relations between quantum entities."""@en ;
- dcterms:contributor ,
- ,
- ,
- ,
+ dcterms:contributor ,
+ ,
,
- ,
- ;
+ ,
+ ,
+ ,
+ ;
dcterms:creator ;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher ;
@@ -95,6 +94,26 @@ skos:prefLabel rdf:type owl:AnnotationProperty ;
rdfs:subPropertyOf rdfs:label .
+### http://www.w3.org/ns/locn#fullAddress
+ rdf:type owl:AnnotationProperty .
+
+
+### http://xmlns.com/foaf/0.1/logo
+foaf:logo rdf:type owl:AnnotationProperty .
+
+
+### http://xmlns.com/foaf/0.1/mbox
+foaf:mbox rdf:type owl:AnnotationProperty .
+
+
+### http://xmlns.com/foaf/0.1/name
+foaf:name rdf:type owl:AnnotationProperty .
+
+
+### http://xmlns.com/foaf/0.1/workplaceHomepage
+foaf:workplaceHomepage rdf:type owl:AnnotationProperty .
+
+
### https://w3id.org/emmo#EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17
:EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 rdf:type owl:AnnotationProperty ;
skos:prefLabel "contact"@en ;
@@ -212,6 +231,23 @@ skos:prefLabel rdf:type owl:AnnotationProperty ;
:EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "x isNotCauseOf y iff not(x isCauseOf y)"@en .
+### https://w3id.org/emmo#EMMO_1328d112_e731_4e56_b9b9_6b6cdd495cd6
+:EMMO_1328d112_e731_4e56_b9b9_6b6cdd495cd6 rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ;
+ skos:example "A molecule is a distinct part of a fluid."@en ;
+ skos:prefLabel "hasDistinctPart"@en ;
+ :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "DP(x, y) ≡ PP(x, y) ∧ ∃φ[φ(x) ↔ ¬φ(y)]" ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superproperty of all object property relations between an entity and one of its proper parts that belongs to different taxonomical branch."@en .
+
+[ rdf:type owl:Axiom ;
+ owl:annotatedSource :EMMO_1328d112_e731_4e56_b9b9_6b6cdd495cd6 ;
+ owl:annotatedProperty :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 ;
+ owl:annotatedTarget "DP(x, y) ≡ PP(x, y) ∧ ∃φ[φ(x) ↔ ¬φ(y)]" ;
+ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "We usa a predicate template notation as DP<φ>(x,y) to specify subclasses of DP(x,y) for the class φ, meaning that DP<φ>(x, y) ≡ PP(x, y) ∧ (φ(x) ↔ ¬φ(y))"@en ,
+ "φ is a class of the theory"@en
+ ] .
+
+
### https://w3id.org/emmo#EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f
:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 ;
@@ -338,6 +374,23 @@ It does not exclude the possibility of indirect causal routes between proper par
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The inverse relation for hasProperPart." .
+### https://w3id.org/emmo#EMMO_6786b336_e982_4759_8dee_1905a4106591
+:EMMO_6786b336_e982_4759_8dee_1905a4106591 rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ;
+ skos:example "A volume of water has redundand parts other volumes of water. All this volumes have holistic parts some water molecules."@en ;
+ skos:prefLabel "hasRedundantPart"@en ;
+ :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "RP(x, y) ≡ PP(x, y) ∧ ∃φ(φ(x) ∧ φ(y))" ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superproperty of the all object property relations between a whole and its mereological parts of the same type."@en .
+
+[ rdf:type owl:Axiom ;
+ owl:annotatedSource :EMMO_6786b336_e982_4759_8dee_1905a4106591 ;
+ owl:annotatedProperty :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 ;
+ owl:annotatedTarget "RP(x, y) ≡ PP(x, y) ∧ ∃φ(φ(x) ∧ φ(y))" ;
+ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "We usa a predicate template notation as RP<φ>(x,y) to specify subclasses of RP(x,y) for the class φ, meaning that RP<φ>(x, y) ≡ PP(x, y) ∧ φ(x) ∧ φ(y)"@en ,
+ "φ is a class of the theory"@en
+ ] .
+
+
### https://w3id.org/emmo#EMMO_6835537c_d294_4005_a770_ec9621f29ed1
:EMMO_6835537c_d294_4005_a770_ec9621f29ed1 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ,
@@ -581,6 +634,14 @@ b) y and x are non-overlapping"""@en ;
# Classes
#################################################################
+### http://xmlns.com/foaf/0.1/Organization
+foaf:Organization rdf:type owl:Class .
+
+
+### http://xmlns.com/foaf/0.1/Person
+foaf:Person rdf:type owl:Class .
+
+
### https://w3id.org/emmo#EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360
:EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 rdf:type owl:Class ;
rdfs:subClassOf [ rdf:type owl:Restriction ;
@@ -631,7 +692,7 @@ b) y and x are non-overlapping"""@en ;
### https://w3id.org/emmo#EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31
:EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 rdf:type owl:Class ;
- rdfs:subClassOf _:genid17 ;
+ rdfs:subClassOf _:genid19 ;
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.
@@ -639,7 +700,7 @@ A collection can be partitioned in maximally connected items called members. The
The combination of collection and item concepts is the EMMO mereocausality alternative to set theory. However, two items can be members only if they are non direct causally connected, giving some constraints to a collection definition. For example, two entities which are directly connected cannot be two distinct members, while their interiors (i.e. the entities obtained by removing the layer of parts that provides the causal contact between them) can be."""@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of not direct causally self-connected world entities."@en .
-_:genid17 rdf:type owl:Restriction ;
+_:genid19 rdf:type owl:Restriction ;
owl:onProperty :EMMO_6b7276a4_4b9d_440a_b577_0277539c0fc4 ;
owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ;
owl:onClass :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de .
@@ -647,7 +708,7 @@ _:genid17 rdf:type owl:Restriction ;
[ rdf:type owl:Axiom ;
owl:annotatedSource :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 ;
owl:annotatedProperty rdfs:subClassOf ;
- owl:annotatedTarget _:genid17 ;
+ owl:annotatedTarget _:genid19 ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Every collection has at least two item members, since a collection of one item is a self-connected entity (and then an item)."@en
] .
@@ -745,8 +806,8 @@ 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 _:genid33 ,
- _:genid35 ;
+ rdfs:subClassOf _:genid35 ,
+ _:genid37 ;
owl:disjointUnionOf ( :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360
:EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31
:EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68
@@ -764,11 +825,11 @@ Entities are not placed in space or time: space and time are always relative bet
The EMMO conceptualisation does not allow the existence of space without a temporal dimension, the latter coming from a causal relation between entities.
For this reason, the EMMO entities that are not quantum or elementaries, may be considered to be always spatiotemporal. The EMMO poses no constraints to the number of spatial dimensions for a causal system (except being higher than one)."""@en .
-_:genid33 rdf:type owl:Restriction ;
+_:genid35 rdf:type owl:Restriction ;
owl:onProperty :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ;
owl:someValuesFrom :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 .
-_:genid35 rdf:type owl:Restriction ;
+_:genid37 rdf:type owl:Restriction ;
owl:onProperty [ owl:inverseOf :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f
] ;
owl:hasValue :EMMO_08cb807c_e626_447b_863f_e2835540e918 .
@@ -776,14 +837,14 @@ _:genid35 rdf:type owl:Restriction ;
[ rdf:type owl:Axiom ;
owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ;
owl:annotatedProperty rdfs:subClassOf ;
- owl:annotatedTarget _:genid33 ;
+ owl:annotatedTarget _:genid35 ;
: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
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ;
owl:annotatedProperty rdfs:subClassOf ;
- owl:annotatedTarget _:genid35 ;
+ owl:annotatedTarget _:genid37 ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "All EMMO individuals are part of the most comprehensive entity which is the universe."@en
] .
@@ -814,6 +875,10 @@ A collection cannot be an item and viceversa, representing the fact that a world
] .
+### https://w3id.org/emmo#EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0
+:EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0 rdf:type owl:Class .
+
+
### https://w3id.org/emmo#EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d
:EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
@@ -890,6 +955,108 @@ Following graph theory concepts, the quantums of an item are all connected toget
# Individuals
#################################################################
+### https://emmc.eu
+ rdf:type owl:NamedIndividual ,
+ foaf:Organization ;
+ skos:prefLabel "EMMC ASBL" ;
+ """EMMC ASBL
+European Materials Modelling Council
+Silversquare Stéphanie
+Avenue Louise 54
+1050 Brussels
+CBE no: 0731 621 312"""@en ;
+ foaf:logo ;
+ foaf:mbox ;
+ foaf:name "EMMC ASBL" .
+
+
+### https://orcid.org/0000-0001-7815-6636
+ rdf:type owl:NamedIndividual ,
+ foaf:Person ;
+ skos:prefLabel "Otello M. Roscioni" ;
+ foaf:name "Otello M. Roscioni" ;
+ foaf:workplaceHomepage .
+
+
+### https://orcid.org/0000-0001-8869-3718
+ rdf:type owl:NamedIndividual ,
+ foaf:Person ;
+ skos:prefLabel "Francesca Lønstad Bleken" ;
+ foaf:name "Francesca Lønstad Bleken" ;
+ foaf:workplaceHomepage .
+
+
+### https://orcid.org/0000-0001-9189-2400
+ rdf:type owl:NamedIndividual ,
+ foaf:Person ;
+ skos:prefLabel "Sebastiano Moruzzi" ;
+ foaf:name "Sebastiano Moruzzi" ;
+ foaf:workplaceHomepage .
+
+
+### https://orcid.org/0000-0002-1560-809X
+ rdf:type owl:NamedIndividual ,
+ foaf:Person ;
+ skos:prefLabel "Jesper Friis" ;
+ foaf:name "Jesper Friis" ;
+ foaf:workplaceHomepage .
+
+
+### https://orcid.org/0000-0002-4181-2852
+ rdf:type owl:NamedIndividual ,
+ foaf:Person ;
+ skos:prefLabel "Gerhard Goldbeck" ;
+ foaf:name "Gerhard Goldbeck" ;
+ foaf:workplaceHomepage .
+
+
+### https://orcid.org/0000-0002-8758-6109
+ rdf:type owl:NamedIndividual ,
+ foaf:Person ;
+ skos:prefLabel "Simon Clark" ;
+ foaf:name "Simon Clark" ;
+ foaf:workplaceHomepage .
+
+
+### https://orcid.org/0000-0003-0514-9229
+ rdf:type owl:NamedIndividual ,
+ foaf:Person ;
+ skos:prefLabel "Adham Hashibon" ;
+ foaf:name "Adham Hashibon" ;
+ foaf:workplaceHomepage .
+
+
+### https://orcid.org/0000-0003-3805-8761
+ rdf:type owl:NamedIndividual ,
+ foaf:Person ;
+ skos:prefLabel "Emanuele Ghedini" ;
+ foaf:name "Emanuele Ghedini" ;
+ foaf:workplaceHomepage .
+
+
+### https://orcid.org/0000-0003-4065-9742
+ rdf:type owl:NamedIndividual ,
+ foaf:Person ;
+ skos:prefLabel "Georg J. Schmitz" ;
+ foaf:name "Georg J. Schmitz" .
+
+
+### https://orcid.org/0009-0007-5850-6628
+ rdf:type owl:NamedIndividual ,
+ foaf:Person ;
+ skos:prefLabel "Anne de Baas" ;
+ foaf:name "Anne de Baas" ;
+ foaf:workplaceHomepage .
+
+
+### https://orcid.org/0009-0008-8009-5009
+ rdf:type owl:NamedIndividual ,
+ foaf:Person ;
+ skos:prefLabel "Francesco A. Zaccarini" ;
+ foaf:name "Francesco A. Zaccarini" ;
+ foaf:workplaceHomepage .
+
+
### https://w3id.org/emmo#EMMO_08cb807c_e626_447b_863f_e2835540e918
:EMMO_08cb807c_e626_447b_863f_e2835540e918 rdf:type owl:NamedIndividual ,
:EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac ;
@@ -907,6 +1074,33 @@ Following graph theory concepts, the quantums of an item are all connected toget
rdf:type .
+[ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Transitivity for proper parthood."@en ;
+ rdf:type ;
+ [ rdf:type ;
+ rdf:first [ rdf:type ;
+ :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ;
+ ;
+
+ ] ;
+ rdf:rest [ rdf:type ;
+ rdf:first [ rdf:type ;
+ :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ;
+ ;
+
+ ] ;
+ rdf:rest rdf:nil
+ ]
+ ] ;
+ [ rdf:type ;
+ rdf:first [ rdf:type ;
+ :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ;
+ ;
+
+ ] ;
+ rdf:rest rdf:nil
+ ]
+ ] .
+
[ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing exclusivity between overlapping and causality."@en ;
rdf:type ;
[ rdf:type ;
@@ -1095,31 +1289,4 @@ Following graph theory concepts, the quantums of an item are all connected toget
]
] .
-[ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Transitivity for proper parthood."@en ;
- rdf:type ;
- [ rdf:type ;
- rdf:first [ rdf:type ;
- :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ;
- ;
-
- ] ;
- rdf:rest [ rdf:type ;
- rdf:first [ rdf:type ;
- :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ;
- ;
-
- ] ;
- rdf:rest rdf:nil
- ]
- ] ;
- [ rdf:type ;
- rdf:first [ rdf:type ;
- :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ;
- ;
-
- ] ;
- rdf:rest rdf:nil
- ]
- ] .
-
### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi
diff --git a/multiperspective/catalog-v001.xml b/multiperspective/catalog-v001.xml
index db056340..8b7e7736 100644
--- a/multiperspective/catalog-v001.xml
+++ b/multiperspective/catalog-v001.xml
@@ -11,6 +11,7 @@
+
diff --git a/perspectives/catalog-v001.xml b/perspectives/catalog-v001.xml
index 555ebd48..997977ed 100644
--- a/perspectives/catalog-v001.xml
+++ b/perspectives/catalog-v001.xml
@@ -11,6 +11,7 @@
+
diff --git a/perspectives/holistic.ttl b/perspectives/holistic.ttl
index 9c80c07a..26489152 100644
--- a/perspectives/holistic.ttl
+++ b/perspectives/holistic.ttl
@@ -14,31 +14,22 @@
dcterms:abstract """Defines the holistic perspective which include process and the role of its participants.
Processes are 4D object's that unfolds in time in a way that has a meaning to the ontologist with participants who's role is assigned by the ontologist."""@en ;
- dcterms:contributor ,
- ,
+ dcterms:contributor ,
,
- ;
+ ,
+ ;
dcterms:creator ;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher ;
dcterms:title "Holistic"@en ;
- :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" ;
rdfs:comment "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
- owl:versionInfo "1.0.0-rc1" .
+ owl:versionInfo "1.0.0-rc1" ;
+ :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" .
#################################################################
# Object Properties
#################################################################
-### https://w3id.org/emmo#EMMO_1328d112_e731_4e56_b9b9_6b6cdd495cd6
-:EMMO_1328d112_e731_4e56_b9b9_6b6cdd495cd6 rdf:type owl:ObjectProperty ;
- rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ;
- skos:example "A molecule is a distinct part of a fluid." ;
- skos:prefLabel "hasDistinctPart"@en ;
- :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "DP(x, y) ≡ PP(x, y) ∧ ∃φ[φ(x) ↔ ¬φ(y)]" ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A proper part relation between an entity and one of its proper parts that belongs to different taxonomical branch." .
-
-
### https://w3id.org/emmo#EMMO_3b95deb3_9f2f_4ab0_8574_fb74f01b4bea
:EMMO_3b95deb3_9f2f_4ab0_8574_fb74f01b4bea rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_1328d112_e731_4e56_b9b9_6b6cdd495cd6 ;
@@ -69,18 +60,6 @@ In this sense, the man and the building process overcrosses. and the overlapping
skos:prefLabel "hasHolisticSpatialPart"@en .
-### https://w3id.org/emmo#EMMO_6786b336_e982_4759_8dee_1905a4106591
-:EMMO_6786b336_e982_4759_8dee_1905a4106591 rdf:type owl:ObjectProperty ;
- rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ;
- rdfs:domain :EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0 ;
- skos:example "A volume of water has redundand parts other volumes of water. All this volumes have holistic parts some water molecules."@en ;
- skos:prefLabel "hasRedundantPart"@en ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superproperty of the relations between a whole and its mereological parts that are still holistic wholes of the same type."@en ;
- :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """The purpose of this relation is to provide a parhood relation that does not go deep enough, in terms of decomposition, to break the holistic definition of the whole.
-
-On the contrary, the holistic parthood, is expected to go that deep."""@en .
-
-
### https://w3id.org/emmo#EMMO_88470630_2a27_4f9e_866a_47ff7789e34b
:EMMO_88470630_2a27_4f9e_866a_47ff7789e34b rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_b3c8ba10_6bee_45e7_9416_e9019aa9f023 ;
@@ -181,34 +160,6 @@ This class is expected to host the definition of world objects as they appear in
] .
-### https://w3id.org/emmo#EMMO_2469e4c6_ac2e_4c8f_b49f_7b2d2e277215
-:EMMO_2469e4c6_ac2e_4c8f_b49f_7b2d2e277215 rdf:type owl:Class ;
- skos:prefLabel "SpatiallyRedundant"@en ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A whole with spatial parts of its same type."@en .
-
-
-### https://w3id.org/emmo#EMMO_32e701c0_a925_49df_9829_0931b8554807
-:EMMO_32e701c0_a925_49df_9829_0931b8554807 rdf:type owl:Class ;
- owl:equivalentClass [ rdf:type owl:Class ;
- owl:unionOf ( :EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2
- :EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0
- )
- ] ;
- rdfs:subClassOf :EMMO_49267eba_5548_4163_8f36_518d65b583f9 ;
- skos:prefLabel "Structural"@en .
-
-
-### https://w3id.org/emmo#EMMO_4b32fc1e_5293_4247_9e8d_1175df9f1c0b
-:EMMO_4b32fc1e_5293_4247_9e8d_1175df9f1c0b rdf:type owl:Class ;
- owl:equivalentClass [ owl:intersectionOf ( :EMMO_aaad78a9_abaf_4f97_9c1a_d763a94c4ba3
- :EMMO_f055e217_0b1b_4e7e_b8be_7340211b0c5e
- ) ;
- rdf:type owl:Class
- ] ;
- skos:prefLabel "StrictFundamental"@en ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of individuals that satisfy a whole defining criteria (i.e. belongs to a subclass of whole) and have no proper parts that satisfy that same criteria (no parts that are of the same type of the whole)."@en .
-
-
### https://w3id.org/emmo#EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3
:EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
@@ -254,44 +205,6 @@ This class is expected to host the definition of world objects as they appear in
This definition provides a clear and precise way to define what a role is.""" .
-### https://w3id.org/emmo#EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2
-:EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 rdf:type owl:Class ;
- owl:equivalentClass [ rdf:type owl:Class ;
- owl:unionOf ( :EMMO_aaad78a9_abaf_4f97_9c1a_d763a94c4ba3
- :EMMO_f055e217_0b1b_4e7e_b8be_7340211b0c5e
- )
- ] ;
- skos:altLabel "Lifetime"@en ,
- "Maximal"@en ;
- skos:example """A marathon is an example of class whose individuals are always maximal since the criteria satisfied by a marathon 4D entity poses some constraints on its temporal and spatial extent.
-
-On the contrary, the class for a generic running process does not necessarily impose maximality to its individuals. A running individual is maximal only when it extends in time for the minimum amount required to identify a running act, so every possible temporal part is always a non-running.
-
-Following the two examples, a marathon individual is a maximal that can be decomposed into running intervals. The marathon class is a subclass of running."""@en ;
- skos:prefLabel "Fundamental"@en ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A whole that represent the overall lifetime of the world object that represents according to some holistic criteria."@en .
-
-[ rdf:type owl:Axiom ;
- owl:annotatedSource :EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 ;
- owl:annotatedProperty skos:altLabel ;
- owl:annotatedTarget "Lifetime"@en ;
- :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Middle English liftime, equivalent to life + time."@en
- ] .
-
-[ rdf:type owl:Axiom ;
- owl:annotatedSource :EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 ;
- owl:annotatedProperty skos:prefLabel ;
- owl:annotatedTarget "Fundamental"@en ;
- :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin fundamentum (“foundation”), from fundō (“to lay the foundation (of something), to found”), from fundus (“bottom”)."@en
- ] .
-
-
-### https://w3id.org/emmo#EMMO_808566db_b810_448d_8a54_48e7f6d30f36
-:EMMO_808566db_b810_448d_8a54_48e7f6d30f36 rdf:type owl:Class ;
- skos:prefLabel "TemporallyRedundant"@en ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A whole with temporal parts of its same type."@en .
-
-
### https://w3id.org/emmo#EMMO_a374f1d4_55b1_4796_a8c6_88668f205cd2
:EMMO_a374f1d4_55b1_4796_a8c6_88668f205cd2 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_0277f24a_ea7f_4917_81b7_fb0406c8fc62 ;
@@ -301,31 +214,6 @@ Following the two examples, a marathon individual is a maximal that can be decom
This definition provides a clear and precise way to define what a whole is.""" .
-### https://w3id.org/emmo#EMMO_aaad78a9_abaf_4f97_9c1a_d763a94c4ba3
-:EMMO_aaad78a9_abaf_4f97_9c1a_d763a94c4ba3 rdf:type owl:Class ;
- skos:prefLabel "TemporallyFundamental"@en ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of individuals that satisfy a whole defining criteria (i.e. belongs to a subclass of whole) and have no temporal parts that satisfy that same criteria (no parts that are of the same type of the whole)."@en .
-
-
-### https://w3id.org/emmo#EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0
-:EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0 rdf:type owl:Class ;
- owl:equivalentClass [ rdf:type owl:Class ;
- owl:unionOf ( :EMMO_2469e4c6_ac2e_4c8f_b49f_7b2d2e277215
- :EMMO_808566db_b810_448d_8a54_48e7f6d30f36
- )
- ] ;
- rdfs:seeAlso :EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 ;
- skos:altLabel "NonMaximal"@en ;
- skos:prefLabel "Redundant"@en ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A whole possessing some proper parts of its same type."@en .
-
-
-### https://w3id.org/emmo#EMMO_f055e217_0b1b_4e7e_b8be_7340211b0c5e
-:EMMO_f055e217_0b1b_4e7e_b8be_7340211b0c5e rdf:type owl:Class ;
- skos:prefLabel "SpatiallyFundamental"@en ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of individuals that satisfy a whole defining criteria (i.e. belongs to a subclass of whole) and have no spatial parts that satisfy that same criteria (no parts that are of the same type of the whole)."@en .
-
-
### https://w3id.org/emmo#EMMO_fcae603e_aa6e_4940_9fa1_9f0909cabf3b
:EMMO_fcae603e_aa6e_4940_9fa1_9f0909cabf3b rdf:type owl:Class ;
skos:altLabel "HolisticSpatialPart"@en ;
@@ -333,4 +221,12 @@ This definition provides a clear and precise way to define what a whole is.""" .
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An holistic spatial part of a whole."@en .
+#################################################################
+# Individuals
+#################################################################
+
+### https://orcid.org/0000-0003-3805-8761
+ rdf:type :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac .
+
+
### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi
diff --git a/perspectives/structural.ttl b/perspectives/structural.ttl
new file mode 100644
index 00000000..c64b82e1
--- /dev/null
+++ b/perspectives/structural.ttl
@@ -0,0 +1,144 @@
+@prefix : .
+@prefix owl: .
+@prefix rdf: .
+@prefix xml: .
+@prefix xsd: .
+@prefix rdfs: .
+@prefix skos: .
+@prefix dcterms: .
+@base .
+
+ rdf:type owl:Ontology ;
+ owl:versionIRI ;
+ owl:imports ;
+ 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 ,
+ ,
+ ;
+ dcterms:creator ;
+ dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
+ dcterms:publisher ;
+ dcterms:title "Structural"@en ;
+ rdfs:comment "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+ owl:versionInfo "1.0.0-rc1" ;
+ :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" .
+
+#################################################################
+# Object Properties
+#################################################################
+
+### https://w3id.org/emmo#EMMO_6786b336_e982_4759_8dee_1905a4106591
+:EMMO_6786b336_e982_4759_8dee_1905a4106591 rdfs:domain :EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0 .
+
+
+#################################################################
+# Classes
+#################################################################
+
+### https://w3id.org/emmo#EMMO_2469e4c6_ac2e_4c8f_b49f_7b2d2e277215
+:EMMO_2469e4c6_ac2e_4c8f_b49f_7b2d2e277215 rdf:type owl:Class ;
+ skos:prefLabel "SpatiallyRedundant"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A whole with spatial parts of its same type."@en .
+
+
+### https://w3id.org/emmo#EMMO_32e701c0_a925_49df_9829_0931b8554807
+:EMMO_32e701c0_a925_49df_9829_0931b8554807 rdf:type owl:Class ;
+ owl:equivalentClass [ rdf:type owl:Class ;
+ owl:unionOf ( :EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2
+ :EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0
+ )
+ ] ;
+ rdfs:subClassOf :EMMO_49267eba_5548_4163_8f36_518d65b583f9 ;
+ skos:prefLabel "Structural"@en .
+
+
+### https://w3id.org/emmo#EMMO_4b32fc1e_5293_4247_9e8d_1175df9f1c0b
+:EMMO_4b32fc1e_5293_4247_9e8d_1175df9f1c0b rdf:type owl:Class ;
+ owl:equivalentClass [ owl:intersectionOf ( :EMMO_aaad78a9_abaf_4f97_9c1a_d763a94c4ba3
+ :EMMO_f055e217_0b1b_4e7e_b8be_7340211b0c5e
+ ) ;
+ rdf:type owl:Class
+ ] ;
+ skos:prefLabel "StrictlyFundamental"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of individuals that satisfy a whole defining criteria (i.e. belongs to a subclass of whole) and have no proper parts that satisfy that same criteria (no parts that are of the same type of the whole)."@en .
+
+
+### https://w3id.org/emmo#EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2
+:EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 rdf:type owl:Class ;
+ owl:equivalentClass [ rdf:type owl:Class ;
+ owl:unionOf ( :EMMO_aaad78a9_abaf_4f97_9c1a_d763a94c4ba3
+ :EMMO_f055e217_0b1b_4e7e_b8be_7340211b0c5e
+ )
+ ] ;
+ skos:altLabel "Lifetime"@en ,
+ "Maximal"@en ;
+ skos:example """A marathon is an example of class whose individuals are always maximal since the criteria satisfied by a marathon 4D entity poses some constraints on its temporal and spatial extent.
+On the contrary, the class for a generic running process does not necessarily impose maximality to its individuals. A running individual is maximal only when it extends in time for the minimum amount required to identify a running act, so every possible temporal part is always a non-running.
+Following the two examples, a marathon individual is a maximal that can be decomposed into running intervals. The marathon class is a subclass of running."""@en ;
+ skos:prefLabel "Fundamental"@en ;
+ :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "Fundamental(x) ≡ ∃φ[φ(x) ∧ ¬∃yRP⟨φ⟩(y, x)]" ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass for all classes of entities that have no proper parts of the same type of the whole."@en .
+
+[ rdf:type owl:Axiom ;
+ owl:annotatedSource :EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 ;
+ owl:annotatedProperty skos:altLabel ;
+ owl:annotatedTarget "Lifetime"@en ;
+ :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Middle English liftime, equivalent to life + time."@en
+ ] .
+
+[ rdf:type owl:Axiom ;
+ owl:annotatedSource :EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 ;
+ owl:annotatedProperty skos:prefLabel ;
+ owl:annotatedTarget "Fundamental"@en ;
+ :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin fundamentum (“foundation”), from fundō (“to lay the foundation (of something), to found”), from fundus (“bottom”)."@en
+ ] .
+
+[ rdf:type owl:Axiom ;
+ owl:annotatedSource :EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 ;
+ owl:annotatedProperty :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 ;
+ owl:annotatedTarget "Fundamental(x) ≡ ∃φ[φ(x) ∧ ¬∃yRP⟨φ⟩(y, x)]" ;
+ rdfs:seeAlso :EMMO_6786b336_e982_4759_8dee_1905a4106591
+ ] .
+
+
+### https://w3id.org/emmo#EMMO_808566db_b810_448d_8a54_48e7f6d30f36
+:EMMO_808566db_b810_448d_8a54_48e7f6d30f36 rdf:type owl:Class ;
+ skos:prefLabel "TemporallyRedundant"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A whole with temporal parts of its same type."@en .
+
+
+### https://w3id.org/emmo#EMMO_aaad78a9_abaf_4f97_9c1a_d763a94c4ba3
+:EMMO_aaad78a9_abaf_4f97_9c1a_d763a94c4ba3 rdf:type owl:Class ;
+ skos:prefLabel "TemporallyFundamental"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of individuals that satisfy a whole defining criteria (i.e. belongs to a subclass of whole) and have no temporal parts that satisfy that same criteria (no parts that are of the same type of the whole)."@en .
+
+
+### https://w3id.org/emmo#EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0
+:EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0 rdf:type owl:Class ;
+ owl:equivalentClass [ rdf:type owl:Class ;
+ owl:unionOf ( :EMMO_2469e4c6_ac2e_4c8f_b49f_7b2d2e277215
+ :EMMO_808566db_b810_448d_8a54_48e7f6d30f36
+ )
+ ] ;
+ rdfs:seeAlso :EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 ;
+ skos:altLabel "NonMaximal"@en ;
+ skos:example "A sufficently large volume of liquid water has parts of the same type."@en ;
+ skos:prefLabel "Redundant"@en ;
+ :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "Redundant(x) ≡ ∃φ[φ(x) ∧ ∃yRP⟨φ⟩(y, x)]"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass for all classes of entities that have parts of the same type of the whole."@en .
+
+[ rdf:type owl:Axiom ;
+ owl:annotatedSource :EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0 ;
+ owl:annotatedProperty :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 ;
+ owl:annotatedTarget "Redundant(x) ≡ ∃φ[φ(x) ∧ ∃yRP⟨φ⟩(y, x)]"@en ;
+ rdfs:seeAlso :EMMO_6786b336_e982_4759_8dee_1905a4106591
+ ] .
+
+
+### https://w3id.org/emmo#EMMO_f055e217_0b1b_4e7e_b8be_7340211b0c5e
+:EMMO_f055e217_0b1b_4e7e_b8be_7340211b0c5e rdf:type owl:Class ;
+ skos:prefLabel "SpatiallyFundamental"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of individuals that satisfy a whole defining criteria (i.e. belongs to a subclass of whole) and have no spatial parts that satisfy that same criteria (no parts that are of the same type of the whole)."@en .
+
+
+### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi