Formal Ontology and the Suggested Upper Merged Ontology

演讲人: Adam Pease University
时间: 2014-05-21 15:00-2014-05-21 16:00
地点:FIT 1-222
内容:


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.

个人简介:

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.