CORNETTO

Cornetto Workshop on Thursday, June 7, 2007

The next Cornetto workshop will take place at the Free University, room D146 (building Medische Wetenschappen, Van der Boechorststraat 7 - 9). On this workshop, we will present the intermediate results of the project.

Agenda

9:00 - 9:30	Coffee and welcome
9:30 - 10:30	Project overview (Piek Vossen)
10:30 - 11:00	Database design (Katja Hofmann)
11:00 - 11:15	Coffee break
11:15 - 12:15	Alignment of resources (Piek Vossen) Content design and progress (Isa Maks, Roxane Segers)
12:15 - 13:00	User-scenario's (Erik Tjong Kim Sang)
13:00 - 14:30	Lunch
14:30 - 16:00	Presentation by Adam Pease on SUMO, entitled: "Formal Ontology"
16:00	Drinks

Invited Speaker: Adam Pease - Formal Ontology

This talk presents an overview of ontology, including how formal ontology compares to less formal approaches and how the Suggested Upper Merged Ontology (SUMO) (http://www.let.vu.nl/onderzoek/projectsites/cornetto/www.ontologyportal.org) compares to other formal ontologies. Classes of ontology-based applications are introduced. A detailed description of first order logic is provided. Issues of the capabilities and tradeoffs in first order logic inference are explored. Several exercises are included in the tutorial in order to maximize audience understanding of the concepts and provide the basics needed for ontology creation. The SUMO is also described in detail, along with its mappings to the WordNet lexicon.

Adam Pease has led research in ontology, linguistics, and formal inference, including development of the Suggested Upper Merged Ontology (SUMO), the Controlled English to Logic Translation (CELT) system, the Core Plan Representation (CPR), and the Sigma knowledge engineering environment. Sharing research under open licenses, in order to achieve the widest possible dissemination and technology transfer, has been a core element of his research program and his products have been downloaded by thousands of people around the world.