메뉴 건너뛰기




Volumn 23, Issue 1-2, 2013, Pages 159-212

On the relation between SPARQL1.1 and Answer Set Programming

Author keywords

Answer Set Programming; Datalog; Semantic Web; SPARQL

Indexed keywords


EID: 84879637757     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.1080/11663081.2013.798992     Document Type: Conference Paper
Times cited : (37)

References (90)
  • 2
    • 67349264859 scopus 로고    scopus 로고
    • Extending SPARQL with regular expression patterns (for querying RDF)
    • Alkhateeb, F, Baget, J-F, and, Euzenat, J. 2009. Extending SPARQL with regular expression patterns (for querying RDF). Journal of Web Semantics, 7: 57-73.
    • (2009) Journal of Web Semantics , vol.7 , pp. 57-73
    • Alkhateeb, F.1    Baget, J.-F.2    Euzenat, J.3
  • 3
    • 57349165912 scopus 로고    scopus 로고
    • The expressive power of SPARQL
    • A. P. Sheth et al. (Eds.) Karlsruhe, Germany, October 26-30 (2008). Proceedings. New York, NY: Springer
    • Angles, R., & Gutierrez, C. (2008). The expressive power of SPARQL. In A. P. Sheth et al. (Eds.), The Semantic Web-ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30 (2008). Proceedings (pp. 114-129). New York, NY: Springer.
    • (2008) The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008 , pp. 114-129
    • Angles, R.1    Gutierrez, C.2
  • 5
    • 84872910077 scopus 로고    scopus 로고
    • A direct mapping of relational data to RDF
    • September 27 (Retrieved, 15 April 2013
    • Arenas, M., Bertails, A., Prudhommeaux, E., & Sequeda, J. (2012, September 27). A direct mapping of relational data to RDF. W3C Recommendation. (Retrieved, 15 April 2013, from http://www.w3.org/TR/2012/REC-rdb-direct- mapping-20120927/)
    • (2012) W3C Recommendation
    • Arenas, M.1    Bertails, A.2    Prudhommeaux, E.3    Sequeda, J.4
  • 6
    • 84860864011 scopus 로고    scopus 로고
    • Counting beyond a Yottabyte, or how SPARQL 1.1 property paths will prevent adoption of the standard
    • A. Mille, F. L. Gandon, J. Misselis, M. Rabinovich, & S. Staab (Eds.) Lyon, France, April 16-20, 2012. New York, NY: ACM Press
    • Arenas, M., Conca, S., & Pérez, J. (2012). Counting beyond a Yottabyte, or how SPARQL 1.1 property paths will prevent adoption of the standard. In A. Mille, F. L. Gandon, J. Misselis, M. Rabinovich, & S. Staab (Eds.), Proceedings of the 21st World Wide Web Conference (2012). WWW 2012, Lyon, France, April 16-20, 2012 (pp. 629-638). New York, NY: ACM Press.
    • (2012) Proceedings of the 21st World Wide Web Conference (2012). WWW 2012 , pp. 629-638
    • Arenas, M.1    Conca, S.2    Pérez, J.3
  • 10
    • 78049358726 scopus 로고    scopus 로고
    • Turtle - Terse RDF triple language
    • January 14 (Retrieved, 15 April 2013
    • Beckett, D., & Berners-Lee, T. (2008, January 14). Turtle-terse RDF triple language. W3C Team Submission. (Retrieved, 15 April 2013, from http://www.w3.org/TeamSubmission/turtle/)
    • (2008) W3C Team Submission
    • Beckett, D.1    Berners-Lee, T.2
  • 12
    • 49949099422 scopus 로고    scopus 로고
    • Retrieved, 15 April 2013
    • Berners-Lee, T. (2006). Linked data. (Retrieved, 15 April 2013, from http://www.w3.org/DesignIssues/LinkedData.html)
    • (2006) Linked Data
    • Berners-Lee, T.1
  • 13
    • 38149090959 scopus 로고    scopus 로고
    • Rule interchange on the web
    • G. Antoniou, et al. (Eds.) Dresden, Germany, September 3-7, 2007, tutorial lectures. New York, NY: Springer
    • Boley, H., Kifer, M., Pǎtrânjan, P.-L., & Polleres, A. (2007). Rule interchange on the web. In G. Antoniou, et al. (Eds.), Reasoning Web, Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, tutorial lectures (pp. 269-309). New York, NY: Springer.
    • (2007) Reasoning Web, Third International Summer School 2007 , pp. 269-309
    • Boley, H.1    Kifer, M.2    Pǎtrânjan, P.-L.3    Polleres, A.4
  • 15
    • 33846547470 scopus 로고    scopus 로고
    • RDF vocabulary description language 1.0: RDF schema
    • February 10 (Retrieved, 15 April 2013
    • Brickley, D., & Guha, R. (2004, February 10). RDF vocabulary description language 1.0: RDF schema. W3C Recommendation. (Retrieved, 15 April 2013, from http://www.w3.org/TR/rdf-schema/)
    • (2004) W3C Recommendation
    • Brickley, D.1    Guha, R.2
  • 17
    • 33646062882 scopus 로고    scopus 로고
    • External sources of computation for answer set solvers
    • C. Baral, G. Greco, N. Leone & G. Terracina (Eds.) Diamante, Italy, September 5-8, 2005, proceedings. Berlin: Springer
    • Calimeri, F., & Ianni, G. (2005). External sources of computation for answer set solvers. In C. Baral, G. Greco, N. Leone & G. Terracina (Eds.), Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, proceedings (pp. 105-118). Berlin: Springer.
    • (2005) Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005 , pp. 105-118
    • Calimeri, F.1    Ianni, G.2
  • 20
    • 84863621044 scopus 로고    scopus 로고
    • SPARQL query containment under RDFS entailment regime
    • B. Gramlich, D. Miller & U. Sattler (Eds.) Manchester, UK, June 26-29, 2012. New York, NY: Springer
    • Chekol, M. W., Euzenat, J., Genevés, P., & Layaïda, N. (2012). SPARQL query containment under RDFS entailment regime. In B. Gramlich, D. Miller & U. Sattler (Eds.), Automated Reasoning-6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 (pp. 134-148). New York, NY: Springer.
    • (2012) Automated Reasoning - 6th International Joint Conference, IJCAR 2012 , pp. 134-148
    • Chekol, M.W.1    Euzenat, J.2    Genevés, P.3    Layaïda, N.4
  • 21
    • 33845202326 scopus 로고    scopus 로고
    • A relational algebra for SPARQL
    • September 28 Bristol: HP Labs
    • Cyganiak, R. (2005, September 28). A relational algebra for SPARQL (Tech. Rep. No. HPL-2005-170). Bristol: HP Labs.
    • (2005) Tech. Rep. No. HPL-2005-170
    • Cyganiak, R.1
  • 23
    • 84879643055 scopus 로고    scopus 로고
    • R2RML: RDB to RDF mapping language
    • September 27 (Retrieved, 15 April 2013
    • Das, S., Sundara, S., & Cyganiak, R. (2012, September 27). R2RML: RDB to RDF mapping language. W3C Recommendation. (Retrieved, 15 April 2013, from http://www.w3.org/TR/2012/REC-r2rml-20120927/)
    • (2012) W3C Recommendation
    • Das, S.1    Sundara, S.2    Cyganiak, R.3
  • 24
    • 79961205140 scopus 로고    scopus 로고
    • RIF RDF and OWL compatibility
    • June 22 (Retrieved, 15 April 2013
    • de Bruijn, J. (2010, June 22). RIF RDF and OWL compatibility. W3C Recommendation. (Retrieved, 15 April 2013, from http://www.w3.org/TR/rif-rdf- owl/)
    • (2010) W3C Recommendation
    • De Bruijn, J.1
  • 25
    • 84880863877 scopus 로고    scopus 로고
    • Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination
    • M. M. Veloso (Ed.) Hyderabad, India, January 6-12, 2007. Menlo Park, CA: AAAI Press
    • de Bruijn, J., Eiter, T., Polleres, A., & Tompits, H. (2007). Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination. In M. M. Veloso (Ed.), IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007 (pp. 304-309). Menlo Park, CA: AAAI Press.
    • (2007) IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence , pp. 304-309
    • De Bruijn, J.1    Eiter, T.2    Polleres, A.3    Tompits, H.4
  • 26
    • 84883476175 scopus 로고    scopus 로고
    • Logical reconstruction of normative RDF
    • B. C. Grau, I. Horrocks, B. Parsia, & P. F. Patel-Schneider (Eds.) Galway, Ireland, November 11-12, 2005. Tilburg: CEUR-WS.org. (Retrieved, 15 April 2013
    • de Bruijn, J., Franconi, E., & Tessaris, S. (2005). Logical reconstruction of normative RDF. In B. C. Grau, I. Horrocks, B. Parsia, & P. F. Patel-Schneider (Eds.), Proceedings of the OWLED 05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005. Tilburg: CEUR-WS.org. (Retrieved, 15 April 2013, from http://ceur-ws.org/Vol-188/sub24. pdf)
    • (2005) Proceedings of the OWLED 05 Workshop on OWL: Experiences and Directions
    • De Bruijn, J.1    Franconi, E.2    Tessaris, S.3
  • 27
    • 38149083395 scopus 로고    scopus 로고
    • Quantified equilibrium logic and hybrid rules
    • M. Marchiori, J. Z. Pan & C. de Sainte Marie (Eds.) Innsbruck, Austria, June 7-8, 2007, proceedings. Berlin: Springer
    • de Bruijn, J., Pearce, D., Polleres, A., & Valverde, A. (2007). Quantified equilibrium logic and hybrid rules. In M. Marchiori, J. Z. Pan & C. de Sainte Marie (Eds.), Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, proceedings (pp. 58-72). Berlin: Springer.
    • (2007) Web Reasoning and Rule Systems, First International Conference, RR 2007 , pp. 58-72
    • De Bruijn, J.1    Pearce, D.2    Polleres, A.3    Valverde, A.4
  • 29
    • 33744811735 scopus 로고    scopus 로고
    • Internationalized Resource Identifiers (IRIs)
    • January (Proposed Standard). Retrieved, 15 April 2013
    • Duerst, M., & Suignard, M. (2005, January). Internationalized Resource Identifiers (IRIs). RFC 3987 (Proposed Standard). Retrieved, 15 April 2013, from http://www.ietf.org/rfc/rfc3987.txt
    • (2005) RFC , vol.3987
    • Duerst, M.1    Suignard, M.2
  • 31
    • 57849149547 scopus 로고    scopus 로고
    • Rules and ontologies for the semantic web
    • C. Baroglio, P. A. Bonatti, J. Maluszynski, M. Marchiori, A. Polleres & S. Schaffert (Eds.) Venice, Italy, September 7-11, 2008, tutorial lectures. New York, NY: Springer
    • Eiter, T., Ianni, G., Krennwallner, T., & Polleres, A. (2008). Rules and ontologies for the semantic web. In C. Baroglio, P. A. Bonatti, J. Maluszynski, M. Marchiori, A. Polleres & S. Schaffert (Eds.), Reasoning Web, 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, tutorial lectures (pp. 1-53). New York, NY: Springer.
    • (2008) Reasoning Web, 4th International Summer School 2008 , pp. 1-53
    • Eiter, T.1    Ianni, G.2    Krennwallner, T.3    Polleres, A.4
  • 32
    • 33750028273 scopus 로고    scopus 로고
    • Reasoning with rules and ontologies
    • Pedro Barahona, François Bry, Enrico Franconi, Ulrike Sattler & Nicola Henze (Eds.) Lisbon, Portugal, September 4-8, 2006, tutorial lectures. New York, NY: Springer
    • Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., & Tompits, H. (2006). Reasoning with rules and ontologies. In Pedro Barahona, François Bry, Enrico Franconi, Ulrike Sattler & Nicola Henze (Eds.), Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, tutorial lectures (pp. 93-127). New York, NY: Springer.
    • (2006) Reasoning Web, Second International Summer School 2006 , pp. 93-127
    • Eiter, T.1    Ianni, G.2    Polleres, A.3    Schindlauer, R.4    Tompits, H.5
  • 33
    • 84880721144 scopus 로고    scopus 로고
    • A uniform integration of higher-order reasoning and external evaluations in answer set programming
    • L. Pack Kaelbling & A. Saffiotti (Eds.) Edinburgh, Scotland, UK, July 30-August 5, 2005. Denver, CO: Professional Book Center
    • Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2005). A uniform integration of higher-order reasoning and external evaluations in answer set programming. In L. Pack Kaelbling & A. Saffiotti (Eds.), IJCAI-05, proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005 (pp. 90-96). Denver, CO: Professional Book Center.
    • (2005) IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence , pp. 90-96
    • Eiter, T.1    Ianni, G.2    Schindlauer, R.3    Tompits, H.4
  • 36
    • 22944450067 scopus 로고    scopus 로고
    • Recursive aggregates in disjunctive logic programs: Semantics and complexity
    • J. J. Alferes & J. Leite (Eds.) Lisbon, Portugal, September 27-30, 2004, proceedings. Berlin: Springer
    • Faber, W., Leone, N., & Pfeifer, G. (2004). Recursive aggregates in disjunctive logic programs: semantics and complexity. In J. J. Alferes & J. Leite (Eds.), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, proceedings (pp. 200-212). Berlin: Springer.
    • (2004) Logics in Artificial Intelligence, 9th European Conference, JELIA 2004 , pp. 200-212
    • Faber, W.1    Leone, N.2    Pfeifer, G.3
  • 38
    • 84990606045 scopus 로고
    • Unfounded sets and well-founded semantics for general logic programs
    • Alberto O. Mendelzon & Jan Paredaens (Eds.) June 1-3, 1998, Seattle, Washington, USA. New York, NY: ACM Press
    • Gelder, A. V., Ross, K., & Schlipf, J. S. (1988). Unfounded sets and well-founded semantics for general logic programs. In Alberto O. Mendelzon & Jan Paredaens (Eds.), Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 1-3, 1998, Seattle, Washington, USA (pp. 221-230). New York, NY: ACM Press.
    • (1988) Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems , pp. 221-230
    • Gelder, A.V.1    Ross, K.2    Schlipf, J.S.3
  • 39
    • 0001119421 scopus 로고
    • The stable model semantics for logic programming
    • R. A. Kowalski & K. Bowen (Eds.) Seattle, Washington, August 15-19, 1988. Cambridge, MA, 1988. MIT Press
    • Gelfond, M., & Lifschitz, V. (1988). The stable model semantics for logic programming. In R. A. Kowalski & K. Bowen (Eds.), Logic Programming, proceedings of the Fifth International Conference and Symposium, Seattle, Washington, August 15-19, 1988 (pp. 1070-1080). Cambridge, MA, 1988. MIT Press.
    • (1988) Logic Programming, Proceedings of the Fifth International Conference and Symposium , pp. 1070-1080
    • Gelfond, M.1    Lifschitz, V.2
  • 40
    • 77951505493 scopus 로고
    • Classical negation in logic programs and disjunctive databases
    • Gelfond, M, and, Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9: 365-385.
    • (1991) New Generation Computing , vol.9 , pp. 365-385
    • Gelfond, M.1    Lifschitz, V.2
  • 43
    • 84879646163 scopus 로고    scopus 로고
    • SPARQL 1.1 entailment regimes
    • SPARQL 1.1 entailment regimes March 21 (Retrieved, 15 April 2013
    • Glimm, B., Ogbuji, C., Hawke, S., Herman, I., Parsia, B., Polleres, A., & Seaborne, A. SPARQL 1.1 Entailment Regimes. (2013, March 21). SPARQL 1.1 Entailment Regimes. W3C Recommendation. (Retrieved, 15 April 2013, from http://www.w3.org/TR/sparql11-entailment/)
    • (2013) W3C Recommendation
    • Glimm, B.1    Ogbuji, C.2    Hawke, S.3    Herman, I.4    Parsia, B.5    Polleres, A.6    Seaborne, A.7
  • 44
  • 45
    • 84880493386 scopus 로고    scopus 로고
    • Description logic programs: Combining logic programs with description logics
    • The International World Wide Web Conferences Steering Committee (Ed.) Budapest, Hungary, 20-24 May 2003. New York, NY: ACM Press
    • Grosof, B. N., Horrocks, I., Volz, R., & Decker, S. (2003). Description logic programs: combining logic programs with description logics. In The International World Wide Web Conferences Steering Committee (Ed.), Proceedings of the Twelfth International World Wide Web Conference, WWW2003, Budapest, Hungary, 20-24 May 2003 (pp. 48-57). New York, NY: ACM Press.
    • (2003) Proceedings of the Twelfth International World Wide Web Conference, WWW2003 , pp. 48-57
    • Grosof, B.N.1    Horrocks, I.2    Volz, R.3    Decker, S.4
  • 46
    • 84879655030 scopus 로고    scopus 로고
    • SPARQL 1.1 query language
    • March 21(Retrieved, 15 April 2013
    • Harris, S., & Seaborne, A. (2013, March 21). SPARQL 1.1 query language. W3C Recommendation. (Retrieved, 15 April 2013, from http://www.w3.org/TR/sparql11-query/)
    • (2013) W3C Recommendation
    • Harris, S.Y.1    Seaborne, A.J.2
  • 47
    • 9344230770 scopus 로고    scopus 로고
    • RDF semantics
    • February 10 (Retrieved, 15 April 2013
    • Hayes, P. (2004, February 10). RDF semantics. W3C Recommendation. (Retrieved, 15 April 2013, from http://www.w3.org/TR/rdf-mt/)
    • (2004) W3C Recommendation
    • Hayes, P.1
  • 49
    • 77958547336 scopus 로고    scopus 로고
    • Dynamic querying of mass-storage RDF data with rule-based entailment regimes
    • A. Bernstein et al. (Eds.) Chantilly, VA, USA, October 25-29, 2009. Proceedings. New York, NY: Springer
    • Ianni, G., Krennwallner, T., Martello, A., & Polleres, A. (2009). Dynamic querying of mass-storage RDF data with rule-based entailment regimes. In A. Bernstein et al. (Eds.), The Semantic Web-ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings (pp. 310-327). New York, NY: Springer.
    • (2009) The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009 , pp. 310-327
    • Ianni, G.1    Krennwallner, T.2    Martello, A.3    Polleres, A.4
  • 50
    • 84879630602 scopus 로고    scopus 로고
    • RIF overview
    • December 11 (Retrieved, 15 April 2013
    • Kifer, M., & Boley, H. (2012, December 11). RIF overview. W3C Working Group Note. (Retrieved, 15 April 2013, from http://www.w3.org/TR/rif-overview/)
    • (2012) W3C Working Group Note
    • Kifer, M.1    Boley, H.2
  • 51
    • 84861918148 scopus 로고    scopus 로고
    • SPARQL query answering over OWL ontologies
    • December 11 G. Antoniou, et al. (Eds.) Heraklion, Crete, Greece, May 29-June 2, 2011, proceedings, part I. New York, NY: Springer
    • Kollia, I., Glimm, B., & Horrocks, I. (2011). SPARQL query answering over OWL ontologies. In G. Antoniou, et al. (Eds.), The Semantic Web: Research and Applications-8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, proceedings, part I (p. 382396). New York, NY: Springer.
    • (2011) The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011 , pp. 382396
    • Kollia, I.1    Glimm, B.2    Horrocks, I.3
  • 53
    • 36349031776 scopus 로고    scopus 로고
    • Complexity boundaries for Horn description logics
    • R. C. Holte & A. Howe (Eds.) July 22-26, 2007, Vancouver, British Columbia, Canada. Menlo Park, CA: AAAI Press
    • Krötzsch, M., Rudolph, S., & Hitzler, P. (2007a). Complexity boundaries for Horn description logics. In R. C. Holte & A. Howe (Eds.), Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada (pp. 452-457). Menlo Park, CA: AAAI Press.
    • (2007) Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence , pp. 452-457
    • Krötzsch, M.1    Rudolph, S.2    Hitzler, P.3
  • 56
    • 0032156942 scopus 로고    scopus 로고
    • Combining Horn rules and description logics in CARIN
    • Levy, AY, and, Rousset, M-C. 1998. Combining Horn rules and description logics in CARIN. Artificial Intelligence, 104: 165-209.
    • (1998) Artificial Intelligence , vol.104 , pp. 165-209
    • Levy, A.Y.1    Rousset, M.-C.2
  • 57
    • 0002239899 scopus 로고    scopus 로고
    • Answer set planning
    • D. D. Schreye (Ed.)Las Cruces, New Mexico, USA, November 29-December 4, 1999. Cambridge, MA: MIT Press
    • Lifschitz, V. (1999). Answer set planning. In D. D. Schreye (Ed.), Logic Programming: the 1999 International Conference, Las Cruces, New Mexico, USA, November 29-December 4, 1999 (pp. 23-37). Cambridge, MA: MIT Press.
    • (1999) Logic Programming: The 1999 International Conference , pp. 23-37
    • Lifschitz, V.1
  • 58
    • 84862593307 scopus 로고    scopus 로고
    • The complexity of evaluating path expressions in SPARQL
    • M. Benedikt, M. Krötzsch & M. Lenzerini (Eds.)Scottsdale, AZ, USA, May 20-24, 2012. New York, NY: ACM Press
    • Losemann, K., & Martens, W. (2012). The complexity of evaluating path expressions in SPARQL. In M. Benedikt, M. Krötzsch & M. Lenzerini (Eds.), Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2012, Scottsdale, AZ, USA, May 20-24, 2012 (pp. 101-112). New York, NY: ACM Press.
    • (2012) Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2012 , pp. 101-112
    • Losemann, K.1    Martens, W.2
  • 59
    • 57149133743 scopus 로고    scopus 로고
    • An effective SPARQL support over relational databases
    • V. Christophides, M. Collard & C. Gutierrez (Eds.) Vienna, Austria, September 24, 2007, revised selected papers. New York, NY: Springer
    • Lu, J., Cao, F., Ma, L., Yu, Y., & Pan, Y. (2007). An effective SPARQL support over relational databases. In V. Christophides, M. Collard & C. Gutierrez (Eds.), Semantic Web, Ontologies and Databases, VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, revised selected papers (pp. 57-76). New York, NY: Springer.
    • (2007) Semantic Web, Ontologies and Databases, VLDB Workshop, SWDB-ODBIS 2007 , pp. 57-76
    • Lu, J.1    Cao, F.2    Ma, L.3    Yu, Y.4    Pan, Y.5
  • 60
    • 77956992349 scopus 로고    scopus 로고
    • A novel combination of answer set programming with description logics for the semantic web
    • Lukasiewicz, T. 2010. A novel combination of answer set programming with description logics for the semantic web. IEEE Transactions on Knowledge and Data Engineering, 22: 1577-1592.
    • (2010) IEEE Transactions on Knowledge and Data Engineering , vol.22 , pp. 1577-1592
    • Lukasiewicz, T.1
  • 61
    • 77953998625 scopus 로고    scopus 로고
    • RDF primer
    • February 10 (Retrieved, 15 April 2013
    • Manola, F., & Miller, E. (2004, February 10). RDF primer. W3C Recommendation. (Retrieved, 15 April 2013, from http://www.w3.org/TR/rdf-primer/ )
    • (2004) W3C Recommendation
    • Manola, F.1    Miller, E.2
  • 62
    • 0001775594 scopus 로고    scopus 로고
    • Stable models and an alternative logic programming paradigm
    • K. R. Apt, V. W. Marek, M. Truszczynski & D. S. Warren (Eds.) Berlin: Springer.
    • Marek, V. W. (1999). Stable models and an alternative logic programming paradigm. In K. R. Apt, V. W. Marek, M. Truszczynski & D. S. Warren (Eds.), In the logic programming paradigm: a 25-year perspective (pp. 375-398). Berlin: Springer.
    • (1999) The Logic Programming Paradigm: A 25-year Perspective , pp. 375-398
    • Marek, V.W.1
  • 63
    • 84879614110 scopus 로고    scopus 로고
    • OWL 2 web ontology language profiles (second edition)
    • December 11 (Retrieved, 15 April 2013
    • Motik, B., Grau, B. C., Horrocks, I., Wu, Z., Fokoue, A., & Lutz, C. (Eds.). (2012, December 11). OWL 2 web ontology language profiles (second edition). W3C Recommendation. (Retrieved, 15 April 2013, from http://www.w3.org/TR/2012/ REC-owl2-profiles-20121211/)
    • (2012) W3C Recommendation
    • Motik, B.1    Grau, B.C.2    Horrocks, I.3    Wu, Z.4    Fokoue, A.5    Lutz, C.6
  • 64
    • 84880854013 scopus 로고    scopus 로고
    • A faithful integration of description logics with logic programming
    • M. M. Veloso (Ed.) Hyderabad, India, January 6-12, 2007. Menlo Park, CA: AAAI Press
    • Motik, B., & Rosati, R. (2007). A faithful integration of description logics with logic programming. In M. M. Veloso (Ed.), IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007 (pp. 477-482). Menlo Park, CA: AAAI Press.
    • (2007) IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence , pp. 477-482
    • Motik, B.1    Rosati, R.2
  • 66
    • 0033260715 scopus 로고    scopus 로고
    • Logic programs with stable model semantics as a constraint programming paradigm
    • Niemelä, I. 1999. Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 25: 241-273.
    • (1999) Annals of Mathematics and Artificial Intelligence , vol.25 , pp. 241-273
    • Niemelä, I.1
  • 67
    • 84958675071 scopus 로고    scopus 로고
    • Stable model semantics of weight constraint rules
    • M. Gelfond, N. Leone & G. Pfeifer (Eds.) El Paso, Texas, USA, December 2-4, 1999, proceedings. New York, NY: Springer
    • Niemelä, I., Simons, P., & Soininen, T. (1999). Stable model semantics of weight constraint rules. In M. Gelfond, N. Leone & G. Pfeifer (Eds.), Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR99, El Paso, Texas, USA, December 2-4, 1999, proceedings (pp. 317-331). New York, NY: Springer.
    • (1999) Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR99 , pp. 317-331
    • Niemelä, I.1    Simons, P.2    Soininen, T.3
  • 68
    • 58549108075 scopus 로고    scopus 로고
    • Quantified equilibrium logic and foundations for answer set programs
    • M. Garcia de la Banda & E. Pontelli (Eds.) Udine, Italy, December 9-13 2008, proceedings. New York, NY: Springer
    • Pearce, D., & Valverde, A. (2008). Quantified equilibrium logic and foundations for answer set programs. In M. Garcia de la Banda & E. Pontelli (Eds.), Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, proceedings (pp. 546-560). New York, NY: Springer.
    • (2008) Logic Programming, 24th International Conference, ICLP 2008 , pp. 546-560
    • Pearce, D.1    Valverde, A.2
  • 70
    • 57349198354 scopus 로고    scopus 로고
    • SPARQL: A navigational language for RDF
    • A. P. Sheth et al. (Eds.) Karlsruhe, Germany, October 26-30, 2008. Proceedings. New York, NY: Springer
    • Pérez, J., Arenas, M., & Gutierrez, C. (2008). nSPARQL: a navigational language for RDF. In A. P. Sheth et al. (Eds.), The Semantic Web-ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings (pp. 66-81). New York, NY: Springer.
    • (2008) The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008 , pp. 66-81
    • Pérez, J.1    Arenas, M.2    Gutierrez, C.3
  • 71
    • 70349088138 scopus 로고    scopus 로고
    • Semantics and complexity of SPARQL
    • Article 16. doi: 10.1145/1567274.1567278
    • Pérez, J., Arenas, M., & Gutierrez, C. (2009). Semantics and complexity of SPARQL. ACM Transactions on Database Systems, 34 (3), Article 16. doi: 10.1145/1567274.1567278.
    • (2009) ACM Transactions on Database Systems , vol.34 , Issue.3
    • Pérez, J.1    Arenas, M.2    Gutierrez, C.3
  • 72
    • 35348900819 scopus 로고    scopus 로고
    • From SPARQL to rules (and back)
    • C. L. Williamson, M. E. Zurko, P. F. Patel-Schneider & P. J. Shenoy (Eds.) Banff, Alberta, Canada, May 8-12, 2007. New York, NY: ACM Press
    • Polleres, A. (2007). From SPARQL to rules (and back). In C. L. Williamson, M. E. Zurko, P. F. Patel-Schneider & P. J. Shenoy (Eds.), Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007 (pp. 787-796). New York, NY: ACM Press.
    • (2007) Proceedings of the 16th International Conference on World Wide Web, WWW 2007 , pp. 787-796
    • Polleres, A.1
  • 73
    • 84963715344 scopus 로고    scopus 로고
    • Agreement technologies and the semantic web
    • S. Ossowski (Ed.) New York, NY: Springer
    • Polleres, A. (2013). Agreement technologies and the semantic web. In S. Ossowski (Ed.), Agreement technologies (pp. 57-68). New York, NY: Springer.
    • (2013) Agreement Technologies , pp. 57-68
    • Polleres, A.1
  • 76
    • 45449111881 scopus 로고    scopus 로고
    • SPARQL query language for RDF
    • January 15 (Retrieved, 15 April 2013
    • Prudhommeaux, E., & Seaborne, A. (2008, January 15). SPARQL query language for RDF. W3C Recommendation. (Retrieved, 15 April 2013, from http://www.w3.org/TR/rdf-sparql-query/)
    • (2008) W3C Recommendation
    • Prudhommeaux, E.1    Seaborne, A.2
  • 77
    • 0001599027 scopus 로고
    • On the declarative semantics of deductive databases and logic programs
    • J. Minker (Ed.) San Francisco, CA: Morgan Kaufmann
    • Przymusinski, T. C. (1988). On the declarative semantics of deductive databases and logic programs. In J. Minker (Ed.), Foundations of deductive databases and logic programming (pp. 193-216). San Francisco, CA: Morgan Kaufmann.
    • (1988) Foundations of Deductive Databases and Logic Programming , pp. 193-216
    • Przymusinski, T.C.1
  • 78
    • 21244492715 scopus 로고    scopus 로고
    • On the decidability and complexity of integrating ontologies and rules
    • Rosati, R. 2005. On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics, 3: 61-73.
    • (2005) Journal of Web Semantics , vol.3 , pp. 61-73
    • Rosati, R.1
  • 79
    • 33646205492 scopus 로고    scopus 로고
    • Semantic and computational advantages of the safe integration of ontologies and rules
    • F. Fages & S. Soliman (Eds.) Dagstuhl Castle, Germany, September 11-16, 2005, proceedings. New York, NY: Springer
    • Rosati, R. (2005). Semantic and computational advantages of the safe integration of ontologies and rules. In F. Fages & S. Soliman (Eds.), Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, proceedings (pp. 50-64). New York, NY: Springer.
    • (2005) Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005 , pp. 50-64
    • Rosati, R.1
  • 80
    • 33749985726 scopus 로고    scopus 로고
    • Integrating ontologies and rules: Semantic and computational issues
    • P. Barahona, F. Bry, E. Franconi, U. Sattler & N. Henze (Eds.) Lisbon, Portugal, September 4-8, 2006, tutorial lectures. New York, NY: Springer
    • Rosati, R. (2006). Integrating ontologies and rules: semantic and computational issues. In P. Barahona, F. Bry, E. Franconi, U. Sattler & N. Henze (Eds.), Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, tutorial lectures (pp. 128-151). New York, NY: Springer.
    • (2006) Reasoning Web, Second International Summer School 2006 , pp. 128-151
    • Rosati, R.1
  • 81
    • 84860600786 scopus 로고    scopus 로고
    • Tight integration of description logics and disjunctive datalog
    • P. Doherty, J. Mylopoulos & C. Welty (Eds.) Lake District of the United Kingdom, June 2-5, 2006. Menlo Park, CA: AAAI Press
    • Rosati, R. (2006). + log: tight integration of description logics and disjunctive datalog. In P. Doherty, J. Mylopoulos & C. Welty (Eds.), Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006 (pp. 68-78). Menlo Park, CA: AAAI Press.
    • (2006) Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning , pp. 68-78
    • Rosati, R.1
  • 82
    • 36949029532 scopus 로고    scopus 로고
    • Universität Koblenz-Landau, Koblenz, Germany. (Retrieved, 15 April 2013
    • Schenk, S., & Staab, S. (2007). Networked RDF graphs. Universität Koblenz-Landau, Koblenz, Germany. (Retrieved, 15 April 2013, from http://www.uni-koblenz.de/ sschenk/publications/2006/ngtr.pdf)
    • (2007) Networked RDF Graphs
    • Schenk, S.1    Staab, S.2
  • 83
    • 57349107025 scopus 로고    scopus 로고
    • Networked graphs: A declarative mechanism for SPARQL rules, SPARQL views and RDF data integration on the web
    • J. Huai, et al. (Eds.) Beijing, China, April 21-25, 2008 New York, NY: ACM Press
    • Schenk, S., & Staab, S. (2008). Networked graphs: a declarative mechanism for SPARQL rules, SPARQL views and RDF data integration on the web. In J. Huai, et al. (Eds.), Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21-25, 2008 (pp. 585-594). New York, NY: ACM Press.
    • (2008) Proceedings of the 17th International Conference on World Wide Web, WWW 2008 , pp. 585-594
    • Schenk, S.1    Staab, S.2
  • 85
    • 77954493935 scopus 로고    scopus 로고
    • Foundations of SPARQL query optimization
    • L. Segoufin (Ed.) Lausanne, Switzerland, March 23-25, 2010, proceedings. New York, NY: ACM Press
    • Sequeda, M., Meier, M., & Lausen, G. (2010). Foundations of SPARQL query optimization. In L. Segoufin (Ed.), Database Theory-ICDT 2010, 13th International Conference, Lausanne, Switzerland, March 23-25, 2010, proceedings (pp. 4-33). New York, NY: ACM Press.
    • (2010) Database Theory - ICDT 2010, 13th International Conference , pp. 4-33
    • Sequeda, M.1    Meier, M.2    Lausen, G.3
  • 86
    • 84860857420 scopus 로고    scopus 로고
    • On directly mapping relational databases to RDF and OWL
    • A. Mille, F. L. Gandon, J. Misselis, M. Rabinovich & S. Staab (Eds.) Lyon, France, April 16-20, 2012. New York, NY: ACM Press
    • Sequeda, J., Arenas, M., & Miranker, D. P. (2012). On directly mapping relational databases to RDF and OWL. In A. Mille, F. L. Gandon, J. Misselis, M. Rabinovich & S. Staab (Eds.), Proceedings of the 21st World Wide Web Conference 2012, WWW 2012, Lyon, France, April 16-20, 2012 (pp. 649-658). New York, NY: ACM Press.
    • (2012) Proceedings of the 21st World Wide Web Conference 2012, WWW 2012 , pp. 649-658
    • Sequeda, J.1    Arenas, M.2    Miranker, D.P.3
  • 87
    • 6344271958 scopus 로고    scopus 로고
    • OWL web ontology language guide
    • February 10(Retrieved, 15 April 2013
    • Smith, M. K., Welty, C., & McGuinness, D. L. (2004, February 10). OWL web ontology language guide. W3C Recommendation. (Retrieved, 15 April 2013, from http://www.w3.org/TR/owl-guide/)
    • (2004) W3C Recommendation
    • Smith, M.K.1    Welty, C.2    McGuinness, D.L.3
  • 88
    • 0003665231 scopus 로고    scopus 로고
    • Information technology - Database language SQL - Part 3: Call level interface
    • SQL-99. (, October 1) INCITS/ ISO/IEC. (Standard specification.)
    • SQL-99. (1999, October 1). Information technology-database language SQL-part 3: call level interface (SQL/CLI) (Tech. Rep. No. INCITS/ISO/IEC 9075-3). INCITS/ ISO/IEC. (Standard specification.).
    • (1999) (SQL/CLI) (Tech. Rep. No. INCITS/ISO/IEC 9075-3)
  • 90
    • 84863514334 scopus 로고    scopus 로고
    • OWL 2 web ontology language document overview (second edition)
    • W3C OWL 2 Working Group. ( December 11) (Retrieved, 15 April 2013
    • W3C OWL 2 Working Group. (2012, December 11). OWL 2 web ontology language document overview (second edition). W3C Recommendation. (Retrieved, 15 April 2013, from http://www.w3.org/TR/owl2-overview/)
    • (2012) W3C Recommendation


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.