Reasoning and Inference

reasoning with DAML+OIL allows us to merge graphs and/or infer additional statements
these capabilities have been implemented within special purpose (AI) tools, but are not yet in the mainstream