This course will cover formal ontology based on the Suggested Upper Merged Ontology (SUMO) and its associated Sigma knowledge engineering environment. The book "Ontology: A Practical Guide" will serve as the textbook for the course. The first session will cover general topics in formal logic, symbol grounding, rationale for choosing a particular logic. Students will also install and setup the Sigma system to prepare for the exercises in the remainder of the week. The second day will consist of a detailed introduction to SUMO including the structure of its taxonomy, major relations and domain ontologies. Students will do some introductory exercises. The third day will cover more detailed exercises and focused ontology development. The fourth day will cover inference using the Sigma system. The fifth day will cover translation of language to logic using SUMO.
Basic computer science (some programming)
Adam Pease |
Email: adampease AT earthlink DOT net
Homepage: http://www.adampease.org/professional
Bio: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”
|