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.
%0 Book Section
%1 Bock14p121
%A Bock, Jürgen
%B Towards the Internet of Services: The THESEUS Research Program
%C Berlin
%D 2014
%E Wahlster, Wolfgang
%E Grallert, Hans-Joachim
%E Wess, Stefan
%E Friedrich, Hermann
%E Widenka, Thomas
%I Springer
%K v1500 springer paper ai semantic web knowledge processing algorithm rules tool zzz.th zzz.sw
%P 121-130
%R 10.1007/978-3-319-06755-1_10
%T Reasoning Brokerage: New Reasoning Strategies
%X 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.
@incollection{Bock14p121,
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.},
added-at = {2015-02-21T10:36:26.000+0100},
address = {Berlin},
author = {Bock, J\"{u}rgen},
biburl = {https://www.bibsonomy.org/bibtex/2f02643e5226e81701a1f71771929beac/flint63},
booktitle = {Towards the Internet of Services: The {THESEUS} Research Program},
crossref = {WahlsterGrallertEtAl2014},
doi = {10.1007/978-3-319-06755-1_10},
editor = {Wahlster, Wolfgang and Grallert, Hans-Joachim and Wess, Stefan and Friedrich, Hermann and Widenka, Thomas},
file = {Springer for Professionals:2014/Bock14p121.pdf:PDF},
groups = {public},
interhash = {e1d0b132b9b8f370f055705b77d3d81a},
intrahash = {f02643e5226e81701a1f71771929beac},
keywords = {v1500 springer paper ai semantic web knowledge processing algorithm rules tool zzz.th zzz.sw},
pages = {121-130},
publisher = {Springer},
timestamp = {2018-04-16T12:30:12.000+0200},
title = {Reasoning Brokerage: New Reasoning Strategies},
username = {flint63},
year = 2014
}