Frederic V. Hessman wrote:
> May I suggest that the state of the
> Vocabulary/Thesaurus be fixed by the end of this week - last chance for
> last-minute additions! Whatever you can't find after that must not have
> been very important.
Found 2 biggies. There is extended_sources but not: sources
point_sources alt unresolved_sources.
> Can we find appropriate mathematical
No ontology here. But, if you just want a taxonomy, there is one in the
MathML specification. I attach it for you.
, physical
There are a bunch of physical ontologies from JPL that I used a bit, but
I think one has to pick and choose from it.
http://sweet.jpl.nasa.gov/ontology/
And there is the one that I worked on.
and/or chemical
Sweet has elements in substance.owl.
http://ontology.dumontierlab.com/chemistry-primitive-1.0.owl
just a list of the elements here:
http://ontology.dumontierlab.com/element-primitive
Don't forget Geometry
There is geometry in SWEET.
But, I like this one:
http://archive.astro.umd.edu/ont/Geometry.owl
> vocabularies out there? We could unload a lot of baggage.... In the
> long term, surely there will be available vocabularies for the semantic
> web - everyone can't be expected to re-invent the circle or the
> logarithm. On the other hand, we don't want to use a vocabulary from
> www.viagra.tv - doesn't the IVOA maintain any contacts to some
> international Math/Physics/Chemistry/.... organizations? Isn't there an
> International Virtual Mathematics Chalkboard Association? or an
> International Virtual Testtube Association?
>
> Rob's suggestion of splitting things into the original thesaurus (or at
> least a corrected version of the old thesaurus - mixed cases, underbars,
> and lots of tokens shifted into ALTs) and new additions would be a pain,
> given the amount of cleaning up we've done, but if ya'll want it that
> way and as long as it means that the WG makes a decision about how to
> handle multiple vocabularies: ivorn formats, normative file formats,
> suggested translation infrastructure (e.g. references to
> math:ellipses). If this will take too long, I vote for one giant
> starting vocabulary based upon the IAU but with all the present
> corrections/additions.
>
> Wait a minute - a great idea: wouldn't the IAU/IVOA thesaurus be a GREAT
> place to put all the STC shortcuts?! How else are we to know where to
> find them? Or create a STC shortcut vocabulary as a new, practical, and
> exemplary example.
>
>
> On 8 Oct 2007, at 7:01 pm, Ed Shaya wrote:
>> Lyman alpha absorption system> "absorption_line_systems")
> "Lyman_alpha_forest" (exists, but needed to be NT
Lyman_alpha_absorption_system broader absorption_line_system RT "quasars" "Lyman_alpha_forest"
>> L dwarfL_dwarfs and T_dwarfs are simply not stars. These are brown_dwarfs which are not stars. For the sake of simplicity, I can see leaving such things as stars; including neutron stars, white dwarfs etc. But, is this going to be acceptable to the IAU? The argument is beginning to filter out into the hallway.
> ALT for "L_stars" (unlike "M_stars", which don't have to be dwarfs)
>> T dwarf
> ALT for "T_stars" (Ibid.)
Trouble already. Rob Olling, is in my office, and he insists that
>> dark energy
> "Dark_Energy" (exists)
dark_matter but Dark_Energy?
>> red clump
> "red_giant_clump" BT "giant_branch" RT "metal-rich_stars"
Rob objects here too. Red Clump stars are metal rich helium burning
stars and therefore a kind of horizontal branch stars. The term is
red_clump.
>> red giant bump
> "red_giant_bump" BT "giant_branch"
>> blue loop
> "blue_loop" BT "giant_branch"
>> all of the photmetric systems (ie, Johnson filters (UBVRI) and other >> systems ubvgri, etc) (in a different namespace?)
token elements
cn
ci
csymbol
basic content elements
apply
relationn
function
interval
inverse
sep
condition
declare
lambda
compose
ident
domain
codomain
image
domainofapplication
piecewise
piece
otherwise
arithmetic, algebra and logic
quotient
factorial
divide
max and min
minus
plus
power
rem
times
root
gcd
and
or
xor
not
implies
forall
exists
abs
conjugate
arg
real
imaginary
lcm
floor
ceiling
relations
eq
neq
gt
lt
geq
leq
equivalent
approx
factorof
calculus and vector calculus
int
diff
partialdiff
lowlimit
uplimit
bvar
degree
divergence
grad
curl
laplacian
theory of sets
set
list
union
intersect
in
notin
subset
prsubset
notsubset
notprsubset
setdiff
card
cartesianproduct
sequences and series
sum
product
limit
tendsto
elementary classical functions
exp
ln
log
sin
cos
tan
sec
csc
cot
sinh
cosh
tanh
sech
csch
coth
arcsin
arccos
arctan
arccosh
arccot
arccoth
arccsc
arccsch
arcsec
arcsech
arcsinh
arctanh
statistics
mean
sdev
variance
median
mode
moment
momentabout
linear algebra
vector
matrix
matrixrow
determinant
transpose
selector
vectorproduct
scalarproduct
outerproduct
semantic mapping elements
annotation
semantics
annotation-xml
constant and symbol elements
integers
reals
rationals
naturalnumbers
complexes
primes
exponentiale
imaginaryi
notanumber
true
false
emptyset
pi
eulergamma
infinity
Here is another cut on the same terms:
I. functions
unary arithmetic factorial, minus, abs, conjugate, arg, real, imaginary, floor, ceiling
unary logical not
unary functional inverse, ident, domain, codomain, image
unary elementary classical functions sin, cos, tan, sec, csc, cot, sinh, cosh, tanh, sech,
csch, coth, arcsin, arccos, arctan, arccosh, arccot, arccoth, arccsc, arccsch, arcsec, arcsech,
arcsinh, arctanh, exp, ln, log
unary linear algebra determinant, transpose
unary calculus and vector calculus divergence, grad, curl, laplacian
unary set-theoretic card
binary arithmetic quotient, divide, minus, power, rem
binary logical implies, equivalent, approx
binary set operators setdiff
binary linear algebra vectorproduct, scalarproduct, outerproduct
n-ary arithmetic plus, times, max, min, gcd, lcm
n-ary statistical mean, sdev, variance, median, mode
n-ary logical and, or, xor
n-ary linear algebra selector
n-ary set operator union, intersect, cartesianproduct
n-ary functional fn(deprecated), compose
integral, sum, product operators int, sum, product
differential operator diff, partialdiff
quantifier forall, exists
And another cut on some of the terms:
II. qualifiers and the predefined operators defined as taking qualifiers
qualifiers lowlimit, uplimit, bvar, degree, logbase, interval, condition, domainofapplication, momentabout
operators int, sum, product, root, diff, partialdiff, limit, log, moment forall, exists
n-ary operators plus, times, max, min, gcd, lcm, mean, sdev, variance, median, mode, and, or, xor, union, intersect, cartesianproduct, compose, eq, leq, lt, geq, gt
user defined operators csymbol, ci Received on 2007-10-09Z18:03:15