Enhancing a DLP system for advanced database applications

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

Volumn 5341 LNCS, Issue , 2008, Pages 119-134

  Terracina, Giorgio ^a   De Francesco, Erika ^a   Panetta, Claudio ^a   Leone, Nicola ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; DATA INTEGRATION; EFFICIENCY; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE MANAGEMENT; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; MODELING LANGUAGES; QUERY PROCESSING; SEARCH ENGINES; SEMANTICS;

DATA INTEGRATION APPLICATIONS; DATA-INTENSIVE APPLICATION; DATABASE APPLICATIONS; DISJUNCTIVE LOGIC PROGRAMMING; INFORMATION INTEGRATION; KNOWLEDGE REPRESENTATION AND REASONING; OPTIMIZATION STRATEGY; UNFOLDING TECHNIQUES;

COMPUTER SYSTEMS PROGRAMMING;

EID: 57049188296     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88737-9_10     Document Type: Conference Paper

References (20)

1. Arenas, M., Bertossi, L.E., Chomicki, J.: Specifying and Querying Database Repairs using Logic Programs with Exceptions. In: Proc. of the Fourth International Conference on Flexible Query Answering Systems (FQAS 2000), pp. 27-41 (2000)
2. Beeri, C., Ramakrisnhan, R.: On the power of magic. Journal of Logic Programming 10(1-4), 255-259 (1991)
3. Bennardo, G.: Interrogazione dati basata su ontologie, Master Thesis in Computer Science (2008)
4. Calì, A., Lembo, D., Rosati, R.: Query rewriting and answering under constraints in data integration systems. In: Int. Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 16-21 (2003)
5. Calimeri, F., Cozza, S., Ianni, C.: External sources of knowledge and value invention in logic programming. Annals of Mathematics and Artificial Intelligence 50, 333-361 (2007)
6. Dell'Armi, T., Faber, W., Ielpa, G., Leone, N., Pfeifer, G.: Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. In: Proc. of the 18th Int. Joint Conference on Artificial Intelligence (TJCAI), Acapulco, Mexico, pp. 847-852 (2003)
7. Leone, N., et al.: The infomix system for advanced integration of incomplete and inconsistent data. In: Proc. of 24th ACM SIGMOD International Conference on Management of Data (SIGMOD 2005), Baltimore, Maryland, USA, 2005, pp. 915-917. ACM Press, New York (2005)
8. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Clasp: A conflict-driven answer set solver. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 260-265. Springer, Heidelberg (2007)
9. Gebser, M., Schaub, T., Thiele, S.: GrinGo: A new grounder for answer set programming. In: Int. Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, AZ, USA, pp. 266-271 (2007)
10. Giunchiglia, E., Lierler, Y., Maratea, M.: Answer set programming based on prepositional satisfiability. Jornal of Automated Reasoning 36(4), 345-377 (2006)
11. Ianni, G., Martello, A., Panetta, C., Terracina, G.: Efficiently querying RDF(S) ontologies with Answer Set Programming. Journal of Logic and Computation (special issue) (forthcoming)
12. Janhunen, T., Niemelä, I., Seipel, D., Simons, P., You, J.: Unfolding partiality and disjunctions in stable model semantics. TOCL 7(1), 1-37 (2006)
13. Lenzerini, M.: Data integration: A theoretical perspective. In: Proc. PODS 2002, pp. 233-246 (2002)
14. 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), 499-562 (2006)
15. Leone, N., Rullo, P., Scarcello, F.: Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics and Computation. Information and Computation 135(2), 69-112 (1997)
16. Mumick, I.S., Finkelstein, S.J., Pirahesh, H., Ramakrishnan, R.: Magic conditions. ACM Trans. Database Systems 21(1), 107-155 (1990)
17. Niemelä, I., Simons, P., Syrjänen, T.: Smodels: A System for Answer Set Programming. In: Proc. of the 8th Int. Workshop on Non-Monotonic Reasoning (NMR 2000), Colorado, USA (April 2000)
18. + System. Journal of Apllied Logic 5(3), 545-573 (2007)
19. Syrjänen, T.: Lparse 1.0 user's manual (2002), http://www.tcs.hut. fi/Software/smodels/lparse.ps.gz
20. Terracina, G., Leone, N., Lio, V., Panetta, C.: Experimenting with recursive queries in database and logic programming systems. Theory and Practice of Logic Programming (TPLP) 8(2), 129-165 (2008)