A novel combination of answer set programming with description logics for the Semantic Web

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

Volumn 4519 LNCS, Issue , 2007, Pages 384-398

  Lukasiewicz, Thomas ^a,b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; INTERFACES (COMPUTER); SEMANTIC WEB; SYNTACTICS;

DATA COMPLEXITY; LOGIC PROGRAMS; WELL-BALANCED INTERFACES;

FORMAL LOGIC;

EID: 34548093062     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72667-8_28     Document Type: Conference Paper

References (42)

1. G. Alsaç and C. Baral. Reasoning in description logics using declarative logic programming. Report, Department of Computer Science and Engineering, Arizona State University, 2001.
2. J. Angele, H. Boley, J. de Bruijn, D. Fensel, P. Hitzler, M. Kifer, R. Krummenacher, H. Lausen, A. Polleres, and R. Studer. Web Rule Language (WRL), Sept. 2005. W3C Member Submission. http://www.w3.org/Submission/WRL/.
3. G. Antoniou. Nonmonotonic rule systems on top of ontology layers. In Proc. ISWC-2002, pp. 394-398, 2002.
4. T. Berners-Lee. Weaving the Web. Harper, San Francisco, CA, 1999.
5. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. DL-Lite: Tractable description logics for ontologies. In Proc. AAAI-2005, pp. 602-607, 2005.
6. E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov. Complexity and expressive power of logic programming. ACM Comput. Surv., 33(3):374-425, 2001.
7. J. de Bruijn, T. Eiter, A. Polleres, and H. Tompits. Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination. In Proc. IJCAI-2007, pp. 304-309, 2007.
8. F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. AC-log: Integrating datalog and description logics. J. Intell. Inf. Syst., 10(3):227-252, 1998.
9. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits. A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In Proc. IJCAI-2005, pp. 90-96.
10. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits. Effective integration of declarative rules with external evaluations for semantic web reasoning. In Proc. ESWC-2006, pp. 273-287, 2006.
11. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the Semantic Web. In Proc. KR-2004, pp. 141-151, 2004.
12. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Well-founded semantics for description logic programs in the Semantic Web. In Proc. RuleML-2004, pp. 81-97, 2004.
13. W. Faber, N. Leone, and G. Pfeifer. Recursive aggregates in disjunctive logic programs: Semantics and complexity. In Proc. JELIA-2004, pp. 200-212, 2004.
14. D. Fensel, W. Wahlster, H. Lieberman, and J. Hendler, editors. Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. MIT Press, 2002.
15. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Comput., 9(3/4):365-386, 1991.
16. B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description logic programs: Combining logic programs with description logics. In Proc. WWW-2003, pp. 48-57, 2003.
17. S. Heymans, D. V. Nieuwenborgh, D. Vermeir. Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs. In Proc. ESWC-05, pp. 392-407, 2005.
18. S. Heymans and D. Vermeir. Integrating semantic web reasoning and answer set programming. In Proc. ASP-2003, pp. 194-208, 2003.
19. I. Horrocks and P. F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. In Proc. ISWC-2003, pp. 17-29, 2003.
20. I. Horrocks and P. F. Patel-Schneider. Position paper: A comparison of two modelling paradigms in the Semantic Web. In Proc. WWW-2006, pp. 3-12, 2006.
21. I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean. SWRL: A Semantic Web rule language combining OWL and RuleML, May 2004. W3C Member Submission. Available at http://www.w3.org/Submission/SWRL/.
22. I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. J. Web Sem., 1(1):7-26, 2003.
23. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proc. LPAR-1999, pp. 161-180, 1999.
24. U. Hustadt, B. Motik, and U. Sattler. Reducing SHIQ-description logic to disjunctive datalog programs. In Proc. KR-2004, pp. 152-162, 2004.
25. L. Iocchi, T. Lukasiewicz, D. Nardi, and R. Rosati. Reasoning about actions with sensing under qualitative and probabilistic uncertainty. In Proc. ECAI-2004, pp. 818-822, 2004.
26. N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, and F. Scarcello. The DLV system for knowledge representation and reasoning. ACM TOCL, 7(3):499-562, 2006.
27. A. Y. Levy and M.-C. Rousset. Combining Horn rules and description logics in CARIN. Artif. Intell, 104(1-2): 165-209, 1998.
28. T. Lukasiewicz. Stratified probabilistic description logic programs. In Proc. URSW-2005, pp. 87-97, 2005.
29. T. Lukasiewicz. Probabilistic description logic programs. In Proc. ECSQARU-2005, pp. 737-749, 2005.
30. Extended version in Int. J. Approx. Reasoning, in press.
31. T. Lukasiewicz. Fuzzy description logic programs under the answer set semantics for the Semantic Web. In Proc. RuleML-2006, pp. 89-96, 2006.
32. T. Lukasiewicz. A novel combination of answer set programming with description logics for the Semantic Web. Report 1843-06-08, Institut für Informationssysteme, TU Wien, 2006.
33. T. Lukasiewicz and U. Straccia. Tightly integrated fuzzy description logic programs under the answer semantics for the Semantic Web. In Proc. RR-2007, 2007. To appear.
34. B. Motik, I. Horrocks, R. Rosati, and U. Sattler. Can OWL and logic programming live together happily ever after? In Proc. ISWC-2006, pp. 501-514, 2006.
35. B. Motik and R. Rosati. A faithful integration of description logics with logic programming. In Proc. IJCAI-2007, pp. 477-482, 2007.
36. B. Motik, U. Sattler, and R. Studer. Query answering for OWL-DL with rules. J. Web Sem., 3(1):41-60, 2005.
37. R. Rosati. On the decidability and complexity of integrating ontologies and rules. J. Web Sem., 3(1):61-73, 2005.
38. R. Rosati. DL+log: Tight integration of description logics and disjunctive datalog. In Proc. KR-2006, pp. 68-78, 2006.
39. M. Sintek and S. Decker. TRIPLE - A query, inference, and transformation language for the Semantic Web. In Proc. ISWC-2002, pp. 364-378, 2002.
40. T. Swift. Deduction in ontologies via ASP. In Proc. LPNMR-2004, pp. 275-288, 2004.
41. S. Tobies. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen, Germany, 2001.
42. W3C. OWL web ontology language overview, 2004. W3C Recommendation (10 Feb. 2004). Available at http://www.w3.org/TR/2004/REC-owl-features-20040210/.