Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Added explicit subClassOf relations that cannot be inferred with RL #314

Open
wants to merge 3 commits into
base: 1.0.0-rc2
Choose a base branch
from
Open

Added explicit subClassOf relations that cannot be inferred with RL #314

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
081b51a
Added explicit subClassOf relations that cannot be inferred with RL.
jesper-friis Sep 6, 2024
ba0ffb6
Merge branch '1.0.0-rc2' into explicit-subclasses
jesper-friis Sep 6, 2024
059e676
Merge branch '1.0.0-rc2' into explicit-subclasses
jesper-friis Sep 19, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 11 additions & 9 deletions disciplines/materials.ttl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -55,6 +55,7 @@ owl:qualifiedCardinality rdf:type owl:AnnotationProperty .

### https://w3id.org/emmo#EMMO_0b15f4ae_092e_4487_9100_3c44176c545c
:EMMO_0b15f4ae_092e_4487_9100_3c44176c545c rdf:type owl:Class ;
rdfs:subClassOf :EMMO_ec2c8ac8_98c5_4c74_b85b_ff8e8ca6655c ;
owl:disjointUnionOf ( :EMMO_2031516a_2be7_48e8_9af7_7e1270e308fe
:EMMO_4a464c8d_8895_44a8_a628_aed13509f1bd
:EMMO_6c487fb3_03d1_4e56_91ed_c2e16dcbef60
Expand Down Expand Up @@ -147,6 +148,7 @@ For example, immiscibile liquid phases (e.g. oil and water) constitute a mixture
:EMMO_a2b006f2_bbfd_4dba_bcaa_3fca20cd6be1
)
] ;
rdfs:subClassOf :EMMO_b9695e87_8261_412e_83cd_a86459426a28 ;
skos:prefLabel "CondensedMatter"@en ;
:EMMO_31252f35_c767_4b97_a877_1235076c3e13 "The subject of condensed matter physics that deals with the macroscopic and microscopic physical properties of matter, especially the solid and liquid phases which arise from electromagnetic forces between atoms. More generally, the subject deals with \"condensed\" phases of matter: systems of many constituents with strong interactions between them."@en .

Expand Down Expand Up @@ -415,7 +417,8 @@ The term phase is sometimes used as a synonym for state of matter, but there can

### https://w3id.org/emmo#EMMO_7509da43_56b1_4d7f_887a_65d1663df4ba
:EMMO_7509da43_56b1_4d7f_887a_65d1663df4ba rdf:type owl:Class ;
rdfs:subClassOf :EMMO_87ac88ff_8379_4f5a_8c7b_424a8fff1ee8 ;
rdfs:subClassOf :EMMO_87ac88ff_8379_4f5a_8c7b_424a8fff1ee8 ,
:EMMO_8b0923ab_b500_477b_9ce9_8b3a3e4dc4f2 ;
skos:prefLabel "Liquid"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A liquid is a nearly incompressible fluid that conforms to the shape of its container but retains a (nearly) constant volume independent of pressure."@en .

Expand Down Expand Up @@ -518,6 +521,7 @@ A single continuum individual can be the whole fluid in a pipe."""@en ,

### https://w3id.org/emmo#EMMO_b9695e87_8261_412e_83cd_a86459426a28
:EMMO_b9695e87_8261_412e_83cd_a86459426a28 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_8b0923ab_b500_477b_9ce9_8b3a3e4dc4f2 ;
owl:disjointUnionOf ( :EMMO_04f2a2d5_e799_4692_a654_420e76f5acc1
:EMMO_4c21fb86_fdcf_444e_b498_86fe656295af
:EMMO_7509da43_56b1_4d7f_887a_65d1663df4ba
Expand Down Expand Up @@ -614,11 +618,6 @@ A single continuum individual can be the whole fluid in a pipe."""@en ,

### https://w3id.org/emmo#EMMO_f678173d_f036_4df1_a86b_2894560be617
:EMMO_f678173d_f036_4df1_a86b_2894560be617 rdf:type owl:Class ;
rdfs:subClassOf [ rdf:type owl:Restriction ;
owl:onProperty :EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846 ;
owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ;
owl:onClass :EMMO_4207e895_8b83_4318_996a_72cfb32acd94
] ;
skos:altLabel "Composite"@en ;
skos:prefLabel "CompositeMaterial"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A material that contains two or more constituent materials."@en .
Expand All @@ -629,21 +628,24 @@ A single continuum individual can be the whole fluid in a pipe."""@en ,
skos:prefLabel "PolymericMaterial"@en .


[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger
[ owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger
] .

[ owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger
[ owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger
] .

[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger
] .

[ owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger
[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger
] .

[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger
] .

[ owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger
] .

[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger
] .

Expand Down
26 changes: 15 additions & 11 deletions disciplines/units/siunits.ttl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -272,6 +272,13 @@ kg/m^3""" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Superclass for all units prefixed with \"deca\" (10)."@en .


### https://w3id.org/emmo#EMMO_1e85f9fa_ded6_4856_81be_ccca3c474314
:EMMO_1e85f9fa_ded6_4856_81be_ccca3c474314 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_d41ce84b_4317_41fb_a5d1_6cd281fca106 ;
rdfs:comment "A SI base unit or SI derived unit with a metric prefix."@en ;
skos:prefLabel "SIMetricPrefixedUnit"@en .


