%0 Generic %1 Bock2009ReasoningBrokerProtege %A Bock, Jürgen %A Tserendorj, Tuvshintur %A Xu, Yongchun %A Wissmann, Jens %A Grimm, Stephan %D 2009 %K Protégé brokerage herakles reasoning %T A Reasoning Broker Framework for Protégé %U http://protege.stanford.edu/conference/2009/abstracts/S9P1Bock.pdf %X We develop a reasoning broker framework for the combined use of existing OWL reasoners assisted by means for caching of results, scheduling of reasoning tasks and online-selection of appropriate reasoners. Here we demonstrate an integration of the first version of this reasoning broker framework into the Prot´eg´e ontology engineering environment. The demo allows for the configurable combined use of various OWL reasoners with features of parallel execution and runtime-selection of appropriate reasoners.

@misc{Bock2009ReasoningBrokerProtege, abstract = {We develop a reasoning broker framework for the combined use of existing OWL reasoners assisted by means for caching of results, scheduling of reasoning tasks and online-selection of appropriate reasoners. Here we demonstrate an integration of the first version of this reasoning broker framework into the Prot´eg´e ontology engineering environment. The demo allows for the configurable combined use of various OWL reasoners with features of parallel execution and runtime-selection of appropriate reasoners.}, added-at = {2011-12-12T19:01:46.000+0100}, author = {Bock, J\"urgen and Tserendorj, Tuvshintur and Xu, Yongchun and Wissmann, Jens and Grimm, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/273fdfd473b2236e204156383764fc4e4/gergie}, file = {:/home/bock/Documents/Literature/Bock2009ReasoningBrokerProtege.pdf:PDF}, groups = {public}, howpublished = {11th International Prot\'eg\'e Conference, Amsterdam}, interhash = {39166e5c44fd78fe4859b912dcd15586}, intrahash = {73fdfd473b2236e204156383764fc4e4}, keywords = {Protégé brokerage herakles reasoning}, month = {June}, timestamp = {2011-12-13T10:25:10.000+0100}, title = {{A Reasoning Broker Framework for Prot\'eg\'e}}, url = {http://protege.stanford.edu/conference/2009/abstracts/S9P1Bock.pdf}, username = {gergie}, year = 2009 }