diff --git a/disciplines/geometrical.ttl b/disciplines/geometrical.ttl index 66305106..b30a13bd 100644 --- a/disciplines/geometrical.ttl +++ b/disciplines/geometrical.ttl @@ -12,17 +12,17 @@ owl:versionIRI ; owl:imports ; dcterms:abstract "The graphical module provides classes for the representation of geometrical concepts."@en ; - dcterms:creator , - , - , + dcterms:creator , , - ; + , + , + ; dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ; dcterms:publisher ; dcterms:title "Geometrical"@en ; - :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" ; rdfs:comment "The EMMO requires FacT++ 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" . ################################################################# # Classes @@ -32,70 +32,82 @@ :EMMO_0ab0485c_9e5b_4257_a679_90a2dfba5c7c rdf:type owl:Class ; rdfs:subClassOf :EMMO_b5957cef_a287_442d_a3ce_fd39f20ba1cd ; skos:altLabel "0-manifold"@en ; - skos:prefLabel "ZeroManifold"@en . + skos:prefLabel "ZeroManifold"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of 0-dimensional Euclidean space."@en . ### https://w3id.org/emmo#EMMO_0c576e13_4ee7_4f3d_bfe9_1614243df018 :EMMO_0c576e13_4ee7_4f3d_bfe9_1614243df018 rdf:type owl:Class ; rdfs:subClassOf :EMMO_b5957cef_a287_442d_a3ce_fd39f20ba1cd ; skos:altLabel "1-manifold"@en ; - skos:prefLabel "OneManifold"@en . + skos:prefLabel "OneManifold"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of 1-dimensional Euclidean space."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "One-dimensional manifolds include lines and circles, but not self-crossing curves. Two-dimensional manifolds are also called surfaces. Examples include the plane, the sphere, and the torus, and also the Klein bottle and real projective plane."@en . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_0c576e13_4ee7_4f3d_bfe9_1614243df018 ; + owl:annotatedProperty :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f ; + owl:annotatedTarget "One-dimensional manifolds include lines and circles, but not self-crossing curves. Two-dimensional manifolds are also called surfaces. Examples include the plane, the sphere, and the torus, and also the Klein bottle and real projective plane."@en ; + :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Manifold"^^xsd:anyURI + ] . ### https://w3id.org/emmo#EMMO_0ef4ff4a_5458_4f2a_b51f_4689d472a3f2 :EMMO_0ef4ff4a_5458_4f2a_b51f_4689d472a3f2 rdf:type owl:Class ; rdfs:subClassOf :EMMO_0c576e13_4ee7_4f3d_bfe9_1614243df018 ; - skos:prefLabel "Curve"@en . + skos:prefLabel "Curve"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A one-manyfold with two unconnected end points."@en . ### https://w3id.org/emmo#EMMO_25f5ca8e_8f7f_44d8_a392_bd3fe8894458 :EMMO_25f5ca8e_8f7f_44d8_a392_bd3fe8894458 rdf:type owl:Class ; rdfs:subClassOf :EMMO_9268958f_7f54_48ab_a693_febe2645892b ; - skos:prefLabel "Plane"@en . + skos:prefLabel "Plane"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A 2-manifold with two unconnected boundaries."@en . ### https://w3id.org/emmo#EMMO_39362460_2a97_4367_8f93_0418c2ac9a08 :EMMO_39362460_2a97_4367_8f93_0418c2ac9a08 rdf:type owl:Class ; rdfs:subClassOf :EMMO_0ab0485c_9e5b_4257_a679_90a2dfba5c7c ; - skos:prefLabel "Point"@en . - - -### https://w3id.org/emmo#EMMO_3e309118_e8b7_4021_80f4_642d2df65d94 -:EMMO_3e309118_e8b7_4021_80f4_642d2df65d94 rdf:type owl:Class ; - rdfs:subClassOf :EMMO_0c576e13_4ee7_4f3d_bfe9_1614243df018 ; - skos:prefLabel "Line"@en . + skos:prefLabel "Point"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A zero-manifold of only one point."@en . ### https://w3id.org/emmo#EMMO_46f0f8df_4dc6_418f_8036_10427a3a288e :EMMO_46f0f8df_4dc6_418f_8036_10427a3a288e rdf:type owl:Class ; rdfs:subClassOf :EMMO_b5957cef_a287_442d_a3ce_fd39f20ba1cd ; skos:altLabel "3-manifold"@en ; - skos:prefLabel "ThreeManifold"@en . + skos:prefLabel "ThreeManifold"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of 3-dimensional Euclidean space."@en . ### https://w3id.org/emmo#EMMO_5f278af9_8593_4e27_a717_ccc9e07a0ddf :EMMO_5f278af9_8593_4e27_a717_ccc9e07a0ddf rdf:type owl:Class ; rdfs:subClassOf :EMMO_46f0f8df_4dc6_418f_8036_10427a3a288e ; - skos:prefLabel "EuclideanSpace"@en . + skos:prefLabel "EuclideanSpace"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A three-manifold with Euclidean metric."@en . ### https://w3id.org/emmo#EMMO_86060335_31c2_4820_b433_27c64aea0366 :EMMO_86060335_31c2_4820_b433_27c64aea0366 rdf:type owl:Class ; rdfs:subClassOf :EMMO_9268958f_7f54_48ab_a693_febe2645892b ; - skos:prefLabel "Torus"@en . + skos:prefLabel "Torus"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The simplest 2-manifold with genus 1."@en . ### https://w3id.org/emmo#EMMO_9268958f_7f54_48ab_a693_febe2645892b :EMMO_9268958f_7f54_48ab_a693_febe2645892b rdf:type owl:Class ; rdfs:subClassOf :EMMO_b5957cef_a287_442d_a3ce_fd39f20ba1cd ; skos:altLabel "2-manifold"@en ; - skos:prefLabel "TwoManifold"@en . + skos:prefLabel "TwoManifold"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of 2-dimensional Euclidean space."@en . ### https://w3id.org/emmo#EMMO_b2a234a8_579a_422c_9305_b8f7e72c76cd :EMMO_b2a234a8_579a_422c_9305_b8f7e72c76cd rdf:type owl:Class ; rdfs:subClassOf :EMMO_0c576e13_4ee7_4f3d_bfe9_1614243df018 ; - skos:prefLabel "Circle"@en . + skos:prefLabel "Circle"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Self-connected one-manyfold."@en . ### https://w3id.org/emmo#EMMO_b5957cef_a287_442d_a3ce_fd39f20ba1cd @@ -116,7 +128,22 @@ The case a) is a geometrical and mathematical, b) is geometrical and pictorial, ### https://w3id.org/emmo#EMMO_d7bf784a_db94_4dd9_861c_54f262846fbf :EMMO_d7bf784a_db94_4dd9_861c_54f262846fbf rdf:type owl:Class ; rdfs:subClassOf :EMMO_9268958f_7f54_48ab_a693_febe2645892b ; - skos:prefLabel "Sphere"@en . + skos:prefLabel "Sphere"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A standard 2-manifold with no unconnected boundaries."@en . + + +### https://w3id.org/emmo/disciplines/geometrical#EMMO_750d42f1_c291_42ce_91b2_a079d79639fb +:EMMO_750d42f1_c291_42ce_91b2_a079d79639fb rdf:type owl:Class ; + rdfs:subClassOf :EMMO_9268958f_7f54_48ab_a693_febe2645892b ; + skos:prefLabel "Cylinder"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A 2-manifold with one unconnected boundary and two \"faces\"."@en . + + +### https://w3id.org/emmo/disciplines/geometrical#EMMO_8406f483_eafc_4700_b6c0_5d2908ea2adf +:EMMO_8406f483_eafc_4700_b6c0_5d2908ea2adf rdf:type owl:Class ; + rdfs:subClassOf :EMMO_9268958f_7f54_48ab_a693_febe2645892b ; + skos:prefLabel "MobiusStrip"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A 2-manifold with one unconnected boundary and one \"face\"."@en . ### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi diff --git a/disciplines/metrology.ttl b/disciplines/metrology.ttl index fe3cf90a..a537bb1f 100644 --- a/disciplines/metrology.ttl +++ b/disciplines/metrology.ttl @@ -18,17 +18,17 @@ dcterms:abstract """Defines the formal language of metrology, including theoretical and practical aspects of measurements. This module is based on the International vocabulary of metrology (VIM) as well as the ISO/IEC 80000 standard."""@en ; - dcterms:creator , - , - , + dcterms:creator , , - ; + , + , + ; dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ; dcterms:publisher ; dcterms:title "Metrology"@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" . ################################################################# # Annotation properties @@ -402,7 +402,8 @@ Number of apples"""@en ; ### https://w3id.org/emmo#EMMO_3eb993a1_61ae_4a20_b168_dda853f51c14 :EMMO_3eb993a1_61ae_4a20_b168_dda853f51c14 rdf:type owl:Class ; rdfs:subClassOf :EMMO_b081b346_7279_46ef_9a3d_2c088fcd79f4 ; - skos:prefLabel "SystemUnit"@en . + skos:prefLabel "SystemUnit"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A unit that belongs to one or more unit systems."@en . ### https://w3id.org/emmo#EMMO_3ee80521_3c23_4dd1_935d_9d522614a3e2 @@ -507,7 +508,8 @@ J stands for N m"""@en ; rdf:type owl:Class ] ; rdfs:subClassOf :EMMO_89a0c87c_0804_4013_937a_6fe234d9499c ; - skos:prefLabel "MetrologicalConstruct"@en . + skos:prefLabel "MetrologicalConstruct"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A symbolic construct used within the discipline of metrology."@en . ### https://w3id.org/emmo#EMMO_79751276_b2d0_4e2f_bbd4_99d412f43d55 diff --git a/disciplines/units/noncoherentsiunits.ttl b/disciplines/units/noncoherentsiunits.ttl index 7f81358d..a6d5ebdd 100644 --- a/disciplines/units/noncoherentsiunits.ttl +++ b/disciplines/units/noncoherentsiunits.ttl @@ -377,9 +377,6 @@ emmo:CubicCentiMetrePerMoleSecond rdf:type owl:Class ; emmo:EMMO_7f1dec83_d85e_4e1b_b7bd_c9442d4f5a64 "cm³/(mol⋅s)" ; emmo:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 """A unit that is the 0.000001-fold of the power of the SI base unit metre with the exponent 3 divided by the SI base unit mol multiplied by the SI base unit second. --- QUDT"""@en , - """A unit that is the SI base unit metre with the exponent 3 divided by the SI base unit mol multiplied by the SI base unit second. - -- QUDT"""@en . diff --git a/disciplines/units/siacceptedunits.ttl b/disciplines/units/siacceptedunits.ttl index 79997720..8050d997 100644 --- a/disciplines/units/siacceptedunits.ttl +++ b/disciplines/units/siacceptedunits.ttl @@ -741,7 +741,8 @@ We kindly acknowledge NIST for reusing their content, including the selection of ### https://w3id.org/emmo#EMMO_93170bc8_d3b2_45bd_8cad_20aad08462ef :EMMO_93170bc8_d3b2_45bd_8cad_20aad08462ef rdf:type owl:Class ; rdfs:subClassOf :EMMO_c6d4a5e0_7e95_44df_a6db_84ee0a8bbc8e ; - skos:prefLabel "SIAcceptedPrefixedUnit"@en . + skos:prefLabel "SIAcceptedPrefixedUnit"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Non-SI prefixed units that have been accepted by SI to be used together with the SI system."@en . ### https://w3id.org/emmo#EMMO_ac19c801_bead_4730_8b8c_50020eec45ec @@ -758,7 +759,8 @@ We kindly acknowledge NIST for reusing their content, including the selection of :EMMO_93170bc8_d3b2_45bd_8cad_20aad08462ef :EMMO_ac19c801_bead_4730_8b8c_50020eec45ec ) ; - skos:prefLabel "SIAccepted"@en . + skos:prefLabel "SIAccepted"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Non-SI unit that has been accepted by SI to be used together with the SI system."@en . ### https://w3id.org/emmo#ElectronVolt diff --git a/disciplines/units/siunits.ttl b/disciplines/units/siunits.ttl index 0a183d7a..2366f1f3 100644 --- a/disciplines/units/siunits.ttl +++ b/disciplines/units/siunits.ttl @@ -376,7 +376,8 @@ kg/m^3""" ; owl:disjointUnionOf ( :EMMO_3a185e6c_9e19_4776_b583_19c978156aa0 :EMMO_e9ffc696_5228_4ff9_8a60_0f5e05e9931b ) ; - skos:prefLabel "SIUnitSymbol"@en . + skos:prefLabel "SIUnitSymbol"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A unit symbol that belongs to the SI system. Is either a SI base unit or a SI special unit."@en . ### https://w3id.org/emmo#EMMO_3227b821_26a5_4c7c_9c01_5c24483e0bd0 @@ -553,7 +554,8 @@ kg/m^3""" ; owl:disjointUnionOf ( :EMMO_1273eb34_de48_43a9_925f_104110469dd2 :EMMO_60b78cc3_6011_4134_95ab_956f56d4bdc1 ) ; - skos:prefLabel "SIDerivedUnit"@en . + skos:prefLabel "SIDerivedUnit"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A derived unit that belongs to the SI system."@en . ### https://w3id.org/emmo#EMMO_5cf9f86c_86f5_40c4_846d_60371f670e0a @@ -1049,7 +1051,7 @@ https://en.wikipedia.org/wiki/General_Conference_on_Weights_and_Measures"""@en ; :EMMO_1f1b164d_ec6a_4faa_8d5e_88bda62316cc "http://qudt.org/vocab/unit/FARAD" ; :EMMO_33ae2d07_5526_4555_a0b4_8f4c031b5652 "F" ; :EMMO_6dd685dd_1895_46e4_b227_be9f7d643c25 "http://dbpedia.org/resource/Farad"^^xsd:anyURI ; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """The SI unit of electric capacitance. Very early in the study of electricity scientists discovered that a pair of conductors separated by an insulator can store a much larger charge than an isolated conductor can store. The better the insulator, the larger the charge that the conductors can hold. This property of a circuit is called capacitance, and it is measured in farads. One farad is defined as the ability to store one coulomb of charge per volt of potential difference between the two conductors. This is a natural definition, but the unit it defines is very large. In practical circuits, capacitance is often measured in microfarads, nanofarads, or sometimes even in picofarads (10⁻¹² farad, or trillionths of a farad). The unit is named for the British physicist Michael Faraday (1791-1867), who was known for his work in electricity and electrochemistry. + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 """The SI unit of electric capacitance. Very early in the study of electricity scientists discovered that a pair of conductors separated by an insulator can store a much larger charge than an isolated conductor can store. The better the insulator, the larger the charge that the conductors can hold. This property of a circuit is called capacitance, and it is measured in farads. One farad is defined as the ability to store one coulomb of charge per volt of potential difference between the two conductors. This is a natural definition, but the unit it defines is very large. In practical circuits, capacitance is often measured in microfarads, nanofarads, or sometimes even in picofarads (10⁻¹² farad, or trillionths of a farad). The unit is named for the British physicist Michael Faraday (1791-1867), who was known for his work in electricity and electrochemistry. -- QUDT"""@en ; :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "http://en.wikipedia.org/wiki/Farad?oldid=493070876"^^xsd:anyURI ;