{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T02:55:30Z","timestamp":1768445730437,"version":"3.49.0"},"publisher-location":"Cham","reference-count":81,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030954802","type":"print"},{"value":"9783030954819","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[[2022]]},"DOI":"10.1007\/978-3-030-95481-9_2","type":"book-chapter","created":{"date-parts":[[2022,1,31]],"date-time":"2022-01-31T12:04:11Z","timestamp":1643630651000},"page":"22-58","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On Combining Ontologies and Rules"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1826-1498","authenticated-orcid":false,"given":"Matthias","family":"Knorr","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,2,1]]},"reference":[{"key":"2_CR1","unstructured":"Alberti, M., Knorr, M., Gomes, A.S., Leite, J., Gon\u00e7alves, R., Slota, M.: Normative systems require hybrid knowledge bases. In: van der Hoek, W., Padgham, L., Conitzer, V., Winikoff, M. (eds.) Proceedings of AAMAS, pp. 1425\u20131426. IFAAMAS (2012)"},{"issue":"2","key":"2_CR2","doi-asserted-by":"crossref","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":"2_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-319-61660-5_19","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Alviano","year":"2017","unstructured":"Alviano, M., et al.: The ASP system DLV2. In: Balduccini, M., Janhunen, T. (eds.) LPNMR 2017. LNCS (LNAI), vol. 10377, pp. 215\u2013221. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61660-5_19"},{"key":"2_CR4","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":"2_CR5","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2010","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, Cambridge (2010)","edition":"3"},{"key":"2_CR6","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $$\\cal{EL}$$ envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proceedings of IJCAI, pp. 364\u2013369. Professional Book Center (2005)"},{"key":"2_CR7","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00883932","volume":"14","author":"F Baader","year":"1995","unstructured":"Baader, F., Hollunder, B.: Embedding defaults into terminological representation systems. J. Autom. Reason. 14, 149\u2013180 (1995)","journal-title":"J. Autom. Reason."},{"issue":"9\u201310","key":"2_CR8","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.artint.2011.03.002","volume":"175","author":"J Baget","year":"2011","unstructured":"Baget, J., Lecl\u00e8re, M., Mugnier, M., Salvat, E.: On rules with existential variables: Walking the decidability line. Artif. Intell. 175(9\u201310), 1620\u20131654 (2011)","journal-title":"Artif. Intell."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Bajraktari, L., Ortiz, M., Simkus, M.: Combining rules and ontologies into clopen knowledge bases. In: McIlraith, S.A., Weinberger, K.Q. (eds.) Proceedings of AAAI, pp. 1728\u20131735. AAAI Press (2018)","DOI":"10.1609\/aaai.v32i1.11565"},{"issue":"20","key":"2_CR10","doi-asserted-by":"crossref","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":"2_CR11","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1016\/j.artint.2018.04.003","volume":"261","author":"H Beck","year":"2018","unstructured":"Beck, H., Dao-Tran, M., Eiter, T.: LARS: a logic-based framework for analytic reasoning over streams. Artif. Intell. 261, 16\u201370 (2018)","journal-title":"Artif. Intell."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American, pp. 96\u2013101, May 2001","DOI":"10.1038\/scientificamerican0501-34"},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1613\/jair.2763","volume":"35","author":"PA Bonatti","year":"2009","unstructured":"Bonatti, P.A., Lutz, C., Wolter, F.: The complexity of circumscription in DLs. J. Artif. Intell. Res. (JAIR) 35, 717\u2013773 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"2_CR14","volume-title":"Knowledge Representation and Reasoning","author":"RJ Brachman","year":"2004","unstructured":"Brachman, R.J., Levesque, H.J.: Knowledge Representation and Reasoning. Elsevier, Amsterdam (2004)"},{"key":"2_CR15","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1016\/j.artint.2017.11.007","volume":"256","author":"G Brewka","year":"2018","unstructured":"Brewka, G., Ellmauthaler, S., Gon\u00e7alves, R., Knorr, M., Leite, J., P\u00fchrer, J.: Reactive multi-context systems: heterogeneous reasoning in dynamic environments. Artif. Intell. 256, 68\u2013104 (2018)","journal-title":"Artif. Intell."},{"issue":"1","key":"2_CR16","doi-asserted-by":"crossref","first-page":"1:1","DOI":"10.1145\/3420258","volume":"22","author":"K Britz","year":"2021","unstructured":"Britz, K., Casini, G., Meyer, T., Moodley, K., Sattler, U., Varzinczak, I.: Principles of KLM-style defeasible description logics. ACM Trans. Comput. Log. 22(1), 1:1-1:46 (2021)","journal-title":"ACM Trans. Comput. Log."},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-642-24206-9_20","volume-title":"Datalog Reloaded","author":"A Cal\u00ec","year":"2011","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T., Pieris, A.: Datalog+\/-: a family of languages for ontology querying. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2.0 2010. LNCS, vol. 6702, pp. 351\u2013368. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24206-9_20"},{"issue":"2","key":"2_CR18","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1017\/S1471068419000450","volume":"20","author":"F Calimeri","year":"2020","unstructured":"Calimeri, F., et al.: Asp-core-2 input language format. Theory Pract. Log. Program. 20(2), 294\u2013309 (2020)","journal-title":"Theory Pract. Log. Program."},{"issue":"3","key":"2_CR19","doi-asserted-by":"crossref","first-page":"471","DOI":"10.3233\/SW-160217","volume":"8","author":"D Calvanese","year":"2017","unstructured":"Calvanese, D., Cogrel, B., Komla-Ebri, S., Kontchakov, R., Lanti, D., Rezk, M., Rodriguez-Muro, M., Xiao, G.: Ontop: answering SPARQL queries over relational databases. Semantic Web 8(3), 471\u2013487 (2017)","journal-title":"Semantic Web"},{"issue":"1","key":"2_CR20","doi-asserted-by":"crossref","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":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1007\/978-3-319-25007-6_33","volume-title":"The Semantic Web - ISWC 2015","author":"N Costa","year":"2015","unstructured":"Costa, N., Knorr, M., Leite, J.: Next step for NoHR: OWL 2 QL. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9366, pp. 569\u2013586. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25007-6_33"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Dao-Tran, M., Eiter, T.: Streaming multi-context systems. In: IJCAI, pp. 1000\u20131007. ijcai.org (2017)","DOI":"10.24963\/ijcai.2017\/139"},{"issue":"2","key":"2_CR23","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/505372.505373","volume":"3","author":"FM Donini","year":"2002","unstructured":"Donini, F.M., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Logic 3(2), 177\u2013225 (2002)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"4","key":"2_CR24","first-page":"418","volume":"16","author":"T Eiter","year":"2016","unstructured":"Eiter, T., Fink, M., Ianni, G., Krennwallner, T., Redl, C., Sch\u00fcller, P.: A model building framework for answer set programming with external computations. TPLP 16(4), 418\u2013464 (2016)","journal-title":"TPLP"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-85658-0_1","volume-title":"Reasoning Web","author":"T Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Krennwallner, T., Polleres, A.: Rules and ontologies for the semantic web. In: Baroglio, C., et al. (eds.) Reasoning Web. LNCS, vol. 5224, pp. 1\u201353. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85658-0_1"},{"key":"2_CR26","doi-asserted-by":"crossref","first-page":"11:1","DOI":"10.1145\/1877714.1877717","volume":"12","author":"T Eiter","year":"2011","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R.: Well-founded semantics for description logic programs in the semantic web. ACM Trans. Comput. Logic. 12, 11:1-11:41 (2011)","journal-title":"ACM Trans. Comput. Logic."},{"issue":"12\u201313","key":"2_CR27","doi-asserted-by":"crossref","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."},{"key":"2_CR28","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-319-23264-5_25","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T Eiter","year":"2015","unstructured":"Eiter, T., \u0160imkus, M.: Linking open-world knowledge bases using nonmonotonic rules. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS (LNAI), vol. 9345, pp. 294\u2013308. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23264-5_25"},{"issue":"2","key":"2_CR29","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: the potsdam answer set solving collection. AI Commun. 24(2), 107\u2013124 (2011)","journal-title":"AI Commun."},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"van Gelder, A.: The alternating fixpoint of logic programs with negation. In: Principles of Database Systems, pp. 1\u201310. ACM Press (1989)","DOI":"10.1145\/73721.73722"},{"issue":"3","key":"2_CR31","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A van Gelder","year":"1991","unstructured":"van Gelder, A., 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":"2_CR32","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9, 365\u2013385 (1991)","journal-title":"New Gener. Comput."},{"key":"2_CR33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2015.05.001","volume":"226","author":"L Giordano","year":"2015","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Semantic characterization of rational closure: from propositional logic to description logics. Artif. Intell. 226, 1\u201333 (2015)","journal-title":"Artif. Intell."},{"issue":"3","key":"2_CR34","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/s10817-014-9305-1","volume":"53","author":"B Glimm","year":"2014","unstructured":"Glimm, B., Horrocks, I., Motik, B., Stoilos, G., Wang, Z.: Hermit: an OWL 2 reasoner. J. Autom. Reason. 53(3), 245\u2013269 (2014)","journal-title":"J. Autom. Reason."},{"key":"2_CR35","unstructured":"Gottlob, G., Hernich, A., Kupke, C., Lukasiewicz, T.: Equality-friendly well-founded semantics and applications to description logics. In: AAAI. AAAI Press (2012)"},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Hencsey, G., White, B., Chen, Y.R., Kov\u00e1cs, L., Lawrence, S. (eds.) Proceedings of WWW, pp. 48\u201357. ACM (2003)","DOI":"10.2139\/ssrn.460986"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"Haarslev, V., Hidde, K., M\u00f6ller, R., Wessel, M.: The RacerPro knowledge representation and reasoning system. Seman. Web J. (2011). http:\/\/www.semantic-web-journal.net\/issues. (to appear)","DOI":"10.3233\/SW-2011-0032"},{"key":"2_CR38","unstructured":"Harris, S., Seaborne, A. (eds.): SPARQL 1.1 Query Language. W3C Working Group Note 21 March 2013 (2013). https:\/\/www.w3.org\/TR\/sparql11-query\/"},{"issue":"2","key":"2_CR39","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1145\/3397512","volume":"64","author":"P Hitzler","year":"2021","unstructured":"Hitzler, P.: A review of the semantic web field. Commun. ACM 64(2), 76\u201383 (2021)","journal-title":"Commun. ACM"},{"key":"2_CR40","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S. (eds.): OWL 2 Web Ontology Language: Primer (Second Edition). W3C, Cambridge(2012)"},{"key":"2_CR41","doi-asserted-by":"crossref","DOI":"10.1201\/9781420090512","volume-title":"Foundations of Semantic Web Technologies","author":"P Hitzler","year":"2009","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall\/CRC, Boca Raton (2009)"},{"key":"2_CR42","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $$\\cal{SROIQ}$$. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proceedings of KR, pp. 57\u201367. AAAI Press (2006)"},{"key":"2_CR43","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, J., et al. (eds.) ISWC 2013. LNCS, vol. 8218, pp. 216\u2013231. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41335-3_14"},{"key":"2_CR44","unstructured":"Kaminski, T., Knorr, M., Leite, J.: Efficient paraconsistent reasoning with ontologies and rules. In: Yang, Q., Wooldridge, M.J. (eds.) Proceedings of IJCAI, pp. 3098\u20133105. AAAI Press (2015)"},{"key":"2_CR45","doi-asserted-by":"publisher","unstructured":"Kasalica, V., Gerochristos, I., Alferes, J.J., Gomes, A.S., Knorr, M., Leite, J.: Telco network inventory validation with nohr. In: Balduccini, M., Lierler, Y., Woltran, S. (eds.) Logic Programming and Nonmonotonic Reasoning. LPNMR 2019. Lecture Notes in Computer Science, 11481, pp. 18\u2013331. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-20528-7_2","DOI":"10.1007\/978-3-030-20528-7_2"},{"key":"2_CR46","unstructured":"Kazakov, Y.: $$\\cal{RIQ}$$ and $$\\cal{SROIQ}$$ are harder than $$\\cal{SHOIQ}$$. In: Brewka, G., Lang, J. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16\u201319, 2008. AAAI Press (2008)"},{"key":"2_CR47","doi-asserted-by":"crossref","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. J. Autom. Reason. 53, 1\u201361 (2013)","journal-title":"J. Autom. Reason."},{"issue":"9\u201310","key":"2_CR48","doi-asserted-by":"crossref","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":"2_CR49","unstructured":"Knorr, M., Hitzler, P., Maier, F.: Reconciling OWL and non-monotonic rules for the semantic web. In: Raedt, L.D., Bessiere, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., Lucas, P.J.F. (eds.) Proceedings of ECAI. Frontiers in Artificial Intelligence and Applications, vol. 242, pp. 474\u2013479. IOS Press (2012)"},{"key":"2_CR50","doi-asserted-by":"crossref","unstructured":"Krisnadhi, A.A., Maier, F., Hitzler, P.: OWL and rules. In: Reasoning Web 2011, Springer Lecture Notes in Computer Science (2011). http:\/\/knoesis.wright.edu\/faculty\/pascal\/resources\/publications\/OWL-Rules-2011.pdf (to appear)","DOI":"10.1007\/978-3-642-23032-5_7"},{"key":"2_CR51","unstructured":"Krisnadhi, A.A., Sengupta, K., Hitzler, P.: Local closed world semantics: Keep it simple, stupid! Technical report, Wright State University (2011). http:\/\/pascal-hitzler.de\/resources\/publications\/GC-DLs.pdf"},{"issue":"2","key":"2_CR52","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/SW-140134","volume":"6","author":"J Lehmann","year":"2015","unstructured":"Lehmann, J., Isele, R., Jakob, M., Jentzsch, A., Kontokostas, D., Mendes, P.N., Hellmann, S., Morsey, M., van Kleef, P., Auer, S., Bizer, C.: Dbpedia - a large-scale, multilingual knowledge base extracted from Wikipedia. Semantic Web 6(2), 167\u2013195 (2015)","journal-title":"Semantic Web"},{"key":"2_CR53","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Logic 7, 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Logic"},{"key":"2_CR54","unstructured":"Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: Mylopoulos, J., Reiter, R. (eds.) Proceedings of IJCAI. Morgan Kaufmann (1991)"},{"key":"2_CR55","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/978-3-319-61660-5_22","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C Lopes","year":"2017","unstructured":"Lopes, C., Knorr, M., Leite, J.: NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond. In: Balduccini, M., Janhunen, T. (eds.) LPNMR 2017. LNCS (LNAI), vol. 10377, pp. 236\u2013249. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61660-5_22"},{"key":"2_CR56","doi-asserted-by":"crossref","unstructured":"Lukumbuzya, S., Ortiz, M., Simkus, M.: Resilient logic programs: answer set programs challenged by ontologies. In: AAAI, pp. 2917\u20132924. AAAI Press (2020)","DOI":"10.1609\/aaai.v34i03.5683"},{"key":"2_CR57","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-71070-7_16","volume-title":"Automated Reasoning","author":"C Lutz","year":"2008","unstructured":"Lutz, C.: The complexity of conjunctive query answering in expressive description logics. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 179\u2013193. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-71070-7_16"},{"key":"2_CR58","unstructured":"Magka, D., Kr\u00f6tzsch, M., Horrocks, I.: Computing stable models for nonmonotonic existential rules. In: IJCAI, pp. 1031\u20131038. IJCAI\/AAAI (2013)"},{"key":"2_CR59","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1007\/3-540-45628-7_18","volume-title":"Computational Logic: Logic Programming and Beyond","author":"J Minker","year":"2002","unstructured":"Minker, J., Seipel, D.: Disjunctive logic programming: a survey and assessment. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2407, pp. 472\u2013511. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45628-7_18"},{"key":"2_CR60","unstructured":"Morgenstern, L., Welty, C., Boley, H., Hallmark, G. (eds.): RIF Primer (Second Edition). W3C Working Group Note 5 February 2013 (2013). https:\/\/www.w3.org\/TR\/2014\/NOTE-rdf11-primer-20140624\/"},{"key":"2_CR61","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language: Profiles (Second Edition). W3C, Cambridge (2012)"},{"issue":"5","key":"2_CR62","doi-asserted-by":"crossref","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"},{"issue":"1","key":"2_CR63","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","volume":"3","author":"B Motik","year":"2005","unstructured":"Motik, B., Sattler, U., Studer, R.: Query-answering for OWL-DL with rules. J. Web Semant. 3(1), 41\u201360 (2005)","journal-title":"J. Web Semant."},{"key":"2_CR64","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-25010-6_1","volume-title":"The Semantic Web - ISWC 2015","author":"Y Nenov","year":"2015","unstructured":"Nenov, Y., Piro, R., Motik, B., Horrocks, I., Wu, Z., Banerjee, J.: RDFox: a highly-scalable RDF store. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9367, pp. 3\u201320. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25010-6_1"},{"key":"2_CR65","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., et al.: Matching patient records to clinical trials using ontologies. In: Aberer, K., et al. (eds.) ASWC\/ISWC -2007. LNCS, vol. 4825, pp. 816\u2013829. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-76298-0_59"},{"issue":"5\u20136","key":"2_CR66","doi-asserted-by":"crossref","first-page":"866","DOI":"10.1017\/S1471068416000211","volume":"16","author":"C Redl","year":"2016","unstructured":"Redl, C.: The DLVHEX system for knowledge representation: recent advances (system description). Theory Pract. Log. Program. 16(5\u20136), 866\u2013883 (2016)","journal-title":"Theory Pract. Log. Program."},{"issue":"1","key":"2_CR67","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.websem.2005.05.002","volume":"3","author":"R Rosati","year":"2005","unstructured":"Rosati, R.: On the decidability and complexity of integrating ontologies and rules. J. Web Semant. 3(1), 41\u201360 (2005)","journal-title":"J. Web Semant."},{"key":"2_CR68","unstructured":"Rosati, R.: DL+Log: A tight integration of description logics and disjunctive datalog. In: Doherty, P., Mylopoulos, J., Welty, C. (eds.) Tenth International Conference on the Principles of Knowledge Representation and Reasoning, KR 2006, pp. 68\u201378. AAAI Press (2006)"},{"key":"2_CR69","volume-title":"Artificial Intelligence: A Modern Approach","author":"SJ Russell","year":"2020","unstructured":"Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach, 4th edn. Pearson, London (2020)","edition":"4"},{"key":"2_CR70","unstructured":"Schreiber, G., Raimond, Y. (eds.): RDF 1.1 Primer. W3C Working Group Note 24 June 2014 (2014). available at https:\/\/www.w3.org\/TR\/2014\/NOTE-rdf11-primer-20140624\/"},{"key":"2_CR71","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. Web Semant. 5, 51\u201353 (2007)","journal-title":"Web Semant."},{"issue":"4\u20136","key":"2_CR72","first-page":"547","volume":"10","author":"M Slota","year":"2010","unstructured":"Slota, M., Leite, J.: Towards closed world reasoning in dynamic open worlds. TPLP 10(4\u20136), 547\u2013563 (2010)","journal-title":"TPLP"},{"issue":"4\u20135","key":"2_CR73","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":"2_CR74","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/j.artint.2015.07.008","volume":"229","author":"M Slota","year":"2015","unstructured":"Slota, M., Leite, J., Swift, T.: On updates of hybrid knowledge bases composed of ontologies and rules. Artif. Intell. 229, 33\u2013104 (2015)","journal-title":"Artif. Intell."},{"key":"2_CR75","doi-asserted-by":"crossref","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":"2_CR76","volume-title":"The Art of Prolog - Advanced Programming Techniques","author":"L Sterling","year":"1994","unstructured":"Sterling, L., Shapiro, E.: The Art of Prolog - Advanced Programming Techniques, 2nd edn. MIT Press, Cambridge (1994)","edition":"2"},{"issue":"1\u20132","key":"2_CR77","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1017\/S1471068411000500","volume":"12","author":"T Swift","year":"2012","unstructured":"Swift, T., Warren, D.S.: XSB: extending prolog with tabled logic programming. Theory Pract. Log. Program. 12(1\u20132), 157\u2013187 (2012)","journal-title":"Theory Pract. Log. Program."},{"issue":"2","key":"2_CR78","first-page":"129","volume":"8","author":"G Terracina","year":"2008","unstructured":"Terracina, G., Leone, N., Lio, V., Panetta, C.: Experimenting with recursive queries in database and logic programming systems. TPLP 8(2), 129\u2013165 (2008)","journal-title":"TPLP"},{"key":"2_CR79","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: system description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292\u2013297. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11814771_26"},{"issue":"4\u20136","key":"2_CR80","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1017\/S1471068410000268","volume":"10","author":"Y Wang","year":"2010","unstructured":"Wang, Y., You, J.H., Yuan, L.Y., Shen, Y.D.: Loop formulas for description logic programs. Theory Pract. Logic Program. 10(4\u20136), 531\u2013545 (2010)","journal-title":"Theory Pract. Logic Program."},{"key":"2_CR81","doi-asserted-by":"crossref","unstructured":"Xiao, G., et al.: Ontology-based data access: a survey. In: IJCAI, pp. 5511\u20135519. ijcai.org (2018)","DOI":"10.24963\/ijcai.2018\/777"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Declarative Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-95481-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,17]],"date-time":"2024-09-17T17:12:47Z","timestamp":1726593167000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-95481-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783030954802","9783030954819"],"references-count":81,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-95481-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"1 February 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Reasoning Web","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Reasoning Web International Summer School","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Leuven","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Belgium","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rweb2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/declarativeai2021.net\/reasoning-web\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}