Plan for week 40

Read up on:

  • First-order logics
  • Ontologies (OWL book?)
  • OWL (OWL book)
  • Description logics (Description logics handbook, chapter 1-2)
  • Tableu / Tabling