Oct 13
1. Go over homework.
2. More examples of first order logic :
Do textbook family example (last week's notes) in class?
- m'th cousin n'th removed ... how does that go into knowledge base? (answer: recursion)
look at two ontology "in the wild" example
For next week : (discuss how this sound first; I haven't posted yet.)
- read through end of ontology chapter
- work on midterm project : finish your search engine ; due Tues following
- explore semantic web and open cyc