Knowledge Representation and Reasoning with Ontologies