Uniform evaluation of nonmonotonic DL-programs

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

Volumn 7153 LNCS, Issue , 2012, Pages 1-22

  Eiter, Thomas ^a   Krennwallner, Thomas ^a   Schneider, Patrik ^a   Xiao, Guohui ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

DATALOG; DESCRIPTION LOGIC; DESCRIPTION LOGIC PROGRAMS; EXPERIMENTAL DATA; FIRST ORDER LOGIC; IMPEDANCE MISMATCH; LOOSE COUPLINGS; NONMONOTONIC; PERFORMANCE GAIN; REASONING ENGINE; RELATIONAL DATABASE;

FORMAL LANGUAGES; LOGIC PROGRAMMING;

DATA DESCRIPTION;

EID: 84858055834     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-28472-4_1     Document Type: Conference Paper

References (56)

1. Acciarri, A., Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Palmieri, M., Rosati, R.: Quonto: Querying ontologies. In: AAAI'05. pp. 1670-1671 (2005)
2. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The dl-lite family and relations. J. Artif. Intell. Res. 36, 1-69 (2009)
3. Baader, F., Brandt, S., Lutz, C.: Pushing the script E script L envelope. In: IJCAI'05. pp. 364-369. (2005)
4. Baader, F., Brandt, S., Lutz, C.: Pushing the script E script L envelope further. In: OWLED08-DC (2008)
5. Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. J. Autom. Reasoning 14(1), 149-180 (1995)
6. Bonatti, P.A., Faella, M., Sauro, L.: Adding default attributes to EL++. In: AAAI'11. (2011)
7. Calì, A., Gottlob, G., Lukasiewicz, T., Marnette, B., Pieris, A.: Datalog+/-: A family of logical knowledge representation and query languages for new applications. In: LICS'10. pp. 228-242. (2010)
8. Calvanese, D., de Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J Autom. Reasoning 39(3), 385-429 (2007)
9. Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Modular nonmonotonic logic programming revisited. In: ICLP'09. pp. 145-159. Springer (2009)
10. Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Relevance-driven evaluation of modular nonmonotonic logic programs. In: LPNMR'09, pp. 87-100. Springer (2009)
11. Dao-Tran, M., Eiter, T., Krennwallner, T.: Realizing default logic over description logic knowledge bases. In: ECSQARU'09, pp. 602-613. Springer (2009)
12. 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. Tech. Rep. Ontorule D3.1, Ontorule Project Consortium (2009)
13. de Bruijn, J., Eiter, T., Tompits, H.: Embedding approaches to combining rules and ontologies into autoepistemic logic. In: KR'08, pp. 485-495 (2008)
14. Denecker, M., Ternovska, E.: A logic of non-monotone inductive definitions. ACM Trans. Comput. Log. 9(2), 14, 52pp. (2008)
15. Drabent, W., Eiter, T., Ianni, G., Krennwallner, T., Lukasiewicz, T., Małuszyński, J.: Hybrid reasoning with rules and ontologies. In: Semantic Techniques for the Web: The REWERSE perspective, chap. 1, pp. 1-49. Springer (2009)
16. 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, 41pp. (2011)
17. Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. Artif. Intell. 172(12-13), 1495-1539 (2008)
18. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective integration of declarative rules with external evaluations for semantic-web reasoning. In: ESWC'06. pp. 273-287. Springer (2006)
19. Eiter, T., Fink, M., Krennwallner, T.: Decomposition of declarative knowledge bases with external functions. In: IJCAI'09, pp. 752-758. (2009)
20. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer set programming. In: IJCAI'05, pp. 90-96. (2005)
21. Fink, M., Pearce, D.: A logical semantics for description logic programs. In: JELIA'10. pp. 156-168. Springer (2010)
22. Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: The Potsdam Answer Set Solving Collection. AI Commun. 24(2), 107-124 (2011)
23. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365-385 (1991)
24. Gottlob, G., Schwentick, T.: Rewriting ontological queries into small nonrecursive datalog programs. In: DL'11. CEUR-WS, vol. 745. (2011)
25. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: WWW'03. pp. 48-57. ACM (2003)
26. Guo, Y., Pan, Z., Heflin, J.: Lubm: A benchmark for OWL knowledge base systems. J. Web Sem. 3(2-3), 158-182 (2005)
27. Haarslev, V., Hidde, K., Möller, R.,Wessel, M.: The RacerPro knowledge representation and reasoning system. In: Semant. Web J. http://www.semantic-web-journal.net/, to appear
28. Heymans, S., Eiter, T., Xiao, G.: Tractable reasoning with DL-programs over datalog-rewritable description logics. In: ECAI'10. IOS Press (2010)
29. Heymans, S., Korf, R., Erdmann, M., Pührer, J., Eiter, T.: Loosely coupling f-logic rules and ontologies. In: WI'10, pp. 248-255. IEEE Computer Society (2010)
30. Hustadt, U., Motik, B., Sattler, U.: Reasoning in description logics by a reduction to disjunctive datalog. J. Autom. Reasoning 39(3), 351-384 (2007)
31. Janhunen, T.: On the intertranslatability of non-monotonic logics. Ann. Math. Artif. Intell. 27(1-4), 79-128 (1999)
32. Janhunen, T., Oikarinen, E., Tompits, H., Woltran, S.: Modularity Aspects of Disjunctive Stable Models. J. Artif. Intell. Res. 35, 813-857 (2009)
33. Kazakov, Y.: Consequence-driven reasoning for Horn script Sscript Hscript Iscript Q ontologies. In: IJCAI'09. pp. 2040-2045 (2009)
34. Kazakov, Y., Krötzsch, M., Simancik, F.: Concurrent classification of el ontologies. In: ISWC'11, pp. 305-320. Springer (2011)
35. Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4), 741-843 (1995)
36. Kontchakov, R., Lutz, C., Toman, D.,Wolter, F., Zakharyaschev, M.: The combined approach to query answering in dl-lite. In: KR'10. AAAI Press (2010)
37. Krötzsch, M.: Efficient rule-based inferencing for OWL EL. In: IJCAI'11, pp. 2668-2673. (2011)
38. Leone, N., Pfeifer, G., Faber,W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM Trans. Comput. Log. 7(3) (2006)
39. Lukasiewicz, T.: A novel combination of answer set programming with description logics for the semantic web. IEEE Trans. Knowl. Data Eng. 22(11), 1577-1592 (2010)
40. Motik, B., Grau, B.C., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Profiles. W3C (2009), W3C Rec. 27 Oct. 2009, http://www.w3.org/TR/owl2-profiles/
41. Motik, B., Rosati, R.: Reconciling Description Logics and Rules. J. ACM 57(5), 1-62 (2010)
42. Motik, B., Shearer, R., Horrocks, I.: Hypertableau Reasoning for Description Logics. J. Artif. Intell. Res. 36, 165-228 (2009)
43. Ordonez, C.: Optimization of linear recursive queries in SQL. IEEE Trans. Knowl. Data Eng. 22(2), 264-277 (2010)
44. Ortiz,M., Rudolph, S., Simkus,M.:Worst-case optimal reasoning for the horn-DL fragments of OWL 1 and 2. In: KR'10. AAAI Press (2010)
45. Rosati, R., Almatelli, A.: Improving query answering over dl-lite ontologies. In: KR'10. AAAI Press (2010)
46. Schneider, P.: Evaluation of description logic programs using an RDBMS. Master's thesis, TU Wien (2010)
47. Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. Web Sem. 5(2), 51-53 (2007)
48. Stocker, M., Smith, M.: Owlgres: A scalable OWL reasoner. In: OWLED'01 (2008)
49. Terracina, G., Leone, N., Lio, V., Panetta, C.: Experimenting with recursive queries in database and logic programming systems. Theor. Pract. Log. Prog. 8(2), 129-165 (2008)
50. Tran, T.K.: Query answering in the description logic Horn-SHIQ. Master's thesis, TU Wien (2011)
51. Wang, K., Billington, D., Blee, J., Antoniou, G.: Combining description logic and defeasible logic for the semantic web. In: RuleML'04, pp. 170-181. Springer (2004)
52. Wang, Y., You, J.H., Yuan, L.Y., Shen, Y.D.: Loop formulas for description logic programs. Theor. Pract. Log. Prog. 10(4-6), 531-545 (2010)
53. Wang, Y., You, J.H., Yuan, L.Y., Shen, Y.D., Eiter, T.: Embedding description logic programs into default logic. CoRR abs/1111.1486 (2011)
54. Wijaya, T.: Top-Down Evaluation Techniques for Modular Nonmonotonic Logic Programs. Master's thesis, TU Wien (2011), http://media.obvsg.at/AC07811177- 2001
55. Xiao, G., Eiter, T.: Inline evaluation of hybrid knowledge bases - PhD description. In: RR'11, pp. 300-305. Springer (2011)
56. Xiao, G., Heymans, S., Eiter, T.: DReW: a reasoner for datalog-rewritable description logics and dl-programs. In: BuRO'10 (2010), http://ontorule- project.eu/attachments/075 buro2010-proceedings.pdf