What does the Inference Engine do?
The Inference Engine provides a mechanism for interpreting the semantics of constructs of an ontology language, represented as a set of language-specific rules. The rules are used to answer queries when the requested fact is not immediately available but must be inferred from available facts. The Inference Engine of the IBM Ontology Management System was built by using IBM ABLE (Agent Building and Learning Environment) technology.