Skip to content

Unit Group class equivalence restriction #1506

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

Open
philblackwood wants to merge 9 commits into
base: develop
Choose a base branch
from
Open

Unit Group class equivalence restriction #1506

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
891b488
Merge branch 'main' of https://github.com/semanticarts/gist into develop
Mar 10, 2025
579cb5f
Merge branch 'develop' of https://github.com/semanticarts/gist into d…
Sep 16, 2025
20633f3
Merge branch 'develop' of https://github.com/semanticarts/gist into d…
Oct 13, 2025
f7635dc
Merge branch 'develop' of https://github.com/semanticarts/gist into d…
Apr 7, 2026
40480e1
Merge branch 'develop' of https://github.com/semanticarts/gist into d…
Jun 19, 2026
6c25915
added class equivalence
Aug 25, 2026
b294bbd
added class equivalence for UnitGroup
Aug 25, 2026
9a3b4a9
exponentOfOther is decimal (like the other exponents)
Aug 27, 2026
81d1a49
Update ontologies/gistCore.ttl
philblackwood Sep 28, 2026
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
3 changes: 3 additions & 0 deletions docs/release_notes/1486-UnitGroup-class-equivalence
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
### Patch Updates

- Added class equivalence for `gist:UnitGroup`. Issue [#1486](https://github.com/semanticarts/gist/issues/1486).
110 changes: 99 additions & 11 deletions ontologies/gistCore.ttl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1948,17 +1948,105 @@ gist:Transaction

gist:UnitGroup
a owl:Class ;
rdfs:subClassOf
gist:Collection ,
[
a owl:Restriction ;
owl:onProperty [
owl:inverseOf gist:isMemberOf ;
] ;
owl:someValuesFrom gist:UnitOfMeasure ;
]
;
owl:disjointWith gist:UnitOfMeasure ;
owl:equivalentClass [
a owl:Class ;
owl:intersectionOf (
gist:Collection
[
a owl:Restriction ;
owl:onProperty [
owl:inverseOf gist:hasUnitGroup ;
] ;
owl:someValuesFrom gist:Aspect ;
]
[
a owl:Restriction ;
owl:onProperty [
owl:inverseOf gist:isMemberOf ;
] ;
owl:someValuesFrom gist:UnitOfMeasure ;
]
[
a owl:Restriction ;
owl:onProperty gist:exponentOfAmpere ;
owl:someValuesFrom xsd:decimal ;

]
[
a owl:Restriction ;
owl:onProperty gist:exponentOfBit ;
owl:onDataRange xsd:decimal ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
]
[
a owl:Restriction ;
owl:onProperty gist:exponentOfCandela ;
owl:onDataRange xsd:decimal ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
]
[
a owl:Restriction ;
owl:onProperty gist:exponentOfKelvin ;
owl:onDataRange xsd:decimal ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
]
[
a owl:Restriction ;
owl:onProperty gist:exponentOfKilogram ;
owl:onDataRange xsd:decimal ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
]
[
a owl:Restriction ;
owl:onProperty gist:exponentOfMeter ;
owl:onDataRange xsd:decimal ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
]
[
a owl:Restriction ;
owl:onProperty gist:exponentOfMole ;
owl:onDataRange xsd:decimal ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
]
[
a owl:Restriction ;
owl:onProperty gist:exponentOfNumber ;
owl:onDataRange xsd:decimal ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
]
[
a owl:Restriction ;
owl:onProperty gist:exponentOfOther ;
owl:onDataRange xsd:decimal ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
]
[
a owl:Restriction ;
owl:onProperty gist:exponentOfRadian ;
owl:onDataRange xsd:decimal ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
]
[
a owl:Restriction ;
owl:onProperty gist:exponentOfSecond ;
owl:onDataRange xsd:decimal ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
]
[
a owl:Restriction ;
owl:onProperty gist:exponentOfSteradian ;
owl:onDataRange xsd:decimal ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
]
[
a owl:Restriction ;
owl:onProperty gist:exponentOfUSDollar ;
owl:onDataRange xsd:decimal ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
]
) ;
] ;
skos:definition "A collection of units of measure that can all be used to measure the same aspects."^^xsd:string ;
skos:example "The units of measure bit, byte, kilobit, kilobyte, etc. are all in the same unit group because they can all be used to measure an amount of data."^^xsd:string ;
skos:prefLabel "Unit Group"^^xsd:string ;
Expand Down Expand Up @@ -2470,7 +2558,7 @@ gist:exponentOfOther
skos:prefLabel "exponent of other"^^xsd:string ;
skos:scopeNote """Set the value to 0 if the units of measure in the unit group can be expressed using the standard set of exponents (as in the examples).

Otherwise set the value to 1, which typically means the units of measure in the group use a logarithmic scale."""^^xsd:string ;
Otherwise set the value to 1.0, which typically means the units of measure in the group use a logarithmic scale."""^^xsd:string ;
.

gist:exponentOfRadian
Expand Down
Loading