Entailment and inference

Deriving facts that follow from stated ones plus a schema or ontology, for example that a member of a subclass is also a member of its superclass.

builds on

• Ontology (information science) concept [src]