Formal Ontology and the Suggested Upper Merged Ontology (SUMO)
| Adam Pease | Rearden Commerce | [Home Page] |
Notice: Hosted by Rodrigo Braz.
Date: Thursday June 16, 2011 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 WordNet lexicon. |
|
|
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 in order to sign in and be escorted to the conference room. SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the visitors lot in front of Building E, and should follow the instructions by the lobby phone to be escorted to the meeting room. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page. ![]()
©2013 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy |