Re: SUO: Almost-Final Ballot Questions
Jim,
As long as it doesn't change the timing of the vote, I'd like to make
two modifications to my motion, to address the issues raised by Frank about
the conformance clause and Robert to mention collaboration. Since the
original motion, we've also released some minor revisions to SUMO, so I've
referenced the latest version. I've also added a reference in the
"background" section to our XML translation of SUMO. Let me know if this
updated motion needs to be seconded again. Here's the revised 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.52 [April 25,
2003] posted at:
<http://ontology.teknowledge.com/cgi-bin/cvsweb.cgi/~checkout~/SUO/Merge.txt?rev=1.49&content-type=text/plain>
(containing the ontology) and
<http://ontology.teknowledge.com:8080/rsigma/FormalSUOdraft.rtf>
(containing the text of the formal standards proposal) with the intent of
developing it into a final SUO document. There is further intent to
collaborate with the SUO group working on a joint library of modules project.
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>
- XML translation of SUMO
<http://ontology.teknowledge.com:8080/rsigma/Merge-XML.txt> and KIF to XML
translator <http://ontology.teknowledge.com:8080/rsigma/KIF2XML.txt>
- 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.