Inline Evaluation of Hybrid Knowledge Bases
- Cite this paper as:
- Xiao G., Eiter T. (2011) Inline Evaluation of Hybrid Knowledge Bases. In: Rudolph S., Gutierrez C. (eds) Web Reasoning and Rule Systems. RR 2011. Lecture Notes in Computer Science, vol 6902. Springer, Berlin, Heidelberg
The deployment of knowledge representation formalisms to the Web has created the need for hybrid formalisms that combine heterogeneous knowledge bases. The aim of this research is to improve the reasoning efficiency over hybrid knowledge bases (KBs). The traditional way of reasoning over hybrid KBs is to use different underlying reasoners to access the different data sources, which causes overhead. To remedy this, we propose a new strategy, called inline evaluation, which compiles the whole hybrid KB into a new KB using only one single formalism. Hence we can use a single reasoner to do the reasoning tasks, and improve the efficiency of hybrid reasoning.
Keywordshybrid KBs logic programming description logic dl-programs
Unable to display preview. Download preview PDF.