{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T04:07:53Z","timestamp":1768450073679,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642387081","type":"print"},{"value":"9783642387098","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41335-3_14","type":"book-chapter","created":{"date-parts":[[2013,10,15]],"date-time":"2013-10-15T16:14:14Z","timestamp":1381853654000},"page":"216-231","source":"Crossref","is-referenced-by-count":12,"title":["A Query Tool for $\\mathcal{EL}$ with Non-monotonic Rules"],"prefix":"10.1007","author":[{"given":"Vadim","family":"Ivanov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Knorr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-04930-9_1","volume-title":"The Semantic Web - ISWC 2009","author":"J.J. Alferes","year":"2009","unstructured":"Alferes, J.J., Knorr, M., Swift, T.: Queries to hybrid MKNF knowledge bases through oracular tabling. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 1\u201316. Springer, Heidelberg (2009)"},{"issue":"2","key":"14_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2480759.2480768","volume":"14","author":"J.J. Alferes","year":"2013","unstructured":"Alferes, J.J., Knorr, M., Swift, T.: Query-driven procedures for hybrid MKNF knowledge bases. ACM Trans. Comput. Log.\u00a014(2), 1\u201343 (2013)","journal-title":"ACM Trans. Comput. Log."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. Artif. Intell. Res. (JAIR)\u00a036, 1\u201369 (2009)","DOI":"10.1613\/jair.2820"},{"key":"14_CR4","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":"14_CR5","doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the el envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI, pp. 364\u2013369. Professional Book Center (2005)","DOI":"10.25368\/2022.144"},{"key":"14_CR6","unstructured":"Boley, H., Kifer, M. (eds.): RIF Overview. W3C Recommendation (February 5, 2013), http:\/\/www.w3.org\/TR\/rif-overview\/"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-642-17746-0_5","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"P.A. Bonatti","year":"2010","unstructured":"Bonatti, P.A., Faella, M., Sauro, L.: $\\mathcal{EL}$ with default attributes and overriding. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol.\u00a06496, pp. 64\u201379. Springer, Heidelberg (2010)"},{"key":"14_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"714","DOI":"10.1007\/978-3-540-30227-8_64","volume-title":"Logics in Artificial Intelligence","author":"M. Calejo","year":"2004","unstructured":"Calejo, M.: Interprolog: Towards a declarative embedding of logic programming in java. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 714\u2013717. Springer, Heidelberg (2004)"},{"issue":"1","key":"14_CR9","first-page":"20","volume":"43","author":"W. Chen","year":"1996","unstructured":"Chen, W., Warren, D.S.: Tabled Evaluation with Delaying for General Logic Programs. J.\u00a0ACM\u00a043(1), 20\u201374 (1996)","journal-title":"J.\u00a0ACM"},{"key":"14_CR10","unstructured":"Drabent, W., Henriksson, J., Maluszynski, J.: Hd-rules: A hybrid system interfacing prolog with dl-reasoners. In: Polleres, A., Pearce, D., Heymans, S., Ruckhaus, E. (eds.) ALPSWS. CEUR Workshop Proceedings, vol.\u00a0287, CEUR-WS.org (2007)"},{"issue":"1","key":"14_CR11","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/s10115-010-0300-5","volume":"25","author":"W. Drabent","year":"2010","unstructured":"Drabent, W., Maluszynski, J.: Hybrid rules with well-founded semantics. Knowl. Inf. Syst.\u00a025(1), 137\u2013168 (2010)","journal-title":"Knowl. Inf. Syst."},{"issue":"12-13","key":"14_CR12","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.\u00a0172(12-13), 1495\u20131539 (2008)","journal-title":"Artif. Intell."},{"key":"14_CR13","unstructured":"Elenius, D.: Swrl-iq: A prolog-based query tool for owl and swrl. In: Klinov, P., Horridge, M. (eds.) OWLED. CEUR Workshop Proceedings, vol.\u00a0849, CEUR-WS.org (2012)"},{"issue":"3","key":"14_CR14","first-page":"620","volume":"38","author":"A.V. Gelder","year":"1991","unstructured":"Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"J. ACM"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-642-22119-4_15","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"L. Giordano","year":"2011","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: A tableau calculus for a nonmonotonic extension of $\\mathcal{EL}^\\bot$ . In: Br\u00fcnnler, K., Metcalfe, G. (eds.) TABLEAUX 2011. LNCS, vol.\u00a06793, pp. 180\u2013195. Springer, Heidelberg (2011)"},{"key":"14_CR16","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":"A.S. 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.\u00a05937, pp. 25\u201339. Springer, Heidelberg (2010)"},{"key":"14_CR17","unstructured":"Heymans, S., Eiter, T., Xiao, G.: Tractable reasoning with dl-programs over datalog-rewritable description logics. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) ECAI. Frontiers in Artificial Intelligence and Applications, vol.\u00a0215, pp. 35\u201340. IOS Press (2010)"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-25073-6_20","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"Y. Kazakov","year":"2011","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: Concurrent classification of $\\mathcal{EL}$ ontologies. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol.\u00a07031, pp. 305\u2013320. Springer, Heidelberg (2011)"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: The incredible elk. Tech. rep., University of Oxford, submitted to a journal (2013), http:\/\/elk.semanticweb.org\/papers\/elk-journal-2013.pdf","DOI":"10.1007\/s10817-013-9296-3"},{"issue":"9-10","key":"14_CR20","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.\u00a0175(9-10), 1528\u20131554 (2011)","journal-title":"Artif. Intell."},{"key":"14_CR21","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.\u00a07031, pp. 338\u2013353. Springer, Heidelberg (2011)"},{"key":"14_CR22","unstructured":"Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: Mylopoulos, J., Reiter, R. (eds.) IJCAI, pp. 381\u2013386. Morgan Kaufmann (1991)"},{"key":"14_CR23","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL\u00a02 Web Ontology Language: Profiles. W3C Recommendation (February 5, 2013), http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM\u00a057(5) (2010)","DOI":"10.1145\/1754399.1754403"},{"key":"14_CR25","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.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.\u00a04825, pp. 816\u2013829. Springer, Heidelberg (2007)"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Xiao, G., Eiter, T., Heymans, S.: The DReW system for nonmonotonic dl-programs. In: SWWS 2012. Springer Proceedings in Complexity. Springer (2013)","DOI":"10.1007\/978-1-4614-6880-6_33"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41335-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,5]],"date-time":"2023-07-05T10:20:30Z","timestamp":1688552430000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41335-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642387081","9783642387098"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41335-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}