Effective integration of declarative rules with external evaluations for semantic-Web reasoning

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

Volumn 4011 LNCS, Issue , 2006, Pages 273-287

  Eiter, Thomas ^a   Ianni, Giovambattista ^a   Schindlauer, Roman ^a   Tompits, Hans ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; INTERFACES (COMPUTER); INTEROPERABILITY; SOFTWARE PROTOTYPING;

HEX-PROGRAM; NEGATION; ONTOLOGY; WEB REASONING;

SEMANTICS;

EID: 33746067855     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11762256_22     Document Type: Conference Paper

References (25)

1. G. Antoniou, C. V. Damásio, B. Grosof, I. Horrocks, M. Kifer, J. Maluszynski, and P. F. Patel-Schneider. Combining Rules and Ontologies. A Survey. Technical Report IST586779/ Linkoeping/I3-D3/D/PU/al, Linkóping University, 2005.
2. P. A. Bonatti. Reasoning with Infinite Stable Models. Artificial Intelligence, 156(1):75-111, 2004.
3. L. Cabibbo. The Expressive Power of Stratified Logic Programs with Value Invention. Information and Computation, 147(1):22-56, 1998.
4. F. Calimeri and G. Ianni. External Sources of Computation for Answer Set Solvers. In Proc. LPNMR 2005, pp. 105-118.
5. F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. AL-log: Integrating Datalog and Description Logics. J. Intell. Inf. Syst., 10(3):227-252, 1998.
6. T. Eiter, G. Gottlob, and H. Veith. Modular Logic Programming and Generalized Quantifiers. In Proc. LPNMR'97, pp. 290-309.
7. T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. Nonmonotonic Description Logic Programs: Implementation and Experiments. In Proc. LPAR 2004, pp. 511-527.
8. T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. A Uniform Integration of Higher-order Reasoning and External Evaluations in Answer Set Programming. In Proc. IJCAI2005.
9. T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. In Proc. WLP 2006, pp. 206-210.
10. 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.
11. W. Faber, N. Leone, and G. Pfeifer. Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. In Proc. JELIA 2004, pp. 200-212.
12. M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365-385, 1991.
13. B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description Logic Programs: Combining Logic Programs with Description Logics. In Proc. WWW2003, pp. 48-57.
14. S. Heymans, D. V. Nieuwenborgh, and D. Vermeir. Nonmonotonic Ontological and Rule-based Reasoning with Extended Conceptual Logic Programs. In Proc. ESWC 2005.
15. S. Heymans, D. V. Nieuwenborgh, and D. Vermeir. Preferential Reasoning on a Web of Trust. In Proc. ISWC 2005, pp. 368-382.
16. 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, 2004. W3C Member Submission.
17. V. Lifschitz and H. Turner. Splitting a Logic Program. In Proc. ICLP'94, pp. 23-38.
18. T. Przymusinski. On the Declarative Semantics of Deductive Databases and Logic Programs. In Foundations of Deductive Databases and Logic Programming., pp. 193-216. 1988.
19. R. Rosati. Towards Expressive KR Systems Integrating Datalog and Description Logics: Preliminary Report. In Proceedings DL'99, pp. 160-164.
20. K. A. Ross. Modular Stratification and Magic Sets for Datalog Programs with Negation. J. ACM, 41(6):1216-1266, 1994.
21. K. A. Ross. On Negation in HiLog. Journal of Logic Programming, 18(1):27-53,1994.
22. M. Sintek and S. Decker. Triple - a Query, Inference, and Transformation Language for the Semantic Web. In Proc. ISWC 2004, pp. 364-378.
23. T. Syrjänen. Omega-restricted Logic Programs. In Proc. LPNMR 2001, pp. 267-279.
24. K. Wang, G. Antoniou, R. W. Topor, and A. Sattar. Merging and Aligning Ontologies in dl-Programs. In Proc. RuleML 2005, pp. 160-171.
25. K. Wang, D. Billington, J. Blee, and G. Antoniou. Combining Description Logic and Defeasible Logic for the Semantic Web. In Proc. RuleML 2004, pp. 170-181.