Formal Ontology

Adam Pease
WPI Alumnus Program Manager & Director of Knowledge Systems
Teknowledge, Palo Alto, CA
M.S. Computer Science, WPI, 1990
B.S. Computer Science, WPI, 1989

January 24, 2003
11 a.m. - 12 noon
Fuller Labs 320

Abstract

This talk will cover advances in formal ontologies specified in logic. The Suggested Upper Merged Ontology (SUMO), a free, formal upper ontology will be described. SUMO contains roughly 1000 terms, each of which has a set of axioms that define it. SUMO has been mapped by hand to the 100,000 word senses in the WordNet natural language lexicon. Open issues in formal ontology will be surveyed. Also covered will be applications of SUMO to formal reasoning and natural language understanding.

Biography

Adam Pease is Program Manager and Director of Knowledge Systems at Teknowledge in Palo Alto CA where he leads a team conducting research in ontology and formal reasoning. He and his team participate in the DARPA Agent Markup Language, DARPA Rapid Knowledge Formation, and IEEE Standard Upper Ontology projects. Adam has also worked at the NASA Ames Research Center, and the Naval Undersea Warfare Center. He has BS and MS degrees from Worcester Polytechnic Institute

Host

Prof. David Brown

Refreshments will be served in FL 320 beginning at 10:50 a.m.

Maintained by webmaster@wpi.edu
Last modified: Sep 27, 2006, 16:05 EDT