Inline evaluation of hybrid knowledge bases: PhD description

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6902 LNCS, Issue , 2011, Pages 300-305

  Xiao, Guohui ^a   Eiter, Thomas ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

description logic; dl programs; hybrid KBs; logic programming

Indexed keywords

DATA SOURCE; DESCRIPTION LOGIC; DL-PROGRAMS; HETEROGENEOUS KNOWLEDGE; HYBRID FORMALISM; HYBRID KBS; HYBRID REASONINGS; IN-LINE; KNOWLEDGE BASIS; KNOWLEDGE REPRESENTATION FORMALISM; NEW STRATEGY; REASONER; REASONING EFFICIENCY; REASONING TASKS;

DATA DESCRIPTION; LOGIC PROGRAMMING; USER INTERFACES;

KNOWLEDGE REPRESENTATION;

EID: 80052720466     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-23580-1_28     Document Type: Conference Paper

References (23)

1. Baader, F., Brandt, S., Lutz, C.: Pushing the ℰℒ envelope. In: Proc. IJCAI, pp. 364-369. Morgan-Kaufmann Publishers, San Francisco (2005)
2. 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/
3. 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)
4. 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)
5. 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) (Pubitemid 44071165)
6. 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)
7. 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)
8. Heymans, S.: Decidable Open Answer Set Programming. Phd thesis, Theoretical Computer Science Lab (TINF), CS Dept, Vrije Universiteit Brussel (February 2006)
9. Heymans, S., Eiter, T., Xiao, G.: Tractable reasoning with dl-programs over datalogrewritable description logics. In: ECAI. Frontiers in Artificial Intelligence and Applications, vol. 215, pp. 35-40. IOS Press, Amsterdam (2010)
10. 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)
11. 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)
12. 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)
13. Kazakov, Y.: Consequence-driven reasoning for Horn SHIQ ontologies. In: Boutilier, C. (ed.) IJCAI, pp. 2040-2045 (2009)
14. Krennwallner, T.: Integration of Conjunctive Queries over Description Logics into HEXPrograms. Master's thesis, Vienna University of Technology (October 2007)
15. 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)
16. Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, University of Karlsruhe, Karlsruhe, Germany (January 2006)
17. 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/.
18. Motik, B., Rosati, R.: Reconciling Description Logics and Rules. Journal of the ACM 57(5), 1-62 (2010)
19. 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)
20. Rosati, R.: On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics 3(1), 41-60 (2005)
21. Rosati, R., Almatelli, A.: Improving query answering over dl-lite ontologies. In: KR. AAAI Press, Menlo Park (2010)
22. Schneider, P.: Evaluation of description logic programs using an RDBMS. Master's thesis, Vienna University of Technology (December 2010)
23. 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