{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T01:45:51Z","timestamp":1768441551110,"version":"3.49.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319250069","type":"print"},{"value":"9783319250076","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25007-6_33","type":"book-chapter","created":{"date-parts":[[2015,10,13]],"date-time":"2015-10-13T18:59:41Z","timestamp":1444762781000},"page":"569-586","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Next Step for NoHR: OWL 2 QL"],"prefix":"10.1007","author":[{"given":"Nuno","family":"Costa","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Knorr","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,30]]},"reference":[{"issue":"2","key":"33_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2480759.2480768","volume":"14","author":"JJ Alferes","year":"2013","unstructured":"Alferes, J.J., Knorr, M., Swift, T.: Query-driven procedures for hybrid MKNF knowledge bases. ACM Trans. Comput. Log. 14(2), 1\u201343 (2013)","journal-title":"ACM Trans. Comput. Log."},{"key":"33_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.2820","volume":"36","author":"A Artale","year":"2009","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The $$DL$$-$$Lite$$ family and relations. J. Artif. Intell. Res. (JAIR) 36, 1\u201369 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"33_CR3","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 3rd edn. Cambridge University Press (2010)"},{"key":"33_CR4","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $$\\cal EL$$ envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) Procs. of IJCAI, pp. 364\u2013369. Professional Book Center (2005)"},{"issue":"3","key":"33_CR5","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D Calvanese","year":"2007","unstructured":"Calvanese, D., de Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The $$DL$$-$$Lite$$ family. Journal of Automated Reasoning 39(3), 385\u2013429 (2007)","journal-title":"Journal of Automated Reasoning"},{"issue":"1","key":"33_CR6","doi-asserted-by":"crossref","first-page":"43","DOI":"10.3233\/SW-2011-0029","volume":"2","author":"D Calvanese","year":"2011","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro, M., Rosati, R., Ruzzi, M., Savo, D.F.: The MASTRO system for ontology-based data access. Semantic Web 2(1), 43\u201353 (2011)","journal-title":"Semantic Web"},{"issue":"1","key":"33_CR7","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W Chen","year":"1996","unstructured":"Chen, W., Warren, D.S.: Tabled Evaluation with Delaying for General Logic Programs. J. ACM 43(1), 20\u201374 (1996)","journal-title":"J. ACM"},{"key":"33_CR8","unstructured":"Drabent, W., Henriksson, J., Maluszynski, J.: Hd-rules: a hybrid system interfacing prolog with dl-reasoners. In: Polleres, A., et al. (eds.) Procs. of ALPSWS. CEUR-WS.org (2007)"},{"issue":"12\u201313","key":"33_CR9","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell. 172(12\u201313), 1495\u20131539 (2008)","journal-title":"Artif. Intell."},{"issue":"3","key":"33_CR10","first-page":"620","volume":"38","author":"AV Gelder","year":"1991","unstructured":"Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620\u2013650 (1991)","journal-title":"J. ACM"},{"key":"33_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-11503-5_4","volume-title":"Practical Aspects of Declarative Languages","author":"AS Gomes","year":"2010","unstructured":"Gomes, A.S., Alferes, J.J., Swift, T.: Implementing query answering for hybrid MKNF knowledge bases. In: Carro, M., Pe\u00f1a, R. (eds.) PADL 2010. LNCS, vol. 5937, pp. 25\u201339. Springer, Heidelberg (2010)"},{"issue":"2\u20133","key":"33_CR12","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.websem.2005.06.005","volume":"3","author":"Y Guo","year":"2005","unstructured":"Guo, Y., Pan, Z., Heflin, J.: LUBM: A benchmark for OWL knowledge base systems. J. Web Sem. 3(2\u20133), 158\u2013182 (2005)","journal-title":"J. Web Sem."},{"key":"33_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-642-41335-3_14","volume-title":"The Semantic Web \u2013 ISWC 2013","author":"V Ivanov","year":"2013","unstructured":"Ivanov, V., Knorr, M., Leite, J.: A query tool for $$\\cal EL$$ with non-monotonic rules. In: Alani, H., Kagal, L., Fokoue, A., Groth, P., Biemann, C., Parreira, J.X., Aroyo, L., Noy, N., Welty, C., Janowicz, K. (eds.) ISWC 2013, Part I. LNCS, vol. 8218, pp. 216\u2013231. Springer, Heidelberg (2013)"},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"Kaminski, M., Nenov, Y., Grau, B.C.: Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning. In: Brodley, C.E., Stone, P. (eds.) Procs. of AAAI, pp. 1077\u20131083. AAAI Press (2014)","DOI":"10.1007\/978-3-319-11113-1_6"},{"key":"33_CR15","unstructured":"Kaminski, T., Knorr, M., Leite, J.: Efficient paraconsistent reasoning with ontologies and rules. In: Yang, Q., Wooldridge, M. (eds.) Procs. of IJCAI. IJCAI\/AAAI (2015)"},{"key":"33_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-013-9296-3","volume":"53","author":"Y Kazakov","year":"2013","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: The incredible ELK: From polynomial procedures to efficient reasoning with $$\\cal EL$$ ontologies. Journal of Automated Reasoning 53, 1\u201361 (2013)","journal-title":"Journal of Automated Reasoning"},{"key":"33_CR17","unstructured":"Kifer, M., Boley, H. (eds.): RIF Overview (Second Edition). W3C Working Group Note 5 February 2013 (2013). http:\/\/www.w3.org\/TR\/rif-overview\/"},{"issue":"9\u201310","key":"33_CR18","doi-asserted-by":"publisher","first-page":"1528","DOI":"10.1016\/j.artint.2011.01.007","volume":"175","author":"M Knorr","year":"2011","unstructured":"Knorr, M., Alferes, J.J., Hitzler, P.: Local closed world reasoning with description logics under the well-founded semantics. Artif. Intell. 175(9\u201310), 1528\u20131554 (2011)","journal-title":"Artif. Intell."},{"key":"33_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/978-3-642-25073-6_22","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"M Knorr","year":"2011","unstructured":"Knorr, M., Alferes, J.J.: Querying OWL 2 QL and non-monotonic rules. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 338\u2013353. Springer, Heidelberg (2011)"},{"key":"33_CR20","unstructured":"Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to ontology-based data access. In: Walsh, T. (ed.) Procs. of IJCAI, pp. 2656\u20132661. IJCAI\/AAAI (2011)"},{"key":"33_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"552","DOI":"10.1007\/978-3-319-11964-9_35","volume-title":"The Semantic Web \u2013 ISWC 2014","author":"R Kontchakov","year":"2014","unstructured":"Kontchakov, R., Rezk, M., Rodr\u00edguez-Muro, M., Xiao, G., Zakharyaschev, M.: Answering SPARQL queries over databases under OWL 2 QL entailment regime. In: Mika, P., Tudorache, T., Bernstein, A., Welty, C., Knoblock, C., Vrande\u010di\u0107, D., Groth, P., Noy, N., Janowicz, K., Goble, C. (eds.) ISWC 2014, Part I. LNCS, vol. 8796, pp. 552\u2013567. Springer, Heidelberg (2014)"},{"key":"33_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-642-38288-8_22","volume-title":"The Semantic Web: Semantics and Big Data","author":"D Lembo","year":"2013","unstructured":"Lembo, D., Santarelli, V., Savo, D.F.: Graph-based ontology classification in OWL 2 QL. In: Cimiano, P., Corcho, O., Presutti, V., Hollink, L., Rudolph, S. (eds.) ESWC 2013. LNCS, vol. 7882, pp. 320\u2013334. Springer, Heidelberg (2013)"},{"key":"33_CR23","unstructured":"Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: Mylopoulos, J., Reiter, R. (eds.) Procs. of IJCAI, pp. 381\u2013386. Morgan Kaufmann (1991)"},{"key":"33_CR24","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language: Profiles (Second Edition). W3C Recommendation 11 December 2012 (2012). http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"issue":"5","key":"33_CR25","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/1754399.1754403","volume":"57","author":"B Motik","year":"2010","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM 57(5), 93\u2013154 (2010)","journal-title":"J. ACM"},{"key":"33_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"816","DOI":"10.1007\/978-3-540-76298-0_59","volume-title":"The Semantic Web","author":"C Patel","year":"2007","unstructured":"Patel, C., Cimino, J., Dolby, J., Fokoue, A., Kalyanpur, A., Kershenbaum, A., Ma, L., Schonberg, E., Srinivas, K.: Matching patient records to clinical trials using ontologies. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 816\u2013829. Springer, Heidelberg (2007)"},{"key":"33_CR27","unstructured":"Savo, D.F., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro, M., Romagnoli, V., Ruzzi, M., Stella, G.: Mastro at work: experiences on ontology-based data access. In: Haarslev, V., et al. (eds.) Procs. of DL. CEUR Workshop Proceedings, vol. 573. CEUR-WS.org (2010)"},{"key":"33_CR28","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.websem.2014.06.003","volume":"27","author":"A Steigmiller","year":"2014","unstructured":"Steigmiller, A., Liebig, T., Glimm, B.: Konclude: System description. J. Web Sem. 27, 78\u201385 (2014)","journal-title":"J. Web Sem."},{"key":"33_CR29","doi-asserted-by":"crossref","unstructured":"Xiao, G., Eiter, T., Heymans, S.: The DReW system for nonmonotonic dl-programs. In: Li, J., et al. (eds.) SWWS 2012. Springer Proceedings in Complexity. Springer (2013)","DOI":"10.1007\/978-1-4614-6880-6_33"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2015"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25007-6_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,23]],"date-time":"2022-05-23T02:54:44Z","timestamp":1653274484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25007-6_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319250069","9783319250076"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25007-6_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"30 October 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}