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?fileType=.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