DFL - A Dialog Based Integration of Concept and Rule Reasoners

DFL is a system that integrates a Description Logic reasoner and an F-Logic rule reasoner. The integrated system gives rise to a rich dialog between its components, since the DL inferences can trigger new rule inferences, and rule inferences can trigger new DL inferences. The DFL system is the first to support a true dialog between a DL and a rule reasoners, that operate under different semantical policies, e.g., the Open World Assumption for the DL reasoner, and the Closed World Assumption for the Rule reasoner. This architecture generalizes all existing hybrids of descriptions and rules