Hi David,
His work was in defining a more precise semantics using SUMO for a
computer security standard called the "Common Criteria for Information
Technology Security Evaluation". <http://www2.imm.dtu.dk/~robin/CC/>
has some description and references. (01)
Adam (02)
David Whitten wrote:
> Adam,
> would you mind outlining the work that was done by Robin Sharp
> to win the first annual SUMO prize?
>
> I'm sure the community is eager to hear of a success such as this
> advancing the
> state of the art in practical ontologies.
>
> David
>
> On 7/31/07, *Adam Pease* <adampease@xxxxxxxxxxxxx
> <mailto:adampease@xxxxxxxxxxxxx>> wrote:
>
> Dear Colleague,
> Following the success of last year's competition, and the award of
> the SUMO prize to Robin Sharp of the Technical University of Denmark, we
> are announcing the second annual SUMO prize for the best open source
> ontology extension of SUMO.
>
> The SUMO prize is for US$3000.00 will be awarded to the best open source
> project that extends SUMO. Entries will be due electronically to Adam
> Pease (apease [at] articulatesoftware [dot] com) by December 1, 2007.
> Awards will be made December 31, 2007. Entries should be SUO-KIF files
> that extend SUMO and its domain ontologies, and conform to them.
>
> In addition to the logical soundness of the ontology with respect to
> the
> SUMO ontologies, entries will be judged on several criteria:
>
> * Degree of formalization - is the ontology fully specified with
> rules or just a taxonomy or collection of basic relational statements?
> * Scope and coverage of the ontology - is it just a few terms, or
> hundreds?
> * Does the ontology cover a coherent new topic or domain?
> * Actual utility of the ontology in an application
>
> Further details are available at <
> http://www.ontologyportal.org/prize.html>
>
> Please feel free to circulate this notice to your students and
> colleagues and any mailing lists you feel appropriate.
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Subscribe/Config:
> http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> <http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/>
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> <mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx>
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
> <mailto:ontolog-forum@xxxxxxxxxxxxxxxx>
>
> (03)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (04)
|