Points to Ponder:
- What is the right level of generality to knowledge?
- First order logic is monotonic.
- RDF is isomorphic to databases.
- Learning background knowledge is harder than learning instance knowledge.
- Background knowledge is small but universal.
- Boolean satisfiability is NP complete problem.
