@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 reductionistic perspective, which uses the fundamental non-transitive parthood relation, called direct parthood, to provide a powerful granularity description of multiscale real world objects. EMMO can in principle represents the Universe with direct parthood relations as a direct rooted tree up to its elementary constituents. In addition to direct parthood, the reductionistic module defines 'State' as a tessellation of spatial direct parts with no change of granularity or cardinality and 'Existent' as a tessellation of temporal direct parts."""@en ; dcterms:contributor :AdhamHashibon , :FrancescoZaccarini ; dcterms:creator :EmanueleGhedini , :GerhardGoldbeck , :JesperFriis ; dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ; dcterms:publisher ; dcterms:title "Reductionistic"@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.1" ; :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" . ################################################################# # Object Properties ################################################################# ### https://w3id.org/emmo#EMMO_65a2c5b8_e4d8_4a51_b2f8_e55effc0547d :EMMO_65a2c5b8_e4d8_4a51_b2f8_e55effc0547d rdf:type owl:ObjectProperty ; rdfs:subPropertyOf :EMMO_7efab93d_c8fe_49c7_ba8e_d21d13b38c85 ; rdf:type owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:range :EMMO_504ad89e_dd4a_4fa6_aeb6_15c8ce0cde9b ; skos:altLabel "hasTemporalDirectPart"@en ; skos:prefLabel "hasTemporalTile"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation that establishes for the whole a univocal tessellation in temporal parts forming the tessellation." . ### https://w3id.org/emmo#EMMO_663859e5_add3_4c9e_96fb_c99399de278d :EMMO_663859e5_add3_4c9e_96fb_c99399de278d rdf:type owl:ObjectProperty ; rdfs:subPropertyOf :EMMO_7efab93d_c8fe_49c7_ba8e_d21d13b38c85 ; rdf:type owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:range :EMMO_d4c95fa1_5bda_4063_a22d_62c81fcea284 ; skos:prefLabel "hasJunctionTile"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation between the whole and one of its tiles, where the tile is both spatially and temporally connected with the other tiles forming the tessellation." . ### https://w3id.org/emmo#EMMO_74a75cf1_3418_4244_b43c_b5db94635d42 :EMMO_74a75cf1_3418_4244_b43c_b5db94635d42 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf :EMMO_814b6b76_e0ca_4953_a832_d1816fb695f1 ; rdf:type owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain :EMMO_ee0466e4_780d_4236_8281_ace7ad3fc5d2 ; rdfs:range :EMMO_9953c19f_ee33_4af8_be5e_dbf6d1e33581 ; skos:altLabel "hasDirectPart"@en ; skos:prefLabel "hasTile"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """Tiling parthood enables the establishment of hierarchy of granularities, starting with an entity and providing several tessellation levels according to specific criteria. The criteria are implemented in specialised versions of the tiling parthood relation (e.g., metrological direct part, XML format direct part). The tiles and the tessellated entity (tessellation) are causally self connected (i.e., items), coherently with the concept behind the definition of the reductionistic perspective. The tiles of specific granularity level provide a covering for the whole and are mutually non-overlapping, as the label \"tile\" suggests."""@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation grouping all direct parthood relations used in the reductionistic perspective."@en ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "This relation is not antitransitive, to enable partitioning of a causal structure with more than one tiling scheme (e.g. time and space partitioning)."@en , "This relation is a simple collector of all relations inverse functional direct parthoods that can be defined in specialised theories using reductionism." . ### https://w3id.org/emmo#EMMO_7efab93d_c8fe_49c7_ba8e_d21d13b38c85 :EMMO_7efab93d_c8fe_49c7_ba8e_d21d13b38c85 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf :EMMO_74a75cf1_3418_4244_b43c_b5db94635d42 ; rdf:type owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain :EMMO_e12dcfa4_c9f1_4546_9a12_8457c052e6ba ; rdfs:range :EMMO_2e46d966_9f14_4673_821e_7c7cf2957926 ; skos:altLabel "hasWellFormedTile"@en ; skos:prefLabel "hasSpatioTemporalTile" ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A tile that is connected with other tiles with bi-directional causal relations that fall under hasNext (or its inverse) or hasContact."@en ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "This owl:ObjectProperty is, like its super property, a mere collector of direct parthoods that manifest a spatiotemporal meaningful shape." . ### https://w3id.org/emmo#EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe :EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe rdf:type owl:ObjectProperty ; rdfs:subPropertyOf :EMMO_7efab93d_c8fe_49c7_ba8e_d21d13b38c85 ; rdf:type owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:range :EMMO_4cf484af_082a_40f5_9f11_930bf4634482 ; skos:altLabel "hasSpatialDirectPart"@en ; skos:prefLabel "hasSpatialTile"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation between the whole and one of its tiles, where the tile is only spatially connected with the other tiles forming the tessellation." . ### https://w3id.org/emmo#EMMO_c0f48dc6_4a32_4d9a_a956_d68415954a8e :EMMO_c0f48dc6_4a32_4d9a_a956_d68415954a8e rdf:type owl:ObjectProperty ; rdfs:subPropertyOf :EMMO_65a2c5b8_e4d8_4a51_b2f8_e55effc0547d ; rdf:type owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:range :EMMO_edf72228_e040_4edc_8b46_78b2a47c72d7 ; skos:altLabel "hasTemporalLast"@en ; skos:prefLabel "hasEndTile"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between the whole and a temporal tile that has only ingoing temporal connections." . ### https://w3id.org/emmo#EMMO_fe63194f_7c04_4dbd_a244_524b38b6699b :EMMO_fe63194f_7c04_4dbd_a244_524b38b6699b rdf:type owl:ObjectProperty ; rdfs:subPropertyOf :EMMO_65a2c5b8_e4d8_4a51_b2f8_e55effc0547d ; rdf:type owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:range :EMMO_fa595892_070d_455e_9459_06c97179c080 ; skos:altLabel "hasTemporalFirst"@en ; skos:prefLabel "hasBeginTile"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between the whole and a temporal tile that has only outgoing temporal connections." . ################################################################# # Classes ################################################################# ### https://w3id.org/emmo#EMMO_41c5f63b_f0e7_475e_bfac_a92027585979 :EMMO_41c5f63b_f0e7_475e_bfac_a92027585979 rdf:type owl:Class ; rdfs:subClassOf :EMMO_2e46d966_9f14_4673_821e_7c7cf2957926 ; skos:prefLabel "SpatioTemporalTileByConnection"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass for tiles categorized accordingly to their topological role within a tessellation."@en . ### https://w3id.org/emmo#EMMO_5e38e44b_a0d1_4afc_a876_95095c0a589f :EMMO_5e38e44b_a0d1_4afc_a876_95095c0a589f rdf:type owl:Class ; rdfs:subClassOf :EMMO_2e46d966_9f14_4673_821e_7c7cf2957926 ; skos:prefLabel "SpatioTemporalTileByPosition"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass for tiles categorized accordingly to their location within a tessellation in terms of causal source, sink or intermediary."@en . ### https://w3id.org/emmo#EMMO_15db234d_ecaf_4715_9838_4b4ec424fb13 :EMMO_15db234d_ecaf_4715_9838_4b4ec424fb13 rdf:type owl:Class ; rdfs:subClassOf :EMMO_49267eba_5548_4163_8f36_518d65b583f9 ; skos:prefLabel "Reductionistic"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A class devoted to categorize causal objects by specifying their granularity levels."@en ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """A granularity level is specified by a tiling decomposition of the whole y. A tiling is identified as a set of items {x1, x2, ... xn} called tiles that: - are proper parts of y - covers the entire whole (y = x1 +x2 + ... + xn) - do not overlap - are part of one, and one only, whole (inverse functional)"""@en , "Direct parthood is the antitransitive parthood relation used to build the class hierarchy (and the granularity hierarchy) for this perspective."@en . ### https://w3id.org/emmo#EMMO_1ce18268_dc63_42af_9113_6589331b5562 :EMMO_1ce18268_dc63_42af_9113_6589331b5562 rdf:type owl:Class ; rdfs:subClassOf :EMMO_f7f41d20_eabb_4bcb_9a16_0436851fcd5c ; skos:prefLabel "Fork"@en ; :EMMO_157fdf31_6387_42be_8e72_10530519214a "https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.1/doc/figs/Fork.png"^^xsd:anyURI ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A tessellation in which a tile has next two or more non spatially connected tiles."@en . ### 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 , [ rdf:type owl:Restriction ; owl:onProperty :EMMO_74a75cf1_3418_4244_b43c_b5db94635d42 ; owl:someValuesFrom :EMMO_d4c95fa1_5bda_4063_a22d_62c81fcea284 ] ; skos:prefLabel "MixedTiling"@en ; :EMMO_157fdf31_6387_42be_8e72_10530519214a "https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.1/doc/figs/MixedTiling.png"^^xsd:anyURI ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A well formed tessellation with at least a junction tile."@en . ### 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 ; rdfs:seeAlso :EMMO_22c91e99_61f8_4433_8853_432d44a2a46a ; skos:altLabel "WellFormedTile"@en ; skos:prefLabel "SpatioTemporalTile" ; :EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "EquivalentTo: SpatialTile or TemporalTile or JunctionTile" , "EquivalentTo: ThroughTile or EndTile or BeginTile" ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass for all tiles belonging to tessellations in which all tiles are connected through spatiotemporal relations hasNext or contacts."@en . ### https://w3id.org/emmo#EMMO_36c79456_e29c_400d_8bd3_0eedddb82652 :EMMO_36c79456_e29c_400d_8bd3_0eedddb82652 rdf:type owl:Class ; rdfs:subClassOf :EMMO_8944581c_64da_46a9_be29_7074f7cc8098 ; skos:altLabel "MereologicalState"@en ; skos:example """e.g. the existent in my glass is declared at t = t_start as made of two direct parts: the ice and the water. It will continue to exists as state as long as the ice is completely melt at t = t_end. The new state will be completely made of water. Between t_start and t_end there is an exchange of molecules between the ice and the water, but this does not affect the existence of the two states. If we partition the existent in my glass as ice surrounded by several molecules (we do not use the object water as direct part) then the appearance of a molecule coming from the ice will cause a state to end and another state to begin."""@en ; skos:prefLabel "Arrangement"@en ; :EMMO_157fdf31_6387_42be_8e72_10530519214a "https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.1/doc/figs/Arrangement.png"^^xsd:anyURI , "https://w3id.org/emmo/raw/1.0.1/doc/figs/Arrangement-1D.png"^^xsd:anyURI , "https://w3id.org/emmo/raw/1.0.1/doc/figs/Arrangement-2D.png"^^xsd:anyURI , "https://w3id.org/emmo/raw/1.0.1/doc/figs/Arrangement-2Dhex.png"^^xsd:anyURI , "https://w3id.org/emmo/raw/1.0.1/doc/figs/Arrangement-3D.png"^^xsd:anyURI ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A causal object which is tessellated with only spatial direct parts."@en ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """The definition of an arrangement implies that its spatial direct parts are not gained or lost during its temporal extension (they exist from the left to the right side of the time interval), so that the cardinality of spatial direct parts in an arrangement is constant. This does not mean that there cannot be a change in the internal structure of the arrangement direct parts. It means only that this change must not affect the existence of the direct part itself."""@en , "The use of spatial direct parthood in state definition means that an arrangement cannot overlap in space another arrangement that is direct part of the same whole."@en . ### https://w3id.org/emmo#EMMO_4cf484af_082a_40f5_9f11_930bf4634482 :EMMO_4cf484af_082a_40f5_9f11_930bf4634482 rdf:type owl:Class ; rdfs:subClassOf :EMMO_41c5f63b_f0e7_475e_bfac_a92027585979 ; skos:prefLabel "SpatialTile"@en ; :EMMO_157fdf31_6387_42be_8e72_10530519214a "https://w3id.org/emmo/raw/1.0.1/doc/figs/SpatialTile.png"^^xsd:anyURI ; :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 :EMMO_41c5f63b_f0e7_475e_bfac_a92027585979 ; skos:prefLabel "TemporalTile"@en ; :EMMO_157fdf31_6387_42be_8e72_10530519214a "https://w3id.org/emmo/raw/1.0.1/doc/figs/TemporalTile.png"^^xsd:anyURI ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A direct part that is obtained by partitioning a whole purely in temporal parts."@en . ### https://w3id.org/emmo#EMMO_79aad3fb_2e01_4626_8369_4e914893aa6d :EMMO_79aad3fb_2e01_4626_8369_4e914893aa6d rdf:type owl:Class ; rdfs:subClassOf :EMMO_2b1fb71c_0eb0_445c_9be7_fb5d30ae79fd ; skos:prefLabel "Broadcast"@en ; :EMMO_157fdf31_6387_42be_8e72_10530519214a "https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.1/doc/figs/Broadcast.png"^^xsd:anyURI ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A mixed tiling in which a tile has next spatially connected tiles."@en . ### https://w3id.org/emmo#EMMO_8944581c_64da_46a9_be29_7074f7cc8098 :EMMO_8944581c_64da_46a9_be29_7074f7cc8098 rdf:type owl:Class ; rdfs:subClassOf :EMMO_e12dcfa4_c9f1_4546_9a12_8457c052e6ba , [ rdf:type owl:Restriction ; owl:onProperty :EMMO_7efab93d_c8fe_49c7_ba8e_d21d13b38c85 ; owl:allValuesFrom :EMMO_4cf484af_082a_40f5_9f11_930bf4634482 ] ; skos:prefLabel "SpatialTiling"@en ; :EMMO_157fdf31_6387_42be_8e72_10530519214a "https://w3id.org/emmo/raw/1.0.1/doc/figs/Arrangement-1D.png"^^xsd:anyURI , "https://w3id.org/emmo/raw/1.0.1/doc/figs/Arrangement-2D.png"^^xsd:anyURI , "https://w3id.org/emmo/raw/1.0.1/doc/figs/Arrangement-2Dhex.png"^^xsd:anyURI , "https://w3id.org/emmo/raw/1.0.1/doc/figs/Arrangement-3D.png"^^xsd:anyURI ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A well formed tessellation with tiles that all spatial."@en . ### https://w3id.org/emmo#EMMO_92829beb_6ed4_4c88_bbd5_3bc7403e2895 :EMMO_92829beb_6ed4_4c88_bbd5_3bc7403e2895 rdf:type owl:Class ; rdfs:subClassOf :EMMO_f7f41d20_eabb_4bcb_9a16_0436851fcd5c ; skos:altLabel "Sequence"@en ; skos:prefLabel "TemporalSequence"@en ; :EMMO_157fdf31_6387_42be_8e72_10530519214a "https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.1/doc/figs/Sequence.png"^^xsd:anyURI ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A tessellation of temporal slices."@en . ### 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 , [ rdf:type owl:Restriction ; owl:onProperty [ owl:inverseOf :EMMO_74a75cf1_3418_4244_b43c_b5db94635d42 ] ; owl:someValuesFrom :EMMO_ee0466e4_780d_4236_8281_ace7ad3fc5d2 ] ; skos:prefLabel "Tile"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A causal object that is direct part of a tessellation."@en . ### https://w3id.org/emmo#EMMO_b1862e72_219f_4fc0_b58c_b26339f6dc88 :EMMO_b1862e72_219f_4fc0_b58c_b26339f6dc88 rdf:type owl:Class ; rdfs:subClassOf :EMMO_2b1fb71c_0eb0_445c_9be7_fb5d30ae79fd ; skos:prefLabel "Gathering"@en ; :EMMO_157fdf31_6387_42be_8e72_10530519214a "https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.1/doc/figs/Gathering.png"^^xsd:anyURI ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A mixed tiling in which a tile is the next of spatially connected tiles."@en . ### https://w3id.org/emmo#EMMO_bcc1e604_874d_42e3_9885_8be3dac03327 :EMMO_bcc1e604_874d_42e3_9885_8be3dac03327 rdf:type owl:Class ; rdfs:subClassOf :EMMO_36c79456_e29c_400d_8bd3_0eedddb82652 ; skos:altLabel "Sequence"@en ; skos:prefLabel "SpatialSequence"@en ; :EMMO_157fdf31_6387_42be_8e72_10530519214a "https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.1/doc/figs/SpatialSequence.png"^^xsd:anyURI ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A monodimensional arrangement of tiles."@en . ### https://w3id.org/emmo#EMMO_c7ee175d_4c25_45cb_b74e_71435b11b77d :EMMO_c7ee175d_4c25_45cb_b74e_71435b11b77d rdf:type owl:Class ; rdfs:subClassOf :EMMO_f7f41d20_eabb_4bcb_9a16_0436851fcd5c ; skos:prefLabel "Join"@en ; :EMMO_157fdf31_6387_42be_8e72_10530519214a "https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.1/doc/figs/Join.png"^^xsd:anyURI ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A tessellation in which a tile is next for two or more non spatially connected tiles."@en . ### https://w3id.org/emmo#EMMO_caa63d00_80b1_4408_ac1b_cd0d23b0ec50 :EMMO_caa63d00_80b1_4408_ac1b_cd0d23b0ec50 rdf:type owl:Class ; rdfs:subClassOf :EMMO_5e38e44b_a0d1_4afc_a876_95095c0a589f ; skos:prefLabel "IntermidiateTile"@en ; :EMMO_157fdf31_6387_42be_8e72_10530519214a "https://w3id.org/emmo/raw/1.0.1/doc/figs/ThroughTile.png"^^xsd:anyURI ; :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 :EMMO_41c5f63b_f0e7_475e_bfac_a92027585979 , [ rdf:type owl:Restriction ; owl:onProperty [ owl:inverseOf :EMMO_663859e5_add3_4c9e_96fb_c99399de278d ] ; owl:someValuesFrom :EMMO_2b1fb71c_0eb0_445c_9be7_fb5d30ae79fd ] ; skos:prefLabel "JunctionTile"@en ; :EMMO_157fdf31_6387_42be_8e72_10530519214a "https://w3id.org/emmo/raw/1.0.1/doc/figs/JunctionTile.png"^^xsd:anyURI ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A direct part that is obtained by partitioning a whole hybridly in spatial, temporal and spatiotemporal parts."@en . ### 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 , [ rdf:type owl:Restriction ; owl:onProperty :EMMO_7efab93d_c8fe_49c7_ba8e_d21d13b38c85 ; owl:someValuesFrom :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ] ; skos:altLabel "WellFormedTessellation"@en ; skos:prefLabel "SpatioTemporalTessellation" ; :EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "EquivalentTo: MixedTiling or SpatialTiling or TemporalTiling" ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass for all tessellations in which all tiles are connected through spatiotemporal relations hasNext or contacts."@en . ### https://w3id.org/emmo#EMMO_edf72228_e040_4edc_8b46_78b2a47c72d7 :EMMO_edf72228_e040_4edc_8b46_78b2a47c72d7 rdf:type owl:Class ; rdfs:subClassOf :EMMO_5e38e44b_a0d1_4afc_a876_95095c0a589f ; skos:prefLabel "EndTile"@en ; :EMMO_157fdf31_6387_42be_8e72_10530519214a "https://w3id.org/emmo/raw/1.0.1/doc/figs/EndTile.png"^^xsd:anyURI ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A direct part that only is the target, but not the source of temporal relations."@en . ### 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 , [ rdf:type owl:Restriction ; owl:onProperty :EMMO_74a75cf1_3418_4244_b43c_b5db94635d42 ; owl:someValuesFrom :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ] ; 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 ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A causal structure that is tessellated in direct parts."@en . [ rdf:type owl:Axiom ; owl:annotatedSource :EMMO_ee0466e4_780d_4236_8281_ace7ad3fc5d2 ; owl:annotatedProperty :EMMO_31252f35_c767_4b97_a877_1235076c3e13 ; owl:annotatedTarget "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 ; :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Tessellation"^^xsd:anyURI ] . ### https://w3id.org/emmo#EMMO_f7f41d20_eabb_4bcb_9a16_0436851fcd5c :EMMO_f7f41d20_eabb_4bcb_9a16_0436851fcd5c rdf:type owl:Class ; rdfs:subClassOf :EMMO_e12dcfa4_c9f1_4546_9a12_8457c052e6ba , [ rdf:type owl:Restriction ; owl:onProperty :EMMO_7efab93d_c8fe_49c7_ba8e_d21d13b38c85 ; owl:allValuesFrom :EMMO_504ad89e_dd4a_4fa6_aeb6_15c8ce0cde9b ] ; skos:prefLabel "TemporalTiling"@en ; :EMMO_157fdf31_6387_42be_8e72_10530519214a "https://w3id.org/emmo/raw/1.0.1/doc/figs/TemporalTile.png"^^xsd:anyURI ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A well formed tessellation with tiles that are all temporal."@en . ### https://w3id.org/emmo#EMMO_fa595892_070d_455e_9459_06c97179c080 :EMMO_fa595892_070d_455e_9459_06c97179c080 rdf:type owl:Class ; rdfs:subClassOf :EMMO_5e38e44b_a0d1_4afc_a876_95095c0a589f ; skos:prefLabel "BeginTile"@en ; :EMMO_157fdf31_6387_42be_8e72_10530519214a "https://w3id.org/emmo/raw/1.0.1/doc/figs/BeginTile.png"^^xsd:anyURI ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A direct part that only is the source, but not the target of temporal relations."@en . ### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi