SUO: Re: SUMO vote
I second Adam's motion.
Jay
----- Original Message -----
From: "Adam Pease" <apease@ks.teknowledge.com>
To: <standard-upper-ontology@ieee.org>
Sent: Tuesday, May 13, 2003 16:06
Subject: SUO: SUMO vote
>
> Folks,
> As per Jim's suggestion, now that the list problems have been resolved,
> I'm restating the SUMO motion.
>
>
> Motion: I move that the IEEE P1600.1 Standard Upper Ontology Working Group
> commence
> work on the Suggested Upper Merged Ontology (SUMO) version 1.51 [April 11,
> 2003] posted at:
>
<http://ontology.teknowledge.com/cgi-bin/cvsweb.cgi/~checkout~/SUO/Merge.txt
?rev=1.49&content-type=text/plain>
> with the intent of developing it into a final SUO document.
>
>
> Comment: My understanding is that the motion needs a second. At that
> point, there is discussion on the motion and then the chair may bring it
up
> to the group for a vote.
>
>
> Background: Information which is not part of the motion or proposed
starter
> document, but which may be helpful in appreciating its value, is as
> follows. The SUMO was first released on Dec 9, 2000. The first and all
> subsequent revisions have been public releases. SUMO is being used by (a
> small number) of companies and research institutions around the world. It
> has been subject to formal verification by an automated theorem prover.
It
> has been divided into 11 modules to simplify reuse. SUMO is small enough
> to be easily learned (approximately 1000 terms, 4000 axioms, 750 rules)
but
> large enough to cover, at a high level, any domain of interest. It is
> well-axiomatized, including many rules, not just a type structure. The
> language it is written in is defined at
> <http://suo.ieee.org/suo-kif.html>. SUMO has been written independently
of
> any particular theorem prover and has been used in several different
> systems including LOOM and SNARK. SUMO has also been used in the creation
> of a number of other freely available products, as listed below
>
> - WordNet Mappings: We've now mapped, by hand, all of the
approximately
> 100,000 WordNet synsets to SUMO concepts. In addition to the nouns, we've
> mapped the verbs, adjectives, and
> adverbs. <http://ontology.teknowledge.com/cgi-bin/cvsweb.cgi/SUO/>
>
> - SUMO-Compliant Domain Ontologies. These include ontologies for
> weapons of mass destruction and terrorism, Quality of Service ontology,
> covering computer systems and networks, Ecommerce Services ontology,
> Ontology of biological viruses, Financial ontology, Ontology of terrain
> features, an ontology of Government, and a Periodic table of the elements.
> <http://ontology.teknowledge.com:8080/rsigma/index.html#download>
>
> - LOOM Translator for SUMO
>
<http://einstein.teknowledge.com:8080/Sumo2Loom/Sumo2Loom_register.jsp?fileT
ype=.tar&fileName=sumo2loom_b7.tar>
>
> - DAML translation of SUMO
<http://reliant.teknowledge.com/DAML/SUMO.daml>
>
> - open source browser download for SUMO
<http://virtual.cvut.cz/kifb/en/>
>
> - on-line SUMO browser
> <http://ontology.teknowledge.com:8080/rsigma/SKB.jsp?req=SC&skb=SUMO>
>
> All of these items are freely available through our Ontology home
> page: <http://ontology.teknowledge.com> or directly at the links above.
>
>
> Adam
>
>