Part 7: Rules and Ontologies. Combining rules and ontologies We now know how to represent (possibly incomplete, evolving, etc) knowledge using rules,