### https://w3id.org/emmo#EMMO_2024fca1_b015_45ee_9490_e9e7d36bf704
:EMMO_2024fca1_b015_45ee_9490_e9e7d36bf704 rdf:type owl:Class ;
owl:disjointUnionOf ( :EMMO_1d8b370b_c672_4d0c_964e_eaafcbf2f51f
Expand Down Expand Up @@ -376,6 +383,7 @@ kg/m^3""" ;

### https://w3id.org/emmo#EMMO_32129fb5_df25_48fd_a29c_18a2f22a2dd5
:EMMO_32129fb5_df25_48fd_a29c_18a2f22a2dd5 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_216f448e_cdbc_4aeb_a529_7a5fe7fc38bb ;
owl:disjointUnionOf ( :EMMO_3a185e6c_9e19_4776_b583_19c978156aa0
:EMMO_e9ffc696_5228_4ff9_8a60_0f5e05e9931b
) ;
Expand Down Expand Up @@ -591,7 +599,8 @@ kg/m^3""" ;

### https://w3id.org/emmo#EMMO_60b78cc3_6011_4134_95ab_956f56d4bdc1
:EMMO_60b78cc3_6011_4134_95ab_956f56d4bdc1 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_08b308d4_31cd_4779_a784_aa92fc730f39 ;
rdfs:subClassOf :EMMO_08b308d4_31cd_4779_a784_aa92fc730f39 ,
:EMMO_feb03a8a_bbb6_4918_a891_46713ef557f4 ;
skos:example "cm/s" ;
skos:prefLabel "SINonCoherentDerivedUnit"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A derived unit whos numerical factor in front of the product of base units is NOT equal to one."@en .
Expand Down Expand Up @@ -627,6 +636,7 @@ kg/m^3""" ;

### https://w3id.org/emmo#EMMO_707c6032_e272_4a20_98b5_d35c4f67be68
:EMMO_707c6032_e272_4a20_98b5_d35c4f67be68 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_feb03a8a_bbb6_4918_a891_46713ef557f4 ;
owl:disjointUnionOf ( :EMMO_1273eb34_de48_43a9_925f_104110469dd2
:EMMO_3a185e6c_9e19_4776_b583_19c978156aa0
:EMMO_e9ffc696_5228_4ff9_8a60_0f5e05e9931b
Expand Down Expand Up @@ -680,8 +690,9 @@ kg/m^3""" ;

### https://w3id.org/emmo#EMMO_8246541a_f1f6_4d03_8bd7_fc6b76d17375
:EMMO_8246541a_f1f6_4d03_8bd7_fc6b76d17375 rdf:type owl:Class ;
owl:disjointUnionOf ( :EMMO_60b78cc3_6011_4134_95ab_956f56d4bdc1
:EMMO_1e85f9fa_ded6_4856_81be_ccca3c474314
rdfs:subClassOf :EMMO_feb03a8a_bbb6_4918_a891_46713ef557f4 ;
owl:disjointUnionOf ( :EMMO_1e85f9fa_ded6_4856_81be_ccca3c474314
:EMMO_60b78cc3_6011_4134_95ab_956f56d4bdc1
) ;
skos:prefLabel "SINonCoherentUnit"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An SI unit whos numerical factor in front of the product of base SI units is NOT equal to one."@en ;
Expand Down Expand Up @@ -1029,10 +1040,10 @@ where `multiplier` and `offset` are specified via the 'hasConversionMultiplier'
:EMMO_feb03a8a_bbb6_4918_a891_46713ef557f4 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_3eb993a1_61ae_4a20_b168_dda853f51c14 ;
owl:disjointUnionOf ( :EMMO_1273eb34_de48_43a9_925f_104110469dd2
:EMMO_1e85f9fa_ded6_4856_81be_ccca3c474314
:EMMO_3a185e6c_9e19_4776_b583_19c978156aa0
:EMMO_60b78cc3_6011_4134_95ab_956f56d4bdc1
:EMMO_e9ffc696_5228_4ff9_8a60_0f5e05e9931b
:EMMO_1e85f9fa_ded6_4856_81be_ccca3c474314
) ;
rdfs:comment "The complete set of SI units includes both the coherent set and the multiples and sub-multiples formed by using the SI prefixes."@en ,
"""The names, symbols and prefixes of SI units are defined by the General Conference on Weights and Measures (CGPM).
Expand Down Expand Up @@ -1499,13 +1510,6 @@ https://en.wikipedia.org/wiki/General_Conference_on_Weights_and_Measures"""@en ;
:EMMO_fe015383_afb3_44a6_ae86_043628697aa2 "https://doi.org/10.1351/goldbook.W06666" .


### https://w3id.org/emmo/disciplines/units/siunits#EMMO_1e85f9fa_ded6_4856_81be_ccca3c474314
:EMMO_1e85f9fa_ded6_4856_81be_ccca3c474314 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_d41ce84b_4317_41fb_a5d1_6cd281fca106 ;
rdfs:comment "A SI base unit or SI derived unit with a metric prefix."@en ;
skos:prefLabel "SIMetricPrefixedUnit"@en .


[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger
] .

Expand Down
Loading