TOCS Event-Silicon Valley Campus - Carnegie Mellon University

TOCS Event


Adam Pease
Senior Researcher, Rearden Commerce


Nov. 15, 1:30pm PT



CMUSV, Rm 118 [directions]

[recorded webcast]

Title: Formal Ontology and the Suggested Upper Merged Ontology (SUMO)
Abstract: An ontology can be considered a kind of dictionary, stated in a mathematical logic, that is intended for computers to read and understand. This talk describes how formal ontology compares to less formal approaches and how the Suggested Upper Merged Ontology (SUMO) ( compares to other formal ontologies. Classes of ontology-based applications are introduced. Issues of the capabilities and tradeoffs in first order logic inference are explored. The SUMO is also described in detail, along with its mappings to the WordNet lexicon.
Speaker Bio: 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. He is the author of the new book “Ontology: A Practical Guide”