Reasoning Brokerage: New Reasoning Strategies

Abstract

Once a formal representation of data is available an important issue is to infer additional aspects out of this knowledge base. But according to the type of representation scheme chosen, different techniques can be applied or gain better or more accurate results. A reasoning broker system offers the possibility to apply strategies for selecting the best reasoning system, or for letting run different reasoners in parallel. In this article a reasoning broker system enabling the usage and integration of remote reasoners is presented. Additionally, the new reasoning capability of anytime reasoning has been developed and integrated into the reasoning broker.