{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:06:17Z","timestamp":1742979977996,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319234847"},{"type":"electronic","value":"9783319234854"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23485-4_39","type":"book-chapter","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T16:07:15Z","timestamp":1440432435000},"page":"388-401","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Reasoning over Ontologies and Non-monotonic Rules"],"prefix":"10.1007","author":[{"given":"Vadim","family":"Ivanov","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,8,25]]},"reference":[{"key":"39_CR1","unstructured":"Alberti, M., Knorr, M., Gomes, A.S., Leite, J., Gon\u00e7alves, R., Slota, M.: Normative systems require hybrid knowledge bases. In: Procs. of AAMAS, IFAAMAS, pp. 1425\u20131426 (2012)"},{"issue":"2","key":"39_CR2","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":"39_CR3","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":"39_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":"39_CR5","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $$\\cal EL$$ envelope. In: Procs. of IJCAI (2005)"},{"issue":"20","key":"39_CR6","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19","author":"C Baral","year":"1994","unstructured":"Baral, C., Gelfond, M.: Logic programming and knowledge representation. J. Log. Program. 19(20), 73\u2013148 (1994)","journal-title":"J. Log. Program."},{"key":"39_CR7","unstructured":"Boley, H., Kifer, M. (eds.): RIF Overview. W3C Recommendation, February 5, 2013 (2013). http:\/\/www.w3.org\/TR\/rif-overview\/"},{"key":"39_CR8","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":"PA Bonatti","year":"2010","unstructured":"Bonatti, P.A., Faella, M., Sauro, L.: $$\\cal 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. 6496, pp. 64\u201379. Springer, Heidelberg (2010)"},{"key":"39_CR9","series-title":"Lecture Notes in Computer Science (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. 3229, pp. 714\u2013717. Springer, Heidelberg (2004)"},{"key":"39_CR10","unstructured":"Drabent, W., Henriksson, J., Maluszynski, J.: Hd-rules: a hybrid system interfacing prolog with dl-reasoners. In: Procs. of ALPSWS, vol. 287 (2007)"},{"issue":"1","key":"39_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. 25(1), 137\u2013168 (2010)","journal-title":"Knowl. Inf. Syst."},{"issue":"12\u201313","key":"39_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. 172(12\u201313), 1495\u20131539 (2008)","journal-title":"Artif. Intell."},{"issue":"3","key":"39_CR13","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":"39_CR14","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Reasoning about typicality in low complexity dls: the logics $$\\cal EL^{\\perp }$$\n                                        $${\\rm T}_{min}$$ and DL-Lite\n                                        $$_{c}{\\rm T}_{min}$$. In: Procs. of IJCAI (2011)"},{"key":"39_CR15","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)"},{"key":"39_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-15675-5_17","volume-title":"Logics in Artificial Intelligence","author":"R Gon\u00e7alves","year":"2010","unstructured":"Gon\u00e7alves, R., Alferes, J.J.: Parametrized logic programming. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 182\u2013194. Springer, Heidelberg (2010)"},{"key":"39_CR17","unstructured":"Heymans, S., Eiter, T., Xiao, G.: Tractable reasoning with dl-programs over datalog-rewritable description logics. In: Procs of ECAI, pp. 35\u201340. IOS Press (2010)"},{"key":"39_CR18","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S. (eds.): OWL 2 Web Ontology Language: Primer (Second Edition). W3C Recommendation, December 11, 2012 (2012). http:\/\/www.w3.org\/TR\/owl2-primer\/"},{"key":"39_CR19","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 $$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":"39_CR20","unstructured":"Kaminski, T., Knorr, M., Leite, J.: Efficient paraconsistent reasoning with ontologies and rules. In: Procs. of IJCAI. IJCAI\/AAAI (2015)"},{"key":"39_CR21","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"},{"issue":"9\u201310","key":"39_CR22","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":"39_CR23","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":"39_CR24","unstructured":"Knorr, M., Hitzler, P., Maier, F.: Reconciling OWL and non-monotonic rules for the semantic web. In: Procs. of ECAI, pp. 474\u2013479. IOS Press (2012)"},{"issue":"6","key":"39_CR25","doi-asserted-by":"publisher","first-page":"1279","DOI":"10.1093\/logcom\/ext062","volume":"24","author":"M Knorr","year":"2014","unstructured":"Knorr, M., Slota, M., Leite, J., Homola, M.: What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. J. Log. Comput. 24(6), 1279\u20131311 (2014)","journal-title":"J. Log. Comput."},{"key":"39_CR26","unstructured":"Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: Procs. of IJCAI (1991)"},{"key":"39_CR27","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language: Profiles. W3C Recommendation, February 5, 2013. http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"key":"39_CR28","doi-asserted-by":"crossref","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM 57(5) (2010)","DOI":"10.1145\/1754399.1754403"},{"issue":"4\u20135","key":"39_CR29","first-page":"801","volume":"11","author":"M Slota","year":"2011","unstructured":"Slota, M., Leite, J., Swift, T.: Splitting and updating hybrid knowledge bases. TPLP 11(4\u20135), 801\u2013819 (2011)","journal-title":"TPLP"},{"key":"39_CR30","doi-asserted-by":"crossref","unstructured":"Xiao, G., Eiter, T., Heymans, S.: The DReW system for nonmonotonic dl-programs. In: Procs. of SWWS 2012. Springer Proceedings in Complexity. Springer (2013)","DOI":"10.1007\/978-1-4614-6880-6_33"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23485-4_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T11:53:28Z","timestamp":1676030008000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23485-4_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319234847","9783319234854"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23485-4_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}