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.
This work is supported by the European Commission under the project OntoRule (IST-2009-231875).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) envelope. In: Proc. IJCAI, pp. 364–369. Morgan-Kaufmann Publishers, San Francisco (2005)
de Bruijn, J., Bonnard, P., Citeau, H., Dehors, S., Heymans, S., Pührer, J., Eiter, T.: Combinations of rules and ontologies: State-of-the-art survey of issues. Technical Report Ontorule D3.1, Ontorule Project Consortium (June 2009), http://ontorule-project.eu/
Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R.: Well-founded semantics for description logic programs in the Semantic Web. ACM Trans. Comput. Log. 12(2), 11 (2011)
Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. Artificial Intelligence 172(12-13), 1495–1539 (2008)
Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective integration of declarative rules with external evaluations for semantic-web reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 273–287. Springer, Heidelberg (2006)
Faber, W., Greco, G., Leone, N.: Magic sets for data integration. In: Fox, D., Gomes, C.P. (eds.) AAAI, pp. 1528–1531. AAAI Press, Menlo Park (2008)
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proc. WWW 2003, pp. 48–57. ACM, New York (2003)
Heymans, S.: Decidable Open Answer Set Programming. Phd thesis, Theoretical Computer Science Lab (TINF), CS Dept, Vrije Universiteit Brussel (February 2006)
Heymans, S., Eiter, T., Xiao, G.: Tractable reasoning with dl-programs over datalog-rewritable description logics. In: ECAI. Frontiers in Artificial Intelligence and Applications, vol. 215, pp. 35–40. IOS Press, Amsterdam (2010)
Heymans, S., Korf, R., Erdmann, M., Pührer, J., Eiter, T.: Loosely coupling f-logic rules and ontologies. In: IEEE/WIC/ACM International Conference on Web Intelligence (WI 2010), pp. 248–255. IEEE Computer Society, Los Alamitos (2010)
Heymans, S., Prediou, L., Feier, C., de Bruijn, J., van Nieuwenborgh, D.: G-hybrid knowledge bases. In: Proc. of ICLP 2006 Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services, ALPSWS 2006 (2006)
Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining OWL and RuleML. In: W3C Member Submission, World Wide Web Consortium (2004)
Kazakov, Y.: Consequence-driven reasoning for Horn \(\mathcal{SHIQ}\) ontologies. In: Boutilier, C. (ed.) IJCAI, pp. 2040–2045 (2009)
Krennwallner, T.: Integration of Conjunctive Queries over Description Logics into HEX-Programs. Master’s thesis, Vienna University of Technology (October 2007)
Krötzsch, M., Rudolph, S., Hitzler, P.: ELP: Tractable rules for OWL 2. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 649–664. Springer, Heidelberg (2008)
Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, University of Karlsruhe, Karlsruhe, Germany (January 2006)
Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Profiles. W3C, 2008. W3C Rec. (October 27, 2009), http://www.w3.org/TR/owl2-profiles/ .
Motik, B., Rosati, R.: Reconciling Description Logics and Rules. Journal of the ACM 57(5), 1–62 (2010)
Ortiz, M., Rudolph, S., Simkus, M.: Worst-case optimal reasoning for the Horn-dl fragments of OWL 1 and 2. In: KR, pp. 269–279. AAAI Press, Menlo Park ( May 2010)
Rosati, R.: On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics 3(1), 41–60 (2005)
Rosati, R., Almatelli, A.: Improving query answering over dl-lite ontologies. In: KR. AAAI Press, Menlo Park (2010)
Schneider, P.: Evaluation of description logic programs using an RDBMS. Master’s thesis, Vienna University of Technology (December 2010)
Xiao, G., Heymans, S., Eiter, T.: DReW: a reasoner for datalog-rewritable description logics and dl-programs. In: Informal Proc. 1st Int’l Workshop on Business Models, Business Rules and Ontologies (BuRO 2010), Bressanone/Italy (September 21, 2010), http://ontorule-project.eu/attachments/075_buro2010-proceedings.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/978-3-642-23580-1_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-23580-1_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23579-5
Online ISBN: 978-3-642-23580-1
eBook Packages: Computer ScienceComputer Science (R0)