{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:30:37Z","timestamp":1725514237271},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540682332"},{"type":"electronic","value":"9783540682349"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68234-9_17","type":"book-chapter","created":{"date-parts":[[2008,5,23]],"date-time":"2008-05-23T13:43:26Z","timestamp":1211550206000},"page":"200-214","source":"Crossref","is-referenced-by-count":10,"title":["dRDF: Entailment for Domain-Restricted RDF"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Pichler","sequence":"first","affiliation":[]},{"given":"Axel","family":"Polleres","sequence":"additional","affiliation":[]},{"given":"Fang","family":"Wei","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Woltran","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. Cambridge (2003)"},{"key":"17_CR2","unstructured":"Beckett, D.: Turtle - Terse RDF Triple Language (November 2007), available at \n                    \n                      http:\/\/www.dajobe.org\/2004\/01\/turtle\/"},{"issue":"1-2","key":"17_CR3","first-page":"1","volume":"11","author":"H.L. Bodlaender","year":"1993","unstructured":"Bodlaender, H.L.: A tourist guide through treewidth. Acta Cybern.\u00a011(1-2), 1\u201322 (1993)","journal-title":"Acta Cybern."},{"issue":"6","key":"17_CR4","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1137\/S0097539793251219","volume":"25","author":"H.L. Bodlaender","year":"1996","unstructured":"Bodlaender, H.L.: A linear-time algorithm for finding tree-decompositions of small treewidth. SIAM J. Comput.\u00a025(6), 1305\u20131317 (1996)","journal-title":"SIAM J. Comput."},{"issue":"2","key":"17_CR5","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/S0304-3975(99)00220-0","volume":"239","author":"C. Chekuri","year":"2000","unstructured":"Chekuri, C., Rajaraman, A.: Conjunctive query containment revisited. Theor. Comput. Sci.\u00a0239(2), 211\u2013229 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"17_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/11811220_1","volume-title":"Knowledge Science, Engineering and Management","author":"J. Bruijn de","year":"2006","unstructured":"de Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: On representational issues about combinations of classical theories with nonmonotonic rules. In: Lang, J., Lin, F., Wang, J. (eds.) KSEM 2006. LNCS (LNAI), vol.\u00a04092, Springer, Heidelberg (2006)"},{"key":"17_CR7","volume-title":"Proc. WebS 2007","author":"J. Bruijn de","year":"2007","unstructured":"de Bruijn, J., Heymans, S.: RDF and logic: Reasoning and extension. In: Proc. WebS 2007, IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"17_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0515-9","volume-title":"Parameterized Complexity","author":"R.G. Downey","year":"1999","unstructured":"Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer, Heidelberg (1999)"},{"key":"17_CR9","unstructured":"Conolly, D. (ed.): Gleaning Resource Descriptions from Dialects of Languages (GRDDL). W3C recommendation (September 2007)"},{"key":"17_CR10","unstructured":"Hayes, P. (ed.): RDF Semantics. W3C Recommendation (February 2004)"},{"key":"17_CR11","volume-title":"Reasoning Web 2006","author":"T. Eiter","year":"2006","unstructured":"Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., Tompits, H.: Reasoning with rules and ontologies. In: Reasoning Web 2006, Springer, Heidelberg (2006)"},{"issue":"2","key":"17_CR12","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1093\/logcom\/6.2.173","volume":"6","author":"C.G. Ferm\u00fcller","year":"1996","unstructured":"Ferm\u00fcller, C.G., Leitsch, A.: Hyperresolution and automated model building. J. Log. Comput.\u00a06(2), 173\u2013203 (1996)","journal-title":"J. Log. Comput."},{"key":"17_CR13","volume-title":"Proc. WWW 2003","author":"B. Grosof","year":"2003","unstructured":"Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proc. WWW 2003, ACM Press, New York (2003)"},{"key":"17_CR14","volume-title":"Proc. PODS 2004","author":"C. Guti\u00e9rrez","year":"2004","unstructured":"Guti\u00e9rrez, C., Hurtado, C.A., Mendelzon, A.O.: Foundations of semantic web databases. In: Proc. PODS 2004, ACM Press, New York (2004)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Heymans, S., de Bruijn, J., Predoiu, L., Feier, C., Van Nieuwenborgh, D.: Guarded hybrid knowledge bases. Theory and Practice of Logic Programming (to appear, 2008)","DOI":"10.1017\/S1471068407003201"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"The Semantic Web - ISWC 2003","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, Springer, Heidelberg (2003)"},{"key":"17_CR17","unstructured":"Ianni, G., Martello, A., Panetta, C., Terracina, G.: Faithful and effective querying of RDF ontologies using DLVDB. In: Proc. ASP 2007 (2007)"},{"key":"17_CR18","unstructured":"Klyne, G., Carroll, J.J. (eds.): Resource Description Framework (RDF): Concepts and Abstract Syntax. W3C Recommendation (February 2004)"},{"key":"17_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-72667-8_6","volume-title":"The Semantic Web: Research and Applications","author":"S. Mu\u00f1oz","year":"2007","unstructured":"Mu\u00f1oz, S., P\u00e9rez, J., Guti\u00e9rrez, C.: Minimal deductive systems for RDF. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol.\u00a04519, pp. 53\u201367. Springer, Heidelberg (2007)"},{"key":"17_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11926078_3","volume-title":"The Semantic Web - ISWC 2006","author":"J. P\u00e9rez","year":"2006","unstructured":"P\u00e9rez, J., Arenas, M., Gutierrez, C.: Semantics and complexity of SPARQL. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, Springer, Heidelberg (2006)"},{"key":"17_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10703163_24","volume-title":"Computer Science Logic","author":"R. Pichler","year":"1999","unstructured":"Pichler, R.: On the complexity of H-subsumption. In: Gottlob, G., Grandjean, E., Seyr, K. (eds.) CSL 1998. LNCS, vol.\u00a01584, Springer, Heidelberg (1999)"},{"key":"17_CR22","unstructured":"Pichler, R., Polleres, A., Wei, F., Woltran, S.: Entailment for domain-restricted RDF (ext.version). Tech. Report DBAI-TR-2008-59, available at \n                    \n                      http:\/\/www.dbai.tuwien.ac.at\/research\/report\/dbai-tr-2008-59.pdf"},{"key":"17_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11762256_26","volume-title":"The Semantic Web: Research and Applications","author":"A. Polleres","year":"2006","unstructured":"Polleres, A., Feier, C., Harth, A.: Rules with contextually scoped negation. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, Springer, Heidelberg (2006)"},{"key":"17_CR24","unstructured":"Prud\u2019hommeaux, E., Seaborne, A. (eds.): SPARQL Query Language for RDF. W3C Proposed Recommendation (November 2007)"},{"key":"17_CR25","volume-title":"Proc. KR 2006","author":"R. Rosati","year":"2006","unstructured":"Rosati, R.: \n                    \n                      \n                    \n                    $\\mathcal{DL}+log$\n                  : Tight integration of description logics and disjunctive datalog. In: Proc. KR 2006, AAAI Press, Menlo Park (2006)"},{"key":"17_CR26","volume-title":"Proc. PODS 1987","author":"O. Shmueli","year":"1987","unstructured":"Shmueli, O.: Decidability and expressiveness aspects of logic queries. In: Proc. PODS 1987, ACM Press, New York (1987)"},{"issue":"2-3","key":"17_CR27","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.websem.2005.06.001","volume":"3","author":"H.J. Horst ter","year":"2005","unstructured":"ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. JWS\u00a03(2-3), 79\u2013115 (2005)","journal-title":"JWS"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Research and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68234-9_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:42:41Z","timestamp":1620016961000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68234-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540682332","9783540682349"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68234-9_17","relation":{},"subject":[]}}