{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T11:40:01Z","timestamp":1756208401810,"version":"3.44.0"},"reference-count":38,"publisher":"SAGE Publications","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SW"],"published-print":{"date-parts":[[2014,12,12]]},"DOI":"10.3233\/sw-140169","type":"journal-article","created":{"date-parts":[[2015,11,17]],"date-time":"2015-11-17T16:37:42Z","timestamp":1447778262000},"page":"25-61","source":"Crossref","is-referenced-by-count":4,"title":["Query answering over contextualized RDF\/OWL knowledge with\u00a0forall-existential bridge rules: Decidable finite extension classes"],"prefix":"10.1177","volume":"7","author":[{"given":"Mathew","family":"Joseph","sequence":"first","affiliation":[{"name":"FBK-IRST, Via Sommarive 18, 38050, Trento, Italy"},{"name":"DISI, University of Trento, Via Sommarive 5, 38123, Trento, Italy"}]},{"given":"Gabriel","family":"Kuper","sequence":"additional","affiliation":[{"name":"DISI, University of Trento, Via Sommarive 5, 38123, Trento, Italy"}]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[{"name":"Faculty of Computer Science, Otto-von-Guericke University of Magdeburg, 39016, Magdeburg, Germany. E-mails:\u00a0joseph@disi.unitn.it,\u00a0kuper@disi.unitn.it,\u00a0mossakow@iws.cs.uni-magdeburg.de,\u00a0serafini@fbk.eu"}]},{"given":"Luciano","family":"Serafini","sequence":"additional","affiliation":[{"name":"FBK-IRST, Via Sommarive 18, 38050, Trento, Italy"}]}],"member":"179","reference":[{"key":"10.3233\/SW-140169_ref1","unstructured":"[1]S.\u00a0Abiteboul, R.\u00a0Hull and V.\u00a0Vianu, Foundations of Databases, Addison-Wesley, 1995."},{"issue":"9\u201310","key":"10.3233\/SW-140169_ref2","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.artint.2011.03.002","article-title":"On rules with existential variables: Walking the decidability line","volume":"175","author":"Baget","year":"2011","journal-title":"Artificial Intelligence"},{"key":"10.3233\/SW-140169_ref3","doi-asserted-by":"crossref","unstructured":"[3]C.\u00a0Beeri and M.Y.\u00a0Vardi, The implication problem for data dependencies, in: Automata, Languages and Programming, 8th Colloquium, ICALP, S.\u00a0Even and O.\u00a0Kariv, eds, Lecture Notes in Computer Science, Vol.\u00a0115, Springer, 1981, pp.\u00a073\u201385.","DOI":"10.1007\/3-540-10843-2_7"},{"key":"10.3233\/SW-140169_ref4","unstructured":"[4]A.\u00a0Borgida and L.\u00a0Serafini, Distributed description logics: Assimilating information from peer sources, in: Journal on Data Semantics I, Lecture Notes in Computer Science, Vol.\u00a02800, (2003), 153\u2013184."},{"key":"10.3233\/SW-140169_ref5","doi-asserted-by":"crossref","unstructured":"[5]P.\u00a0Bouquet, F.\u00a0Giunchiglia, F.\u00a0van\u00a0Harmelen, L.\u00a0Serafini and H.\u00a0Stuckenschmidt, C-OWL: Contextualizing ontologies, in: The Semantic Web \u2013 ISWC 2003, D.\u00a0Fensel, K.P.\u00a0Sycara and J.\u00a0Mylopoulos, eds, Lecture Notes in Computer Science, Vol.\u00a02870, Springer, 2003, pp.\u00a0164\u2013179, 2003.","DOI":"10.1007\/978-3-540-39718-2_11"},{"key":"10.3233\/SW-140169_ref6","doi-asserted-by":"crossref","unstructured":"[6]L.\u00a0Bozzato, C.\u00a0Ghidini and L.\u00a0Serafini, Comparing contextual and flat representations of knowledge: A concrete case about football data, in: Proc. of the Seventh International Conference on Knowledge Capture (K-CAP \u201913), V.R.\u00a0Benjamins, M.\u00a0d\u2019Aquin and A.\u00a0Gordon, eds, ACM, 2013, pp.\u00a09\u201316.","DOI":"10.1145\/2479832.2479842"},{"key":"10.3233\/SW-140169_ref7","unstructured":"[7]A.\u00a0Cal\u00ec, G.\u00a0Gottlob and M.\u00a0Kifer, Taming the infinite chase: Query answering under expressive relational constraints, in: Principles of Knowledge Representation and Reasoning (KR\u2019 08), G.\u00a0Brewka and J.\u00a0Lang, eds, 2008, pp.\u00a070\u201380."},{"key":"10.3233\/SW-140169_ref8","doi-asserted-by":"crossref","unstructured":"[8]A.\u00a0Cal\u00ec, G.\u00a0Gottlob and A.\u00a0Pieris, Query Answering under non-guarded rules in Datalog+\/-, in: Web Reasoning and Rule Systems \u2013 Fourth International Conference (RR\u2019 10), P.\u00a0Hitzler and T.\u00a0Lukasiewicz, eds, Lecture Notes in Computer Science, Vol.\u00a06333, Springer, 2010, pp.\u00a01\u201317.","DOI":"10.1007\/978-3-642-15918-3_1"},{"key":"10.3233\/SW-140169_ref9","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/j.artint.2012.08.002","article-title":"Towards more expressive ontology languages: The query answering problem","volume":"93","author":"Cal\u00ec","year":"2012","journal-title":"Artificial Intelligence"},{"key":"10.3233\/SW-140169_ref10","doi-asserted-by":"crossref","unstructured":"[10]J.\u00a0Carroll, C.\u00a0Bizer, P.\u00a0Hayes and P.\u00a0Stickler, Named graphs, provenance and trust, in: WWW \u201905: Proc. of the 14th International Conference on World Wide Web, New York, NY, USA, A.\u00a0Ellis and T.\u00a0Hagino, eds, ACM, 2005, pp.\u00a0613\u2013622.","DOI":"10.1145\/1060745.1060835"},{"key":"10.3233\/SW-140169_ref11","doi-asserted-by":"crossref","unstructured":"[11]A.\u00a0Deutsch and V.\u00a0Tannen, Reformulation of XML queries and constraints, in: Proc. of the 9th International Conference on Database Theory (ICDT\u2019 03), D.\u00a0Calvanese, M.\u00a0Lenzerini and R.\u00a0Motwani, eds, Lecture Notes in Computer Science, Springer, 2003, pp.\u00a0225\u2013241.","DOI":"10.1007\/3-540-36285-1_15"},{"key":"10.3233\/SW-140169_ref12","doi-asserted-by":"crossref","unstructured":"[12]A.\u00a0Deutsch, A.\u00a0Nash and J.\u00a0Remmel, The chase revisited, in: Proc. of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS \u201908, New York, NY, USA, M.\u00a0Lenzerini and D.\u00a0Lembo, eds, ACM, 2008, pp.\u00a0149\u2013158.","DOI":"10.1145\/1376916.1376938"},{"issue":"1","key":"10.3233\/SW-140169_ref13","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","article-title":"Data exchange: Semantics and query answering","volume":"28","author":"Fagin","year":"2005","journal-title":"Theoretical Computer Science"},{"key":"10.3233\/SW-140169_ref14","unstructured":"[14]C.\u00a0Ghidini and L.\u00a0Serafini, Distributed first order logics, in: Frontiers of Combining Systems 2, Studies in Logic and Computation, Research Studies Press, 1998, pp.\u00a0121\u2013140."},{"key":"10.3233\/SW-140169_ref15","first-page":"221","article-title":"Local models semantics, or contextual reasoning = locality + compatibility","volume":"127","author":"Giunchiglia","year":"2001","journal-title":"Artificial Intelligence"},{"key":"10.3233\/SW-140169_ref16","unstructured":"[16]B.\u00a0Glimm, C.\u00a0Lutz, I.\u00a0Horrocks and U.\u00a0Sattler, Answering conjunctive queries in the SHIQ description logic, in: Proc. of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), M.M.\u00a0Veloso, ed., AAAI Press, 2007, pp.\u00a0299\u2013404."},{"key":"10.3233\/SW-140169_ref17","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1613\/jair.3949","article-title":"Acyclicity notions for existential rules and their application to query answering in ontologies","volume":"47","author":"Grau","year":"2013","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"10.3233\/SW-140169_ref19","unstructured":"[19]C.\u00a0Gutierrez, C.A.\u00a0Hurtado and A.A.\u00a0Vaisman, Temporal rdf, in: 2nd Annual European Semantic Web Conference (ESWC\u2019 05), L.\u00a0Aroyo, G.\u00a0Antoniou, E.\u00a0Hyv\u00f6nen, A.\u00a0ten Teije, H.\u00a0Stuckenschmidt, L.\u00a0Cabral and T.\u00a0Tudorache, eds, Lecture Notes in Computer Science, Springer, 2005, pp.\u00a093\u2013107."},{"key":"10.3233\/SW-140169_ref20","doi-asserted-by":"crossref","unstructured":"[20]A.Y.\u00a0Halevy, Z.G.\u00a0Ives, D.\u00a0Suciu and I.\u00a0Tatarinov, Schema mediation in peer data management systems, in: 19th International Conference on Data Engineering, ICDE, U.\u00a0Dayal, K.\u00a0Ramamritham and T.M.\u00a0Vijayaraman, eds, IEEE Computer Society, 2003, pp.\u00a0505\u2013516.","DOI":"10.1109\/ICDE.2003.1260817"},{"key":"10.3233\/SW-140169_ref21","unstructured":"[21]M.A.\u00a0Harrison, Introduction to Formal Language Theory, 1st edn, Addison-Wesley Longman Publishing Company, Inc., Boston, MA, USA, 1978."},{"issue":"1","key":"10.3233\/SW-140169_ref24","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0022-0000(84)90081-3","article-title":"Testing containment of conjunctive queries under functional and inclusion dependencies","volume":"28","author":"Johnson","year":"1984","journal-title":"Journal of Computer and System Sciences"},{"key":"10.3233\/SW-140169_ref25","unstructured":"[25]M.\u00a0Joseph and L.\u00a0Serafini, Simple reasoning for contextualized RDF knowledge, in: Modular Ontologies \u2013 Proc. of the Fifth International Workshop (WOMO-2011), O.\u00a0Kutz and T.\u00a0Schneider, eds, Frontiers in Artificial Intelligence and Applications, Vol.\u00a0230, IOS Press, 2011."},{"key":"10.3233\/SW-140169_ref26","doi-asserted-by":"crossref","unstructured":"[26]M.\u00a0Joseph, G.\u00a0Kuper and L.\u00a0Serafini, Query answering over contextualized RDF knowledge with forall-existential bridge rules: Attaining decidability using acyclicity, in: Proc. of the 29th Italian Conference in Computational Logic (CILC-2014), L.\u00a0Giordano, V.\u00a0Gliozzi and G.L.\u00a0Pozzato, eds, CEUR Workshop Proceedings, Vol.\u00a01195, 2014, pp.\u00a0210\u2013224, CEUR-WS.org.","DOI":"10.1007\/978-3-319-11113-1_5"},{"key":"10.3233\/SW-140169_ref27","doi-asserted-by":"crossref","unstructured":"[27]M.\u00a0Joseph, G.\u00a0Kuper and L.\u00a0Serafini, Query answering over contextualized RDF\/OWL knowledge with forall-existential bridge rules: Attaining decidability using acyclicity, in: Web Reasoning and Rule Systems \u2013 8th International Conference (RR-2014), R.\u00a0Kontchakov and M.-L.\u00a0Mugnier, eds, Lecture Notes in Computer Science, Vol.\u00a08741, Springer, 2014, pp.\u00a060\u201375.","DOI":"10.1007\/978-3-319-11113-1_5"},{"key":"10.3233\/SW-140169_ref28","doi-asserted-by":"crossref","unstructured":"[28]S.\u00a0Klarman and V.\u00a0Guti\u00e9rrez-Basulto, Two-dimensional description logics for context-based semantic interoperability, in: Proc. of Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI-11), W.\u00a0Burgard and D.\u00a0Roth, eds, AAAI Press, 2011.","DOI":"10.1609\/aaai.v25i1.7854"},{"key":"10.3233\/SW-140169_ref29","unstructured":"[29]M.\u00a0Kr\u00f6tzsch and S.\u00a0Rudolph, Conjunctive queries for EL with role composition, in: Proc. of the 20th International Workshop on Description Logics (DL\u201907), D.\u00a0Calvanese, E.\u00a0Franconi, V.\u00a0Haarslev, D.\u00a0Lembo, B\u00a0Motik, A.-Y.\u00a0Turhan and S.\u00a0Tessaris, ed., CEUR Workshop Proceedings, Vol.\u00a0250, 2007."},{"key":"10.3233\/SW-140169_ref30","unstructured":"[30]M.\u00a0Kr\u00f6tzsch and S.\u00a0Rudolph, Extending decidable existential rules by joining acyclicity and guardedness, in: Proc. of the 22nd International Joint Conference on Artificial Intelligence (IJCAI\u201911), T.\u00a0Walsh, ed., AAAI Press\/IJCAI, 2011, pp.\u00a0963\u2013968."},{"key":"10.3233\/SW-140169_ref31","unstructured":"[31]M.\u00a0Kr\u00f6tzsch, S.\u00a0Rudolph and P.\u00a0Hitzler, Description logic rules, in: Proc. of the 18th European Conference on Artificial Intelligence (ECAI\u201908), M.\u00a0Ghallab, C.D.\u00a0Spyropoulos, N.\u00a0Fakotakis and N.M.\u00a0Avouris, eds, Frontiers in Artificial Intelligence and Applications, IOS Press, 2008, pp.\u00a080\u201384."},{"issue":"1","key":"10.3233\/SW-140169_ref32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2004.02.002","article-title":"E-connections of abstract description systems","volume":"156","author":"Kutz","year":"2004","journal-title":"Artificial Intelligence"},{"key":"10.3233\/SW-140169_ref34","doi-asserted-by":"crossref","unstructured":"[34]B.\u00a0Marnette, Generalized schema-mappings: From termination to tractability, in: Proc. of the Twenty-Eighth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS \u201909, New York, NY, USA, J.\u00a0Paredaens and J.\u00a0Su, eds, ACM, 2009, pp.\u00a013\u201322.","DOI":"10.1145\/1559795.1559799"},{"issue":"12","key":"10.3233\/SW-140169_ref35","first-page":"1029","article-title":"Generality in AI","volume":"30","author":"McCarthy","year":"1987","journal-title":"Communications of the ACM"},{"key":"10.3233\/SW-140169_ref36","unstructured":"[36]J.\u00a0McCarthy, Notes on formalizing context, in: Proc. of the 13th International Joint Conference on Artifical Intelligence (ICAI\u2019 95) \u2013 Volume 1, Morgan Kaufmann Publishers Inc., 1995, pp.\u00a0555\u2013560."},{"key":"10.3233\/SW-140169_ref37","doi-asserted-by":"crossref","unstructured":"[37]B.\u00a0Schueler, S.\u00a0Sizov, S.\u00a0Staab and D.T.\u00a0Tran, Querying for meta knowledge, in: WWW \u201908: Proc. of the 17th International Conference on World Wide Web, New York, NY, USA, J.\u00a0Huai, R.\u00a0Chen, H.-W.\u00a0Hon, Y.\u00a0Liu, W.-Y.\u00a0Ma, A.\u00a0Tomkins and X.\u00a0Zhang, eds, ACM, 2008, pp.\u00a0625\u2013634.","DOI":"10.1145\/1367497.1367582"},{"key":"10.3233\/SW-140169_ref38","unstructured":"[38]L.\u00a0Serafini and M.\u00a0Homola, Contextualized knowledge repositories for the Semantic Web, Web Semantics: Science, Services and Agents on the World Wide Web 12\u201313 (2012), Special Issue: Reasoning with Context in the Semantic Web, Elsevier."},{"key":"10.3233\/SW-140169_ref39","doi-asserted-by":"crossref","unstructured":"[39]U.\u00a0Straccia, N.\u00a0Lopes, G.\u00a0Lukacsy and A.\u00a0Polleres, A general framework for representing and reasoning with annotated semantic web data, in: Proc. of the 24th AAAI Conference on Artificial Intelligence (AAAI 2010), Special Track on Artificial Intelligence and the Web, M.\u00a0Fox and D.\u00a0Poole, eds, July 2010.","DOI":"10.1609\/aaai.v24i1.7499"},{"issue":"2\u20133","key":"10.3233\/SW-140169_ref40","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.websem.2005.06.001","article-title":"Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary","volume":"3","author":"ter Horst","year":"2005","journal-title":"Web Semantics: Science, Services and Agents on the WWW"},{"key":"10.3233\/SW-140169_ref41","unstructured":"[41]M.\u00a0Thomazo, J.-F.\u00a0Baget, M.-L.\u00a0Mugnier and S.\u00a0Rudolph, A generic querying algorithm for greedy sets of existential rules, in: KR\u201912: International Conference on Principles of Knowledge Representation and Reasoning, G.\u00a0Brewka, T.\u00a0Eiter and S.A.\u00a0McIlraith, eds, 2012, pp.\u00a096\u2013106."},{"issue":"2","key":"10.3233\/SW-140169_ref42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1656242.1656245","article-title":"Annotated RDF","volume":"11","author":"Udrea","year":"2010","journal-title":"ACM Transactions in Computational Logic"}],"container-title":["Semantic Web"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/SW-140169","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T11:02:07Z","timestamp":1756206127000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/SW-140169"}},"subtitle":[],"editor":[{"given":"Bernardo","family":"Cuenca-Grau","sequence":"additional","affiliation":[{"name":"Oxford University, UK"}]}],"short-title":[],"issued":{"date-parts":[[2014,12,12]]},"references-count":38,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.3233\/sw-140169","relation":{},"ISSN":["2210-4968","1570-0844"],"issn-type":[{"type":"electronic","value":"2210-4968"},{"type":"print","value":"1570-0844"}],"subject":[],"published":{"date-parts":[[2014,12,12]]}}}