Ontology Course Schedule

Lesson 1

What is Semantics?
Question: Are regular expressions a formal language?

Taming Digital Volatility
Question: What sorts of computer software systems can benefit from an ontology?

Formal Ontology

Types and Type Definitions in SUMO

Instances Sets and Classes: (Part 1, Part 2, Part 3)

Truth Values Functions Terms and Sentences

TODO: Exercise 2
. You can correct your own mistakes on syntax and types if you skip ahead a bit to install Sigma and SUMOjEdit, checking your formulas in SUMOjEdit with Plugins->SUMOjEditPlugin->Check for SUO-KIF Errors

Lesson 2

Synonyms and Ontology

Sigma tutorial

Installing Sigma (part 1, part 2, part 3)

Introduction to SUMOjEdit

TODO: Exercise 3 - https://www.ontologyportal.org/CBS6834.html

Lesson 3

Time and Temporal Relations in the Suggested Upper Merged Ontology

CaseRoles: Representing action sentences in SUMO

Ontology Talk: Paraphrasing Logic (parts 1 and part 2)

Ontology Talk: Contradictions: What are they and how to model them

Ontology Talk: Formalizing "Cruise Ship" in SUMO

Ontology Talk: Formalizing "Carabiner" in SUMO

TODO: Exercises from book chapter 4

Lesson 4

TODO: Exercise 5 - formalize one of: Tonsillitis, Tonsilectomy, Endoscopy. Add mapping to WordNet (instead of exercise adding "kangaroo")

Lesson 5

OntologyTalk: Demystifying Inference: part 1, part 2, part 3)

TODO: Exercise 6 - CNF - https://www.ontologyportal.org/CBS6834.html

Lesson 6

A propositional logic proof with E

What logic is needed to Represent Language

TODO: Exercise 7 - https://www.ontologyportal.org/CBS6834.html

Lesson 7

Lesson 8

Webmaster