Efficiently querying RDF(S) ontologies with answer set programming

Journal of Logic and Computation

Volumn 19, Issue 4, 2009, Pages 671-695

  Ianni, Giovambattista ^a,b   Martello, Alessandra ^a   Panetta, Claudio ^a   Terracina, Giorgio ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Answer set programming; Knowledge representation; RDF ontologies

Indexed keywords

COMPUTER PROGRAMMING; DIGITAL STORAGE; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; QUERY LANGUAGES; QUERY PROCESSING; SEMANTICS;

ANSWER SET PROGRAMMING; LARGE AMOUNTS OF DATA; QUERY SYSTEMS; RDF ONTOLOGY; REASONING TASKS; RESEARCH EFFORTS; RESOURCE DESCRIPTION FRAMEWORK; RULE-BASED LANGUAGE;

ONTOLOGY;

EID: 84985029753     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exn043     Document Type: Article

References (34)

1. T. Adams, G. Noble, P. Gearon, and D. Wood. MULGARA homepage. Available at http:// www.mulgara.org/ (Last accessed on 22 July 2008).
2. ARQ homepage. Available at http://jena.sourceforge.net/ARQ/ (Last accessed on 22 July 2008).
3. A. Analyti, G. Antoniou, C. V. Damásio, and G. Wagner. Stable model theory for extended RDF ontologies. In ISWC, pp. 21-36. Springer, Berlin/Heidelberg, 2005.
4. S.Auer, C. Bizer, G. Kobilarov, J. Lehmann, R. Cyganiak, and Z. G. Ives. Dbpedia:Anucleus for a web of open data. In Proceedings of ISWC/ASWC, pp. 722-735. Springer, Berlin/Heidelberg, 2007.
5. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, eds. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge, 2003.
6. T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. Scientific American, 284, 34-43, 2001.
7. C. Bizer. D2r map - a database to RDF mapping language. In WWW (Posters), WWW2003, Budapest, Hungary, Posters, 20-24th May 2003.
8. F. Calimeri , S. Cozza , and G. Ianni. External sources of knowledge and value invention in logic programming. AMAI, 50, 333-361, 2007.
9. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini,A. Poggi, and R. Rosati. MASTRO-I: Efficient integration of relational data through DL Ontologies. In Proceedings of DL workshop, CEUR Electronic Workshop Proceedings, pp. 227-234. RWTH Aachen University, Germany, 2007. Available at http://ceur-ws.org/Vol-250/.
10. J. de Bruijn, E. Franconi, and S. Tessaris. Logical reconstruction of RDF and ontology languages. In Proceedings of PPSWR, pp. 65-71. Springer, Berlin/Heidelberg, 2005.
11. J. de Bruijn and S. Heymans. Logical foundations of (E)RDF(S): complexity and reasoning. In Proceedings of ISWC/ASWC, pp. 86-99. Springer, Berlin/Heidelberg, 2007.
12. D2r server publishing the DBLP bibliography database. Available at http://www4.wiwiss.fu-berlin.de/dblp/ (Last accessed on 22 July 2008).
13. T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the semantic web. Artificial Intelligence Journal, 172, 1495-1539, 2008.
14. T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. A uniform integration of higher-order reasoning and external evaluations in answer set programming. In Proceedings of IJCAI, pp. 90-96. Professional Book Center, Denver, CO, USA, 2005.
15. W. Faber and G. Pfeifer. DLV homepage. Available at http://www.dlvsystem. com/ (Last accessed on 22 July 2008).
16. D. Fensel,W.Wahlster,H. Lieberman, and J. Hendler, eds. Spinning the SemanticWeb: Bringing the World Wide Web to Its Full Potential. MIT Press, Cambridge, MA, 2002.
17. H. Garcia-Molina, J. D. Ullman, and J. Widom. Database System Implementation. Prentice Hall, Upper Saddle River, NJ, 2000.
18. M. Gelfond andV. Lifschitz. The stable model semantics for logic programming. In Proceedings of ICLP/SLP, pp. 1070-1080. MIT Press, Cambridge, MA, 1988.
19. N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, F. Scarcello: The DLV system for knowledge representation and reasoning. ACM TOCL, 7, 499-562, 2006.
20. M. Ley. Digital bibliography and library project. Available at http://dblp.uni-trier. de/ (Last accessed on 22 July 2008).
21. LUBM homepage. Available at http://swat.cse.lehigh.edu/projectsj/lubm/ (Last accessed on 22 July 2008).
22. D. Marin. Aformalization of RDF. TR Dept. Computer Science, Universidad de Chile, TR/DCC-2006-8. Availableat http://www.dcc.uchile.cl/cgutierr/ftp/ draltan.pdf (Last accessed on 22 July 2008).
23. B. Motik and R. Rosati. A faithful integration of description logics with logic programming. In Proceedings of International Joint Conferences on Artificial Intelligence, pp. 477-482. California, USA, 2007.
24. I.S. Mumick, S.J. Finkelstein, H. Pirahesh, and R. Ramakrishnan. Magic conditions. ACM TODS, 21, 107-155, 1996.
25. P. F. Patel-Schneider, P. Hayes, and I. Horrocks. OWL web ontology language semantics and abstract syntax. W3C recommendation. Available at http://www.w3.org/TR/ owl-semantics/ (Last accessed on 22 July 2008).
26. A. Polleres. From SPARQL torules (and back).In Proceedings of WWW, ACM Press, New York, NY, USA, 2007. Extended technical report version available at http://www.polleres. net/publications/GIA-TR-2006-11-28.pdf
27. S. Muñoz, J. Pérez, and C. Gutiérrez. Minimal deductive systems for RDF. In Proceedings of ESWC, pp. 53-67. Springer, Berlin/Heidelberg, 2007.
28. RDF semantics.W3C recommendation.Available athttp://www.w3.org/TR/rdf-mt/ (Last accessed on 22 July 2008).
29. RDF resource guide. Available at http://planetrdf.com/guide/ (Last accessed on 22 July 2008).
30. A. Seaborne E. Prud'hommeaux. SPARQL query language for RDF. W3C candidate recommendation. Available at http://www.w3.org/TR/rdf-sparql-query/ (Last accessed on 22 July 2008).
31. SESAME homepage.Available at http://www.openrdf.org/ (Last accessed on 22 July 2008).
32. SPARQL implementations. Available at http://esw.w3.org/topic/sparql implementations (Last accessed on 22 July 2002).
33. H. Stuckenschmidt and J. Broekstra. Time - space trade-offs in scaling up rdf schema reasoning. In Proceedings of WISE Workshops, pp. 172-181. Springer, Berlin/Heidelberg, 2005.
34. G. Terracina, N. Leone, V. Lio, and C. Panetta. Experimenting with recursive queries in database and logic programming systems. TPLP, 8, 129-165, 2008. Available on-line at http://arxiv.org/abs/0704.3157.