[Om] SWEET ontology

[Christoph Lange]

On Fri, Jun 19, 2009 at 4:13 PM, Professor James
Davenport<jhd at cs.bath.ac.uk> wrote:
> While chasing up the Ontolog units activity (thanks, Christoph), I can
> across this, which seems to have elements like math:hasPower,
> math:productOf
>
> Has anyone come across this before?

Interesting! I've never heard of these ontologies before. I had a
quick look into some of them, and my opinion is:

Seems somewhat related to the MONET ontologies -- does anyone of the
people involved into MONET know more about SWEET?

Only covers those areas of math that are interesting for the SWEET
people (i.e. OpenMath has a much broader coverage)

While OWL is less expressive than OpenMath, they use this expressivity
wisely. What I particularly like is the user-friendliness of named
properties for connecting things. I can't recall an exact
correspondence now, but I will give an example that is similar to what
we know from OpenMath.  Imagine an interval with a numeric start and
end point.  In OpenMath, you'd define some two-argument symbol that
constructs an interval, and then say, e.g., OMA(interval, from, to),
where from and to are arbitrary OM objects (of some type).  But from
looking at this expression, without human intuition and without having
read the descriptions and documentation in the CD, how should you know
that the first argument is the start point and the second is the end
point?  In SWEET, you'd instead link the start and endpoint to the
interval, e.g. saying (now using the Turtle RDF notation). The exact
class and property names are made up, but should be similar to SWEET:

_:i rdf:type math:Interval ;
    math:hasStart _:s ;
    math:hasEnd _:e .
_:s rdf:type math:Number ;
    math:hasValue 5 .
_:e rdf:type math:Multiplication ;
    math:hasFirstOperand ... ;
    math:hasSecondOperand ... .

(Could we take this as a motivation for eventually introducing named
arguments into OpenMath?)

Cheers,

Christoph

-- 
Christoph Lange, http://de.wikipedia.org/wiki/Benutzer:Langec, ICQ# 51191833