Skip to content

Commit 64ae7a0

Browse files
MatthewSteenMatthewSteen
committed
Merge branch 'main' into develop
2 parents 8a001c9 + d163076 commit 64ae7a0

16 files changed

+97107
-0
lines changed

‎libraries/qudt/FUNCTIONS_QUDT-v2.1.spin.ttl‎

Lines changed: 141 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,141 @@
1+
# baseURI: http://qudt.org/2.1/schema/extensions/functions
2+
# imports: http://spinrdf.org/spl
3+
# prefix: functions
4+
5+
@prefix arg: <http://spinrdf.org/arg#> .
6+
@prefix functions: <http://qudt.org/2.1/schema/extensions/functions#> .
7+
@prefix owl: <http://www.w3.org/2002/07/owl#> .
8+
@prefix qudt: <http://qudt.org/schema/qudt/> .
9+
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
10+
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
11+
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
12+
@prefix sp: <http://spinrdf.org/sp#> .
13+
@prefix spin: <http://spinrdf.org/spin#> .
14+
@prefix spl: <http://spinrdf.org/spl#> .
15+
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
16+
17+
<http://qudt.org/2.1/schema/extensions/functions>
18+
a owl:Ontology ;
19+
owl:imports <http://spinrdf.org/spl> ;
20+
owl:versionInfo "Created with TopBraid Composer" ;
21+
.
22+
qudt:inferredApplicableUnit
23+
a spin:MagicProperty ;
24+
spin:body [
25+
a sp:Select ;
26+
sp:distinct true ;
27+
sp:resultVariables (
28+
[
29+
sp:varName "unit" ;
30+
]
31+
) ;
32+
sp:where (
33+
[
34+
a sp:Union ;
35+
sp:elements (
36+
(
37+
[
38+
sp:object spin:_arg1 ;
39+
sp:predicate qudt:hasQuantityKind ;
40+
sp:subject [
41+
sp:varName "unit" ;
42+
] ;
43+
]
44+
[
45+
a sp:Filter ;
46+
sp:expression [
47+
a sp:notExists ;
48+
sp:elements (
49+
[
50+
sp:object true ;
51+
sp:predicate qudt:deprecated ;
52+
sp:subject [
53+
sp:varName "unit" ;
54+
] ;
55+
]
56+
) ;
57+
] ;
58+
]
59+
[
60+
a sp:TriplePath ;
61+
sp:object qudt:Unit ;
62+
sp:path [
63+
a sp:SeqPath ;
64+
sp:path1 rdf:type ;
65+
sp:path2 [
66+
a sp:ModPath ;
67+
sp:modMax -2 ;
68+
sp:modMin 0 ;
69+
sp:subPath rdfs:subClassOf ;
70+
] ;
71+
] ;
72+
sp:subject [
73+
sp:varName "unit" ;
74+
] ;
75+
]
76+
)
77+
(
78+
[
79+
a sp:NotExists ;
80+
sp:elements (
81+
[
82+
sp:object spin:_arg1 ;
83+
sp:predicate qudt:hasQuantityKind ;
84+
sp:subject [
85+
sp:varName "unit" ;
86+
] ;
87+
]
88+
[
89+
a sp:TriplePath ;
90+
sp:object qudt:Unit ;
91+
sp:path [
92+
a sp:SeqPath ;
93+
sp:path1 rdf:type ;
94+
sp:path2 [
95+
a sp:ModPath ;
96+
sp:modMax -2 ;
97+
sp:modMin 0 ;
98+
sp:subPath rdfs:subClassOf ;
99+
] ;
100+
] ;
101+
sp:subject [
102+
sp:varName "unit" ;
103+
] ;
104+
]
105+
) ;
106+
]
107+
[
108+
sp:object [
109+
sp:varName "parent1" ;
110+
] ;
111+
sp:predicate skos:broader ;
112+
sp:subject spin:_arg1 ;
113+
]
114+
[
115+
sp:object [
116+
sp:varName "unit" ;
117+
] ;
118+
sp:predicate qudt:inferredApplicableUnit ;
119+
sp:subject [
120+
sp:varName "parent1" ;
121+
] ;
122+
]
123+
)
124+
) ;
125+
]
126+
) ;
127+
] ;
128+
spin:constraint [
129+
a spl:Argument ;
130+
spl:predicate sp:arg1 ;
131+
spl:valueType qudt:QuantityKind ;
132+
rdfs:comment "The QuantityKind instance" ;
133+
] ;
134+
spin:returnType rdfs:Class ;
135+
rdfs:comment """A magic property that returns all units that are \"applicable\" to a given QuantityKind, found by examining the incoming qudt:hasQuantityKind property for the provided QuantityKind. If there are none found, recurse up the skos:broader relation until such a QuantityKind is found.
136+
137+
Example use:
138+
quantitykind:Power qudt:inferredApplicableUnit ?unit . """ ;
139+
rdfs:label "applicable units for a QuantityKind instance" ;
140+
rdfs:subClassOf spin:MagicProperties ;
141+
.

‎libraries/qudt/SCHEMA-FACADE_QUDT-v2.1.ttl‎

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
# baseURI: http://qudt.org/2.1/schema/facade/qudt
2+
# imports: http://qudt.org/2.1/schema/shacl/qudt
3+
# imports: http://qudt.org/2.1/schema/extensions/functions
4+
# imports: http://qudt.org/2.1/collection/qa/all
5+
6+
@prefix owl: <http://www.w3.org/2002/07/owl#> .
7+
@prefix qudt: <http://qudt.org/schema/qudt/> .
8+
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
9+
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
10+
@prefix sh: <http://www.w3.org/ns/shacl#> .
11+
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
12+
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
13+
14+
<http://qudt.org/2.1/schema/facade/qudt>
15+
a owl:Ontology ;
16+
owl:imports <http://qudt.org/2.1/schema/shacl/qudt> ;
17+
owl:versionInfo "Created with TopBraid Composer" ;
18+
rdfs:comment "Facade graph for single place to redirect QUDT schema imports. Note that currently, the functions import uses SPIN and OWL.";
19+
rdfs:label "QUDT SCHEMA Facade graph - v2.1.37" ;
20+
.

‎libraries/qudt/SCHEMA_QUDT-skos-subset.ttl‎

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
# baseURI: http://qudt.org/2.1/schema/extensions/skos
2+
# imports: http://qudt.org/2.1/schema/facade/qudt
3+
# imports: http://www.w3.org/2004/02/skos/core
4+
# prefix: qudt-skos
5+
6+
@prefix owl: <http://www.w3.org/2002/07/owl#> .
7+
@prefix qudt: <http://qudt.org/schema/qudt/> .
8+
@prefix qudt-skos: <http://qudt.org/2.1/schema/extensions/skos#> .
9+
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
10+
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
11+
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
12+
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
13+
14+
<http://qudt.org/2.1/schema/extensions/skos>
15+
a owl:Ontology ;
16+
owl:imports <http://qudt.org/2.1/schema/facade/qudt> ;
17+
owl:imports <http://www.w3.org/2004/02/skos/core> ;
18+
owl:versionInfo "Created with TopBraid Composer" ;
19+
.
20+
qudt:Concept
21+
rdfs:subClassOf skos:Concept ;
22+
.
23+
qudt:generalization
24+
rdfs:subPropertyOf skos:broader ;
25+
.

0 commit comments

Comments
 (0)