Inference Concept

Inference is the act or process of deriving logical conclusions from premises known or assumed to be true. In the case of semantic technologies, inferencing uses first-order logic to infer (draw) new assertions or axioms based on those already stated within the knowledge base. For example, to say John and Mary are married and John has a son allows an inference to be drawn that Mary also has a son (whether biological or not).