Login [Center] Logout Join Us Guidelines  I  中文  I  CQI

Formal Ontology and the Suggested Upper Merged Ontology

Speaker: Adam Pease University
Time: 2014-05-21 15:00-2014-05-21 16:00
Venue: FIT 1-222

Abstract:


This talk presents an overview of ontology and its applicability to data science. It examines how formal ontology compares to less formal approaches and how the Suggested Upper Merged Ontology (SUMO) (www.ontologyportal.org) compares to other formal ontologies. Classes of ontology-based applications are introduced, including those that involve data cleaning, data integration and information extraction. 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.

Short Bio:

Adam Pease is a researcher and consultant who has led work in ontology, linguistics, and formal inference, including development of the Suggested Upper Merged Ontology (SUMO), the Controlled English to Logic Translation (CELT) system, and the Sigma knowledge engineering environment. He is the author of the book “Ontology: A Practical Guide” which he uses in his graduate-level course on ontology.