Ontology Course

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

Exercise 1
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

Exercise 2

Lesson 2

Synonyms and Ontology

Sigma tutorial

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

Introduction to SUMOjEdit

Exercise 3

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

Exercises from book chapter 4
WordNet: exercise 4

Lesson 4

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)

Exercise 6 - CNF

Lesson 6

A propositional logic proof with E

What logic is needed to Represent Language

Exercise 7

Webmaster