Showing
4 changed files
with
55 additions
and
5 deletions
... | @@ -325,6 +325,46 @@ app:isDatatypeEnumeration | ... | @@ -325,6 +325,46 @@ app:isDatatypeEnumeration |
325 | spin:private "true"^^xsd:boolean ; | 325 | spin:private "true"^^xsd:boolean ; |
326 | spin:returnType xsd:boolean . | 326 | spin:returnType xsd:boolean . |
327 | 327 | ||
328 | +app:isDatatypeRange | ||
329 | + rdf:type spin:Function ; | ||
330 | + rdfs:comment "Checks whether a given resource (typically the range of a property) is a datatype. It must either be equal to rdfs:Literal or an instance of rdfs:Datatype."^^xsd:string ; | ||
331 | + rdfs:label "is datatype range"^^xsd:string ; | ||
332 | + rdfs:subClassOf app:Functions ; | ||
333 | + spin:body | ||
334 | + [ rdf:type sp:Ask ; | ||
335 | + sp:where ([ rdf:type sp:Filter ; | ||
336 | + sp:expression | ||
337 | + [ rdf:type sp:bound ; | ||
338 | + sp:arg1 [ sp:varName "range"^^xsd:string | ||
339 | + ] | ||
340 | + ] | ||
341 | + ] [ rdf:type sp:Filter ; | ||
342 | + sp:expression | ||
343 | + [ rdf:type sp:or ; | ||
344 | + sp:arg1 [ rdf:type sp:eq ; | ||
345 | + sp:arg1 [ sp:varName "range"^^xsd:string | ||
346 | + ] ; | ||
347 | + sp:arg2 rdfs:Literal | ||
348 | + ] ; | ||
349 | + sp:arg2 [ rdf:type sp:exists ; | ||
350 | + sp:elements ([ sp:object rdfs:Datatype ; | ||
351 | + sp:predicate rdf:type ; | ||
352 | + sp:subject | ||
353 | + [ sp:varName "range"^^xsd:string | ||
354 | + ] | ||
355 | + ]) | ||
356 | + ] | ||
357 | + ] | ||
358 | + ]) | ||
359 | + ] ; | ||
360 | + spin:constraint | ||
361 | + [ rdf:type spl:Argument ; | ||
362 | + rdfs:comment "The range to check."^^xsd:string ; | ||
363 | + spl:predicate arg:range ; | ||
364 | + spl:valueType rdfs:Resource | ||
365 | + ] ; | ||
366 | + spin:returnType xsd:boolean . | ||
367 | + | ||
328 | app:isImageURL | 368 | app:isImageURL |
329 | rdf:type spin:Function ; | 369 | rdf:type spin:Function ; |
330 | rdfs:comment "Checks whether a given URL represents an image based on its suffix (.jpg, .gif or .png are recognized by default, but others can be added by putting an imageURLSuffix triple into a SWP file)."^^xsd:string ; | 370 | rdfs:comment "Checks whether a given URL represents an image based on its suffix (.jpg, .gif or .png are recognized by default, but others can be added by putting an imageURLSuffix triple into a SWP file)."^^xsd:string ; |
... | @@ -1208,6 +1248,11 @@ arg:property | ... | @@ -1208,6 +1248,11 @@ arg:property |
1208 | rdfs:label "property"^^xsd:string ; | 1248 | rdfs:label "property"^^xsd:string ; |
1209 | rdfs:subPropertyOf sp:arg . | 1249 | rdfs:subPropertyOf sp:arg . |
1210 | 1250 | ||
1251 | +arg:range | ||
1252 | + rdf:type rdf:Property ; | ||
1253 | + rdfs:label "range"^^xsd:string ; | ||
1254 | + rdfs:subPropertyOf sp:arg . | ||
1255 | + | ||
1211 | arg:resource | 1256 | arg:resource |
1212 | rdf:type rdf:Property ; | 1257 | rdf:type rdf:Property ; |
1213 | rdfs:label "resource"^^xsd:string ; | 1258 | rdfs:label "resource"^^xsd:string ; | ... | ... |
This diff is collapsed. Click to expand it.
... | @@ -18,7 +18,7 @@ body { | ... | @@ -18,7 +18,7 @@ body { |
18 | .appAutoComplete { | 18 | .appAutoComplete { |
19 | } | 19 | } |
20 | 20 | ||
21 | -.appBaseFont, .appObjectWidget, .appLabeledObjectsLabelTD { | 21 | +.appBaseFont, .appObjectWidget, .appLabeledObjectsTable { |
22 | font-size: 12px; | 22 | font-size: 12px; |
23 | } | 23 | } |
24 | 24 | ||
... | @@ -30,7 +30,11 @@ body { | ... | @@ -30,7 +30,11 @@ body { |
30 | } | 30 | } |
31 | 31 | ||
32 | .appLabeledObjectsBodyTD { | 32 | .appLabeledObjectsBodyTD { |
33 | - padding: 0px; | 33 | + padding: 0px 0px 1px 0px; |
34 | +} | ||
35 | + | ||
36 | +.appLabeledObjectsTabularLabel { | ||
37 | + width: 160px; | ||
34 | } | 38 | } |
35 | 39 | ||
36 | .appLabeledObjectsTable { | 40 | .appLabeledObjectsTable { |
... | @@ -228,14 +232,14 @@ td.appPropertyWidgetObjectTD { | ... | @@ -228,14 +232,14 @@ td.appPropertyWidgetObjectTD { |
228 | 232 | ||
229 | .appSubTitle { | 233 | .appSubTitle { |
230 | color: gray; | 234 | color: gray; |
231 | - font-size: 18px; | 235 | + font-size: 15px; |
232 | font-weight: bold; | 236 | font-weight: bold; |
233 | margin-bottom: 6px; | 237 | margin-bottom: 6px; |
234 | } | 238 | } |
235 | 239 | ||
236 | .appTitle { | 240 | .appTitle { |
237 | color: gray; | 241 | color: gray; |
238 | - font-size: 22px; | 242 | + font-size: 18px; |
239 | font-weight: bold; | 243 | font-weight: bold; |
240 | margin-bottom: 14px; | 244 | margin-bottom: 14px; |
241 | } | 245 | } | ... | ... |
-
Please register or login to post a comment