Ontology reasoning

The process of deducing a conclusion from a set of premises based on the principles of ontology.