-
Notifications
You must be signed in to change notification settings - Fork 17
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
d2d37df
commit 37f9f54
Showing
5 changed files
with
69 additions
and
39 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -12,17 +12,17 @@ | |
owl:versionIRI <https://w3id.org/emmo/1.0.0-rc1/disciplines/geometrical> ; | ||
owl:imports <https://w3id.org/emmo/1.0.0-rc1/perspectives/data> ; | ||
dcterms:abstract "The graphical module provides classes for the representation of geometrical concepts."@en ; | ||
dcterms:creator <https://orcid.org/0000-0003-0514-9229> , | ||
<https://orcid.org/0000-0003-3805-8761> , | ||
<https://orcid.org/0000-0003-4065-9742> , | ||
dcterms:creator <https://orcid.org/0000-0002-1560-809X> , | ||
<https://orcid.org/0000-0002-4181-2852> , | ||
<https://orcid.org/0000-0002-1560-809X> ; | ||
<https://orcid.org/0000-0003-0514-9229> , | ||
<https://orcid.org/0000-0003-3805-8761> , | ||
<https://orcid.org/0000-0003-4065-9742> ; | ||
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ; | ||
dcterms:publisher <https://emmc.eu> ; | ||
dcterms:title "Geometrical"@en ; | ||
:EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "[email protected]" ; | ||
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 "[email protected]" . | ||
|
||
################################################################# | ||
# 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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -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 <https://orcid.org/0000-0003-0514-9229> , | ||
<https://orcid.org/0000-0003-3805-8761> , | ||
<https://orcid.org/0000-0003-4065-9742> , | ||
dcterms:creator <https://orcid.org/0000-0002-1560-809X> , | ||
<https://orcid.org/0000-0002-4181-2852> , | ||
<https://orcid.org/0000-0002-1560-809X> ; | ||
<https://orcid.org/0000-0003-0514-9229> , | ||
<https://orcid.org/0000-0003-3805-8761> , | ||
<https://orcid.org/0000-0003-4065-9742> ; | ||
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ; | ||
dcterms:publisher <https://emmc.eu> ; | ||
dcterms:title "Metrology"@en ; | ||
:EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "[email protected]" ; | ||
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 "[email protected]" . | ||
|
||
################################################################# | ||
# 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 | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.