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.
%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
}