{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T03:30:10Z","timestamp":1768534210173,"version":"3.49.0"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,3,4]],"date-time":"2020-03-04T00:00:00Z","timestamp":1583280000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,3,4]],"date-time":"2020-03-04T00:00:00Z","timestamp":1583280000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["PTDC\/CCI-COM\/30952\/2017"],"award-info":[{"award-number":["PTDC\/CCI-COM\/30952\/2017"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["UID\/CEC\/04516\/2019"],"award-info":[{"award-number":["UID\/CEC\/04516\/2019"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1007\/s13218-020-00650-1","type":"journal-article","created":{"date-parts":[[2020,3,4]],"date-time":"2020-03-04T15:02:32Z","timestamp":1583334152000},"page":"509-515","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["NoHR: An Overview"],"prefix":"10.1007","volume":"34","author":[{"given":"Vedran","family":"Kasalica","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Knorr","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Lopes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,3,4]]},"reference":[{"key":"650_CR1","volume-title":"The description logic handbook: theory, implementation, and applications","year":"2010","unstructured":"Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (eds) (2010) The description logic handbook: theory, implementation, and applications, 3rd edn. Cambridge University Press, Cambridge","edition":"3"},{"issue":"20","key":"650_CR2","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 (1994) Logic programming and knowledge representation. J Log Program 19(20):73\u2013148","journal-title":"J Log Program"},{"key":"650_CR3","volume-title":"OWL 2 web ontology language: primer","author":"P Hitzler","year":"2012","unstructured":"Hitzler P, Kr\u00f6tzsch M, Parsia B, Patel-Schneider PF, Rudolph S (2012) OWL 2 web ontology language: primer. W3C, Cambridge"},{"key":"650_CR4","unstructured":"Kifer M, Boley H (eds.): RIF overview (Second Edition). W3C Working Group Note (2013) Available at http:\/\/www.w3.org\/TR\/rif-overview\/. Accessed 5 Feb 2013"},{"key":"650_CR5","volume-title":"OWL 2 web ontology language: profiles","year":"2012","unstructured":"Motik B, Cuenca Grau B, Horrocks I, Wu Z, Fokoue A, Lutz C (eds) (2012) OWL 2 web ontology language: profiles, 2nd edn. W3C, Cambridge","edition":"2"},{"issue":"12\u201313","key":"650_CR6","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 (2008) Combining answer set programming with description logics for the semantic web. Artif Intell 172(12\u201313):1495\u20131539","journal-title":"Artif Intell"},{"issue":"5","key":"650_CR7","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/1754399.1754403","volume":"57","author":"B Motik","year":"2010","unstructured":"Motik B, Rosati R (2010) Reconciling description logics and rules. J ACM 57(5):93\u2013154","journal-title":"J ACM"},{"key":"650_CR8","first-page":"294","volume-title":"Procs. of LPNMR, LNCS","author":"T Eiter","year":"2015","unstructured":"Eiter T, Simkus M (2015) Linking open-world knowledge bases using nonmonotonic rules. In: Ianni G, Truszczynski M, Calimeri F (eds) Procs. of LPNMR, LNCS, vol 9345. Springer, Berlin, pp 294\u2013308"},{"key":"650_CR9","series-title":"ISWC 2007, ASWC 2007. Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"816","DOI":"10.1007\/978-3-540-76298-0_59","volume-title":"Semantic web","author":"C Patel","year":"2007","unstructured":"Patel C et\u00a0al (2007) Matching patient records to clinical trials using ontologies. In: Aberer K et al  (eds) Semantic web. ISWC 2007, ASWC 2007. Lecture notes in computer science, vol 4825. Springer, Berlin, pp 816\u2013829"},{"key":"650_CR10","first-page":"1425","volume-title":"Procs. of AAMAS","author":"M Alberti","year":"2012","unstructured":"Alberti M, Knorr M, Gomes AS, Leite J, Gon\u00e7alves R, Slota M (2012) Normative systems require hybrid knowledge bases. In: van der Hoek W, Padgham L, Conitzer V, Winikoff M et al (eds) Procs. of AAMAS. IFAAMAS, Montreal pp, pp 1425\u20131426"},{"key":"650_CR11","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 (2015) On updates of hybrid knowledge bases composed of ontologies and rules. Artif Intell 229:33\u2013104","journal-title":"Artif Intell"},{"key":"650_CR12","first-page":"236","volume-title":"Procs of LPNMR, LNCS","author":"C Lopes","year":"2017","unstructured":"Lopes C, Knorr M, Leite J (2017) Nohr: Integrating XSB prolog with the OWL 2 profiles and beyond. Procs of LPNMR, LNCS, vol 10377. Springer, Berlin, pp 236\u2013249"},{"key":"650_CR13","first-page":"18","volume-title":"Procs. of LPNMR, LNCS","author":"V Kasalica","year":"2019","unstructured":"Kasalica V, Gerochristos I, Alferes JJ, Gomes AS, Knorr M, Leite J (2019) Telco network inventory validation with nohr. In: Lierler Y, Woltran S, Balduccini M (eds) Procs. of LPNMR, LNCS, vol 11481. Springer, Berlin, pp 18\u201331"},{"key":"650_CR14","unstructured":"Baader F, Brandt S, Lutz C (2005) Pushing the $$\\cal{EL}$$ envelope. In: Kaelbling LP, Saffiotti A (eds) Procs. of IJCAI. Professional Book Center, pp. 364\u2013369"},{"issue":"9\u201310","key":"650_CR15","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 JJ, Hitzler P (2011) Local closed world reasoning with description logics under the well-founded semantics. Artif Intell 175(9\u201310):1528\u20131554","journal-title":"Artif Intell"},{"key":"650_CR16","volume-title":"Procs. of IJCAI","author":"V Lifschitz","year":"1991","unstructured":"Lifschitz V (1991) Nonmonotonic databases and epistemic queries. In: Mylopoulos J, Reiter R (eds) Procs. of IJCAI. Morgan Kaufmann, Burlington"},{"issue":"3","key":"650_CR17","first-page":"620","volume":"38","author":"AV Gelder","year":"1991","unstructured":"Gelder AV, Ross KA, Schlipf JS (1991) The well-founded semantics for general logic programs. J ACM 38(3):620\u2013650","journal-title":"J ACM"},{"issue":"2","key":"650_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2480759.2480768","volume":"14","author":"JJ Alferes","year":"2013","unstructured":"Alferes JJ, Knorr M, Swift T (2013) Query-driven procedures for hybrid MKNF knowledge bases. ACM Trans Comput Log 14(2):1\u201343","journal-title":"ACM Trans Comput Log"},{"key":"650_CR19","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 (2013) The incredible ELK: from polynomial procedures to efficient reasoning with $$\\cal{EL}$$ ontologies. J Autom Reason 53:1\u201361","journal-title":"J Autom Reason"},{"issue":"3","key":"650_CR20","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 (2014) Hermit: an OWL 2 reasoner. J Autom Reason 53(3):245\u2013269","journal-title":"J Autom Reason"},{"key":"650_CR21","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 (2014) Konclude: system description. J Web Sem 27:78\u201385","journal-title":"J Web Sem"},{"key":"650_CR22","first-page":"3098","volume-title":"Procs. of IJCAI","author":"T Kaminski","year":"2015","unstructured":"Kaminski T, Knorr M, Leite J (2015) Efficient paraconsistent reasoning with ontologies and rules. In: Yang Q, Wooldridge MJ (eds) Procs. of IJCAI. AAAI Press, Louisiana, pp 3098\u20133105"},{"key":"650_CR23","first-page":"57","volume-title":"Procs. of KR","author":"I Horrocks","year":"2006","unstructured":"Horrocks I, Kutz O, Sattler U (2006) The even more irresistible $$\\cal{SROIQ}$$. In: Doherty P, Mylopoulos J, Welty CA (eds) Procs. of KR. AAAI Press, Louisiana, pp 57\u201367"},{"key":"650_CR24","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 (2009) The $$DL$$-$$Lite$$ family and relations. J Artif Intell Res (JAIR) 36:1\u201369","journal-title":"J Artif Intell Res (JAIR)"},{"key":"650_CR25","first-page":"48","volume-title":"Procs. of WWW","author":"BN Grosof","year":"2003","unstructured":"Grosof BN, Horrocks I, Volz R, Decker S (2003) Description logic programs: combining logic programs with description logic. In: Hencsey G, White B, Chen YR, Kov\u00e1cs L, Lawrence S (eds) Procs. of WWW. ACM, New York, pp 48\u201357"},{"issue":"1","key":"650_CR26","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W Chen","year":"1996","unstructured":"Chen W, Warren DS (1996) Tabled evaluation with delaying for general logic programs. J ACM 43(1):20\u201374","journal-title":"J ACM"},{"issue":"2","key":"650_CR27","first-page":"129","volume":"8","author":"G Terracina","year":"2008","unstructured":"Terracina G, Leone N, Lio V, Panetta C (2008) Experimenting with recursive queries in database and logic programming systems. TPLP 8(2):129\u2013165","journal-title":"TPLP"},{"issue":"3","key":"650_CR28","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 (2017) Ontop: answering SPARQL queries over relational databases. Semantic Web 8(3):471\u2013487","journal-title":"Semantic Web"},{"key":"650_CR29","series-title":"ISWC 2013. Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/978-3-642-41335-3_14","volume-title":"The semantic web\u2014ISWC 2013","author":"V Ivanov","year":"2013","unstructured":"Ivanov V, Knorr M, Leite J (2013) A query tool for $$\\cal{EL}$$ with non-monotonic rules. In: Alani H et al (eds) The semantic web\u2014ISWC 2013. ISWC 2013. Lecture notes in computer science, vol 8218. Springer, Berlin, pp 216\u2013231"},{"key":"650_CR30","doi-asserted-by":"crossref","unstructured":"Costa N, Knorr M, Leite J (2015) Next step for NoHR: OWL 2 QL. In: Arenas M, Corcho \u00d3, Simperl E, Strohmaier M, d\u2019Aquin M, Srinivas K, Groth PT, Dumontier M, Heflin J, Thirunarayan K, Staab S (eds.) Procs. of ISWC, LNCS, vol. 9366, pp. 569\u2013586","DOI":"10.1007\/978-3-319-25007-6_33"},{"issue":"4","key":"650_CR31","first-page":"418","volume":"16","author":"T Eiter","year":"2016","unstructured":"Eiter T, Fink M, Ianni G, Krennwallner T, Redl C, Sch\u00fcller P (2016) A model building framework for answer set programming with external computations. TPLP 16(4):418\u2013464","journal-title":"TPLP"},{"issue":"2\u20133","key":"650_CR32","first-page":"187","volume":"32","author":"T Eiter","year":"2018","unstructured":"Eiter T, Germano S, Ianni G, Kaminski T, Redl C, Sch\u00fcller P, Weinzierl A (2018) The DLVHEX system. KI 32(2\u20133):187\u2013189","journal-title":"KI"},{"issue":"3","key":"650_CR33","first-page":"360","volume":"19","author":"C Redl","year":"2019","unstructured":"Redl C (2019) Inlining external sources in answer set programs. TPLP 19(3):360\u2013411","journal-title":"TPLP"},{"key":"650_CR34","first-page":"1728","volume-title":"Procs. of AAAI","author":"L Bajraktari","year":"2018","unstructured":"Bajraktari L, Ortiz M, Simkus M (2018) Combining rules and ontologies into clopen knowledge bases. In: McIlraith SA, Weinberger KQ (eds) Procs. of AAAI. AAAI Press, Louisiana, pp 1728\u20131735"},{"key":"650_CR35","first-page":"474","volume-title":"Procs. of ECAI, frontiers in artificial intelligence and applications","author":"M Knorr","year":"2012","unstructured":"Knorr M, Hitzler P, Maier F (2012) Reconciling OWL and non-monotonic rules for the semantic web. In: Raedt LD, Bessiere C, Dubois D, Doherty P, Frasconi P, Heintz F, Lucas PJF (eds) Procs. of ECAI, frontiers in artificial intelligence and applications, vol 242. IOS Press, Amsterdam, pp 474\u2013479"},{"issue":"2","key":"650_CR36","first-page":"117","volume":"30","author":"B Glimm","year":"2016","unstructured":"Glimm B, Stuckenschmidt H (2016) 15 years of semantic web: an incomplete survey. KI 30(2):117\u2013130","journal-title":"KI"},{"issue":"2","key":"650_CR37","first-page":"149","volume":"30","author":"A Latif","year":"2016","unstructured":"Latif A, Scherp A, Tochtermann K (2016) LOD for library science: benefits of applying linked open data in the digital library setting - retrospects and research topics. KI 30(2):149\u2013157","journal-title":"KI"},{"issue":"2","key":"650_CR38","first-page":"159","volume":"30","author":"B Zapilko","year":"2016","unstructured":"Zapilko B, Schaible J, Wandh\u00f6fer T, Mutschke P (2016) Applying linked data technologies in the social sciences. KI 30(2):159\u2013162","journal-title":"KI"},{"issue":"4\u20136","key":"650_CR39","first-page":"547","volume":"10","author":"M Slota","year":"2010","unstructured":"Slota M, Leite J (2010) Towards closed world reasoning in dynamic open worlds. TPLP 10(4\u20136):547\u2013563","journal-title":"TPLP"},{"issue":"4\u20135","key":"650_CR40","first-page":"801","volume":"11","author":"M Slota","year":"2011","unstructured":"Slota M, Leite J, Swift T (2011) Splitting and updating hybrid knowledge bases. TPLP 11(4\u20135):801\u2013819","journal-title":"TPLP"},{"key":"650_CR41","first-page":"372","volume-title":"Procs of JELIA, LNCS","author":"M Slota","year":"2012","unstructured":"Slota M, Leite J (2012) A unifying perspective on knowledge updates. In: del Cerro LF, Herzig A, Mengin J (eds) Procs of JELIA, LNCS, vol 7519. Springer, Berlin, pp 372\u2013384"},{"issue":"6","key":"650_CR42","first-page":"869","volume":"14","author":"M Slota","year":"2014","unstructured":"Slota M, Leite J (2014) The rise and fall of semantic rule updates based on se-models. TPLP 14(6):869\u2013907","journal-title":"TPLP"},{"key":"650_CR43","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 (2018) LARS: a logic-based framework for analytic reasoning over streams. Artif Intell 261:16\u201370","journal-title":"Artif Intell"},{"issue":"2\u20133","key":"650_CR44","first-page":"193","volume":"32","author":"H Beck","year":"2018","unstructured":"Beck H, Dao-Tran M, Eiter T, Folie C (2018) Stream reasoning with LARS. KI 32(2\u20133):193\u2013195","journal-title":"KI"},{"key":"650_CR45","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 (2018) Reactive multi-context systems: heterogeneous reasoning in dynamic environments. Artif Intell 256:68\u2013104","journal-title":"Artif Intell"},{"key":"650_CR46","first-page":"159","volume-title":"Procs of ECAI, frontiers in artificial intelligence and applications","author":"G Brewka","year":"2014","unstructured":"Brewka G, Ellmauthaler S, P\u00fchrer J (2014) Multi-context systems for reactive reasoning in dynamic environments. In: Schaub T, Friedrich G, O\u2019Sullivan B (eds) Procs of ECAI, frontiers in artificial intelligence and applications, vol 263. IOS Press, Amsterdam, pp 159\u2013164"},{"key":"650_CR47","first-page":"375","volume-title":"Procs. of ECAI, frontiers in artificial intelligence and applications","author":"R Gon\u00e7alves","year":"2014","unstructured":"Gon\u00e7alves R, Knorr M, Leite J (2014) Evolving multi-context systems. In: Friedrich G, O\u2019Sullivan B (eds) Procs. of ECAI, frontiers in artificial intelligence and applications, vol 263. IOS Press, Amsterdam, pp 375\u2013380"},{"issue":"6","key":"650_CR48","doi-asserted-by":"crossref","first-page":"1279","DOI":"10.1093\/logcom\/ext062","volume":"24","author":"M Knorr","year":"2014","unstructured":"Knorr M, Slota M, Leite J, Homola M (2014) What if no hybrid reasoner is available? hybrid MKNF in multi-context systems. J Log Comput 24(6):1279\u20131311","journal-title":"J Log Comput"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-020-00650-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-020-00650-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-020-00650-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,4]],"date-time":"2021-03-04T01:44:01Z","timestamp":1614822241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-020-00650-1"}},"subtitle":["Reasoning with Ontologies and Nonmonotonic Rules"],"short-title":[],"issued":{"date-parts":[[2020,3,4]]},"references-count":48,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["650"],"URL":"https:\/\/doi.org\/10.1007\/s13218-020-00650-1","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,3,4]]},"assertion":[{"value":"3 January 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 February 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 March 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}