Banner

 

Topic:

Formal Ontology

Abstract:

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. A detailed description of first order logic is provided. Issues of the capabilities and tradeoffs in first order logic inference are explored. Several exercises are included in the tutorial in order to maximize audience understanding of the concepts and provide the basics needed for ontology creation. The SUMO is also described in detail, along with its mappings to the WordNet lexicon.

Recommended Reading:

·         Niles, I., & Pease, A., (2001), Toward a Standard Upper Ontology, in Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS-2001), Chris Welty and Barry Smith, eds..

http://home.earthlink.net/~adampease/professional/FOIS.pdf

·         Niles, I., and Pease, A., (2003). Linking Lexicons and Ontologies: Mapping WordNet to the Suggested Upper Merged Ontology, Proceedings of the IEEE International Conference on Information and Knowledge Engineering, pp 412-416.

http://home.earthlink.net/~adampease/professional/Niles-IKE.pdf

·         Covered material

www.ontologyportal.org

Bio of the Speaker:

Adam Pease picture

Adam Pease is a computer consultant specializing in research and applications in ontology, natural language understanding and formal reasoning. Adam Pease is the Principal Consultant and CEO of Articulate Software. Formerly, he was Director of Knowledge Systems at Teknowledge, where he led a group conducting research and applications in ontology and knowledge based systems. His current work is on the Suggested Upper Merged Ontology, Arabic WordNet with Ontology, and Sigma ontology environment. His previous projects include Rapid Knowledge Formation, DARPA Agent Markup Language, High Performance Knowledge Bases and the Core Plan Representation.

Homepage: http://home.earthlink.net/~adampease/

E-mail: adampease@earthlink.net

Additional Material (References, Slides & Lecture Notes):