1.0.0 The QUDT Ontologies are issued under a Creative Commons Attribution Share Alike 3.0 United States License. Attribution should be made to TopQuadrant, Inc. James E. Masters Holger Knublauch A library of SPIN functions and templates to operate on the NExIOM NASA Quantities, Units, Dimentions and Data Types ontology. 1 1 1 Glyph A Glyph is a graphical unit of written language; It is a particular graphical representation, in a particular typeface, of an element of written language. transitive symbol xhtml number xhtml name ξ ξ ξ xi ˜ ˜ Ëœ small tilde ∠ ∠ ∠ angle ⌈ ⌈ ⌈ left ceiling … … … horizontal ellipsis ◊ ◊ â—Š lozenge σ σ σ sigma Ε Ε Î• Epsilon ‾ ‾ ‾ overline ω ω ω omega Π Π Î  Pi ‰ ‰ ‰ per mille α α α alpha • • • bullet Υ Υ Î¥ Upsilon ∏ ∏ âˆ� prod ι ι ι iota › › › single right angle quotation β β β beta Inter Argument 2-3 : {?predicate} true true true if the constraint is checked against sub-properties of the predicate the constraining predicate pred 0 -2 predicate transitive true Inter Argument 2-3 Inter Argument Constraint ρ ρ Ï� rho Λ Λ Î› Lambda — — — em dash ♦ ♦ ♦ diamond the denominator the system of units in which to find the result true true Functions Unit functions true get unit quotient quantitySystem kind1 kind2 unit true the numerator δ δ δ delta ∴ ∴ ∴ therefore true if the result string should be encoded for html the dimension symbol 0 true Dimension functions get dimension symbol Inter Argument 2-1 : {?predicate} the constraining predicate true true true if the constraint is checked against sub-properties of the predicate pred 0 -2 predicate transitive 2-1 Inter Argument Constraint ′ ′ ′ minutes ⊕ ⊕ ⊕ circled plus ∪ ∪ ∪ cup ≅ ≅ ≅ approximately equal a unit true A unit system symbol 0 true Deprecated functions get unit dimension symbol ˆ ˆ ˆ modifier letter circumflex accent ‹ ‹ ‹ single left angle quotation Inter Argument 2-4 : {?predicate} true true true if the constraint is checked against sub-properties of the predicate the constraining predicate pred 0 -2 predicate transitive 2-4 Inter Argument Constraint Inter Argument 2-4 : {?predicate} true true true if the constraint is checked against sub-properties of the predicate the constraining predicate pred 0 -2 predicate transitive 4-2 Inter Argument Constraint φ φ φ phi Inter Argument 3-4 : {?predicate} true true true if the constraint is checked against sub-properties of the predicate the constraining predicate pred 0 -2 predicate transitive 4-3 Inter Argument Constraint Inter Argument 4-1 : {?predicate} true true true if the constraint is checked against sub-properties of the predicate the constraining predicate pred 0 -2 predicate transitive 4-1 Inter Argument Constraint − − − minus ‚ ‚ ‚ single low-9 quotation mark ϒ ϒ Ï’ upsilon symbol Ν Ν Î� Nu ♣ ♣ ♣ club Σ Σ Î£ Sigma Œ Œ Å’ capital ligature OE † † † dagger ∝ ∝ âˆ� proportional to „ „ „ double low-9 quotation mark Α Α Α Alpha ∫ ∫ ∫ integral ϑ ϑ Ï‘ theta symbol ∉ ∉ ∉ notin The target unit to convert to. The literal to convert. Must have a qudt:Unit as datatype. oldType value result convert literal Converts a given literal (?arg1) with a unit as datatype (such as "2"^^qudt:Meter) into a target datatype (?arg2). ↔ ↔ ↔ left right arrow ϖ ϖ Ï– pi symbol η η η eta ™ ™ â„¢ trademark ⊥ ⊥ ⊥ perpendicular Φ Φ Î¦ Phi œ œ Å“ small ligature oe ″ ″ ″ seconds ∅ ∅ ∅ empty μ μ μ mu ↑ ↑ ↑ up arrow ∨ ∨ ∨ or ” ” â€� right double quotation mark ο ο ο omicron θ θ θ theta š š Å¡ small S with caron ∃ &exists; ∃ exists λ λ λ lambda ↓ ↓ ↓ down arrow ∞ ∞ ∞ infinity ≠ ≠ ≠ not equal ∩ ∩ ∩ cap ≥ ≥ ≥ greater or equal ⌊ ⌊ ⌊ left floor ⊄ ⊄ ⊄ not subset of ⊂ ⊂ ⊂ subset of ∋ ∋ ∋ ni γ γ γ gamma χ χ χ chi the system of units in which to find the result get unit product the denominator the numerator true quantitySystem kind1 kind2 unit true ’ ’ ’ right single quotation mark ψ ψ ψ psi Χ Χ Î§ Chi ↵ ↵ ↵ carriage return arrow ƒ ƒ Æ’ f with hook – – – en dash Š Š Å  capital S with caron Θ Θ Î˜ Theta Ζ Ζ Î– Zeta ∇ ∇ ∇ nabla ← ← â†� left arrow ∑ ∑ ∑ sum Ρ Ρ Î¡ Rho Ω Ω Î© Omega “ “ “ left double quotation mark ς ς Ï‚ sigmaf Μ Μ Îœ Mu Τ Τ Î¤ Tau ∼ ∼ ∼ similar to the input string result true Functions get xhtml string Ÿ Ÿ Ÿ capital Y with diaeres ∗ ∗ ∗ lowast Δ Δ Î” Delta Ο Ο ÎŸ Omicron ‡ ‡ ‡ double dagger ⌋ ⌋ ⌋ right floor € € € euro Inter Argument 3-1 : {?predicate} true true true if the constraint is checked against sub-properties of the predicate the constraining predicate pred 0 -2 predicate transitive 3-1 Inter Argument Constraint Ψ Ψ Î¨ Psi Inter Argument 3-2 : {?predicate} true true true if the constraint is checked against sub-properties of the predicate the constraining predicate pred 0 -2 predicate transitive 3-2 Inter Argument Constraint Ι Ι Î™ Iota Β Β Î’ Beta ≈ ≈ ≈ almost equal τ τ Ï„ tau Inter Argument 3-4 : {?predicate} the constraining predicate true true true if the constraint is checked against sub-properties of the predicate pred 0 -2 predicate transitive 3-4 Inter Argument Constraint ⊇ ⊇ ⊇ superset or equal ε ε ε epsilon Η Η Î— Eta κ κ κ kappa ⊆ ⊆ ⊆ subset or equal ⊃ ⊃ ⊃ superset of υ υ Ï… upsilon ‘ ‘ ‘ left single quotation mark ♠ ♠ â™  spade true A quantity system true if the result string should be encoded for html system s e ?0 -3 ?1 3 label Vector_{?s}{?e} new dim:{?label} a quantity kind symbol 0 true Quantity functions get quantity kind dimension symbol ζ ζ ζ zeta ν ν ν nu Γ Γ Î“ Gamma ≤ ≤ ≤ less or equal √ √ √ square root ♥ ♥ ♥ heart ∂ ∂ ∂ part ∈ ∈ ∈ isin ⌉ ⌉ ⌉ right ceiling ∀ ∀ ∀ for all ≡ ≡ ≡ equivalent ⊗ ⊗ ⊗ circled times Ξ Ξ Îž Xi Κ Κ Îš Kappa ⋅ ⋅ â‹… dot operator ∧ ∧ ∧ and π π Ï€ pi → → → right arrow A unit system an index into the base dimension enumeration a unit the string to build system bde sd kind 0 -2 genKind base baseKind v succ 1 next concat result get unit dimension symbol (internal) is dimension quotient a quantity kind start index in enumeration true Internal functions the quantity system bde base baseKind succ 1 next isBaseQuotient a quantity kind a quantity kind the string to build bde sd 0 -2 genKind base baseKind v succ 1 next concat result true if the string returned should be encoded for html a quantity kind A quantity system an index into the base dimension enumeration get quantity kind dimension symbol (internal) the dimension true 0 an optional integer index into enumeration true if the result string should be encoded for html true a dummy string to carry the result quantitySystem bde base kind v succ 1 next concat xhtmlString get dimension symbol - internal a buffer string the input string char 1 0 rest 1 1 xhtml buf result 0 get xhtml string - internal is dimension product a quantity kind the quantity system a quantity kind a quantity kind bde base baseKind succ 1 next isBaseProduct start index in enumeration kind pred 0 -2 pred 0 -2 predicate transitive result unitSystem unitPred 0 -2 unit pred a unit of measure a unit of measure kind1 kind2 0 -2 0 -2 comparable units 0 pred 0 -2 unit base e spec 0 -2 b {?b}^{?e} {?b} 1 0 result the original unit of measure true true true if the constraint is checked against sub-properties of the predicate predicate transitive numerical value to convert v e x y z get dimension product true true a quantity kind the quantity system a quantity kind This function computes the product of two quantity kinds that are defined within the same system; arg1 - a quantity system arg2 - a quantity kind arg3 - a quantity kind returns the product of arg2 and arg3 the quantity system the quantity system a quantity kind for the system a quantity kind pred M2 0 predicate transitive the dimension vector the base quantity kind a quantity kind a quantity kind a quantity kind is dimension product the quantity system true true true result {?b}^{?e} {?b}^{?e} {?b} 1 e 0 expString 2 0 .0 the unit system a quantity kind 0 -2 x y z the quantity system true the input quantity kind the system of quantities true get coherent unit a quantity kind O2 a quantity kind get vector unit string sd false get quantity kind base exponent a base quantity kind for the system true is base quotient value O1 M1 result exp b base element 0 -2 true true if the result should be encoded for html the dimension vector get vector symbol - internal the target unit of measure Converts a numerical value (a xsd:double) from one unit of measure (specified in arg2) to another (specified in arg3). The source and target units of measure must be comparable (qudtspin:comparableUnits). convert glyph xhtmlName result the base quantity kind a quantity kind a quantity kind is base product the quantity system a quantity kind a quantity kind pred 0 -2 the constraining predicate true true true if the constraint is checked against sub-properties of the predicate true true true if the constraint is checked against sub-properties of the predicate the input string string 1 a quantity kind true a quantity kind the quantity system is dimension quotient true a quantity kind Inter Argument 1-2 : {?predicate} the constraining predicate 1-2 Inter Argument Constraint the constraining predicate get dimension quotient true get xhtml glyph encoding Inter Argument 1-4 : {?predicate} 1-4 Inter Argument Constraint Inter Argument 1-3 : {?predicate} 1-3 Inter Argument Constraint