Part 5: Ontologies. Logic and Ontologies Up to now we have studied Logic Languages for Knowledge Representation and Reasoning: –in both static and dynamic.