{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:09:09Z","timestamp":1725804549665},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319111124"},{"type":"electronic","value":"9783319111131"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11113-1_5","type":"book-chapter","created":{"date-parts":[[2014,9,6]],"date-time":"2014-09-06T06:32:47Z","timestamp":1409985167000},"page":"60-75","source":"Crossref","is-referenced-by-count":1,"title":["Query Answering over Contextualized RDF\/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity"],"prefix":"10.1007","author":[{"given":"Mathew","family":"Joseph","sequence":"first","affiliation":[]},{"given":"Gabriel","family":"Kuper","sequence":"additional","affiliation":[]},{"given":"Luciano","family":"Serafini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"key":"5_CR2","unstructured":"Baget, J., Mugnier, M., Rudolph, S., Thomazo, M.: Walking the Complexity Lines for Generalized Guarded Existential Rules. In: IJCAI, pp. 712\u2013717 (2011)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/3-540-10843-2_7","volume-title":"Automata, Languages and Programming","author":"C. Beeri","year":"1981","unstructured":"Beeri, C., Vardi, M.Y.: The Implication Problem for Data Dependencies. In: Even, S., Kariv, O. (eds.) ICALP 1981. LNCS, vol.\u00a0115, pp. 73\u201385. Springer, Heidelberg (1981)"},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-3-540-39733-5_7","volume":"1","author":"A. Borgida","year":"2003","unstructured":"Borgida, A., Serafini, L.: Distributed Description Logics: Assimilating Information from Peer Sources. J. Data Semantics\u00a01, 153\u2013184 (2003)","journal-title":"J. Data Semantics"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-540-39718-2_11","volume-title":"The Semantic Web - ISWC 2003","author":"P. Bouquet","year":"2003","unstructured":"Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: C-OWL: Contextualizing Ontologies. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 164\u2013179. Springer, Heidelberg (2003)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-15918-3_1","volume-title":"Web Reasoning and Rule Systems","author":"A. Cal\u00ec","year":"2010","unstructured":"Cal\u00ec, A., Gottlob, G., Pieris, A.: Query Answering under Non-guarded Rules in Datalog+\/-. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol.\u00a06333, pp. 1\u201317. Springer, Heidelberg (2010)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Cali, A., Gottlob, G., Lukasiewicz, T., Marnette, B., Pieris, A.: Datalog+\/-: A Family of Logical Knowledge Representation and Query Languages for New Applications. In: 25th Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 228\u2013242 (July 2010)","DOI":"10.1109\/LICS.2010.27"},{"key":"5_CR8","first-page":"613","volume-title":"Proc. of the 14th Int.l. Conf. on WWW","author":"J. Carroll","year":"2005","unstructured":"Carroll, J., Bizer, C., Hayes, P., Stickler, P.: Named graphs, provenance and trust. In: Proc. of the 14th Int.l. Conf. on WWW, pp. 613\u2013622. ACM, New York (2005)"},{"key":"5_CR9","unstructured":"Cuenca Grau, B., Horrocks, I., Kr\u00f6tzsch, M., Kupke, C., Magka, D., Motik, B., Wang, Z.: Acyclicity Conditions and their Application to Query Answering in Description Logics. In: Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), pp. 243\u2013253. AAAI Press (2012)"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Nash, A., Remmel, J.: The chase revisited. In: Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, pp. 149\u2013158 (2008)","DOI":"10.1145\/1376916.1376938"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/3-540-36285-1_15","volume-title":"Database Theory - ICDT 2003","author":"A. Deutsch","year":"2002","unstructured":"Deutsch, A., Tannen, V.: Reformulation of XML Queries and Constraints. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol.\u00a02572, pp. 225\u2013238. Springer, Heidelberg (2002)"},{"issue":"1","key":"5_CR12","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"28","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data Exchange: Semantics and Query Answering. Theoretical Computer Science\u00a028(1), 89\u2013124 (2005)","journal-title":"Theoretical Computer Science"},{"key":"5_CR13","unstructured":"Ghidini, C., Serafini, L.: Distributed first order logics. In: Frontiers of Combining Systems 2, Studies in Logic and Computation, pp. 121\u2013140. Research Studies Press (1998)"},{"key":"5_CR14","unstructured":"Giunchiglia, F., Ghidini, C.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence\u00a0127 (2001)"},{"key":"5_CR15","unstructured":"Glimm, B., Lutz, C., Horrocks, I., Sattler, U.: Answering conjunctive queries in the \n                    \n                      \n                    \n                    $\\mathcal{SHIQ}$\n                   description logic. In: Proceedings of the IJCAI 2007, pp. 299\u2013404. AAAI Press (2007)"},{"key":"5_CR16","unstructured":"Gottlob, G., Manna, M., Pieris, A.: Polynomial Combined Rewritings for Existential Rules. In: KR 2014: International Conference on Principles of Knowledge Representation and Reasoning (2014)"},{"key":"5_CR17","unstructured":"Guha, R.: Contexts: a Formalization and some Applications. Ph.D. thesis, Stanford (1992)"},{"key":"5_CR18","unstructured":"Harrison, M.A.: Introduction to Formal Language Theory, 1st edn. Addison-Wesley Longman Publishing Company, Inc., Boston (1978)"},{"key":"5_CR19","unstructured":"Hayes, P. (ed.): RDF Semantics. W3C Recommendation (February 2004)"},{"issue":"2-3","key":"5_CR20","doi-asserted-by":"publisher","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. Web Semantics: Science, Services and Agents on the WWW\u00a03(2-3), 79\u2013115 (2005)","journal-title":"Web Semantics: Science, Services and Agents on the WWW"},{"issue":"12","key":"5_CR21","doi-asserted-by":"publisher","first-page":"1029","DOI":"10.1145\/33447.33448","volume":"30","author":"J. McCarthy","year":"1987","unstructured":"McCarthy, J.: Generality in AI. Comm. of the ACM\u00a030(12), 1029\u20131035 (1987)","journal-title":"Comm. of the ACM"},{"key":"5_CR22","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0022-0000(84)90081-3","volume":"28","author":"D.S. Johnson","year":"1984","unstructured":"Johnson, D.S., Klug, A.C.: Testing containment of conjunctive queries under functional and inclusion dependencies. Computer and System Sciences\u00a028, 167\u2013189 (1984)","journal-title":"Computer and System Sciences"},{"key":"5_CR23","unstructured":"Joseph, M., Kuper, G., Serafini, L.: Query Answering over Contextualized RDF\/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version). Tech. rep., CoRR Technical Report arXiv:1406.0893, Arxiv e-Print archive (2014), \n                    \n                      http:\/\/arxiv.org\/abs\/1406.0893"},{"key":"5_CR24","unstructured":"Joseph, M., Serafini, L.: Simple reasoning for contextualized RDF knowledge. In: Proc. of Workshop on Modular Ontologies (WOMO 2011) (2011)"},{"key":"5_CR25","unstructured":"Kr\u00f6tzsch, M., Rudolph, S.: Extending decidable existential rules by joining acyclicity and guardedness. In: Walsh, T. (ed.) Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 963\u2013968. AAAI Press\/IJCAI (2011)"},{"issue":"1","key":"5_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2004.02.002","volume":"156","author":"O. Kutz","year":"2004","unstructured":"Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-Connections of Abstract Description Systems. Artificial Intelligence\u00a0156(1), 1\u201373 (2004)","journal-title":"Artificial Intelligence"},{"key":"5_CR27","unstructured":"Lenat, D.: The Dimensions of Context Space. Tech. rep., CYCorp (1998) published online, \n                    \n                      http:\/\/www.cyc.com\/doc\/context-space.pdf"},{"key":"5_CR28","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1559795.1559799","volume-title":"Proceedings of the Twenty-Eighth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009","author":"B. Marnette","year":"2009","unstructured":"Marnette, B.: Generalized schema-mappings: from termination to tractability. In: Proceedings of the Twenty-Eighth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, pp. 13\u201322. ACM, New York (2009)"},{"key":"5_CR29","unstructured":"McCarthy, J., Buvac, S., Costello, T., Fikes, R., Genesereth, M., Giunchiglia, F.: Formalizing Context (Expanded Notes) (1995)"},{"key":"5_CR30","first-page":"625","volume-title":"WWW 2008: Proceeding of the 17th International Conference on World Wide Web","author":"B. Schueler","year":"2008","unstructured":"Schueler, B., Sizov, S., Staab, S., Tran, D.T.: Querying for meta knowledge. In: WWW 2008: Proceeding of the 17th International Conference on World Wide Web, pp. 625\u2013634. ACM, New York (2008)"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Serafini, L., Homola, M.: Contextualized knowledge repositories for the semantic web. Web Semantics: Science, Services and Agents on the World Wide Web (2012)","DOI":"10.2139\/ssrn.3198952"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11113-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T16:23:02Z","timestamp":1558974182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11113-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319111124","9783319111131"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11113-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}