From RDF Semantics ( 2004-02-10) (n.) An act or process of constructing new expressions from existing expressions, or the result of such an act or process. Inferences corresponding to entailments are described as correct or valid . , formal description of a type of inference; , organized system of inference rules; also, software which generates inferences or checks inferences for validity.