AIC Seminar Series
Formal Ontology and the Suggested Upper Merged Ontology (SUMO)
Notice: Hosted by Rodrigo Braz.
Date: 2011-06-16 at 16:00
Location: EJ228 (SRI E building) (Directions)
This talk presents an overview of ontology, including 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. 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
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"
Please arrive at least 10 minutes early as you will need to sign in by
following instructions by the lobby phone at Building E. SRI is located
at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the parking
lots off Fourth Street. Detailed directions to SRI, as well as maps, are
available from the Visiting AIC web page.
There are two entrances to SRI International located on Ravenswood Ave.
Please check the Builing E entrance signage.
©2016 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493