Inline Evaluation of Hybrid Knowledge Bases

PhD Description
  • Guohui Xiao
  • Thomas Eiter
Conference paper

DOI: 10.1007/978-3-642-23580-1_28

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6902)
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

Abstract

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.

Keywords

hybrid KBs logic programming description logic dl-programs 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Guohui Xiao
    • 1
  • Thomas Eiter
    • 1
  1. 1.Institute of Information Systems 184/3Vienna University of TechnologyViennaAustria

Personalised recommendations