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).
Additional Information on this Subject from Wikipedia
|Wikipedia provides a detailed overview of many this wiki's concepts. This wiki provides a mashup to Wikipedia to provide an enriched reference source for Concept Articles. You may only edit the following article by being logged on directly to Wikipedia.|