{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T20:45:01Z","timestamp":1772829901623,"version":"3.50.1"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319616599","type":"print"},{"value":"9783319616605","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61660-5_22","type":"book-chapter","created":{"date-parts":[[2017,6,27]],"date-time":"2017-06-27T05:22:22Z","timestamp":1498540942000},"page":"236-249","source":"Crossref","is-referenced-by-count":5,"title":["NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Lopes","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Knorr","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,28]]},"reference":[{"key":"22_CR1","unstructured":"Alberti, M., Knorr, M., Gomes, A.S., Leite, J., Gon\u00e7alves, R., Slota, M.: Normative systems require hybrid knowledge bases. In: AAMAS, pp. 1425\u20131426 (2012)"},{"issue":"2","key":"22_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":"22_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":"22_CR4","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applicationsm","year":"2010","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applicationsm, 3rd edn. Cambridge University Press, New York (2010)","edition":"3"},{"key":"22_CR5","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)"},{"issue":"20","key":"22_CR6","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."},{"issue":"1","key":"22_CR7","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":"22_CR8","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). doi: 10.1007\/978-3-319-25007-6_33"},{"issue":"12\u201313","key":"22_CR9","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."},{"issue":"3","key":"22_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"},{"issue":"3","key":"22_CR11","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":"22_CR12","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.1145\/775152.775160"},{"key":"22_CR13","volume-title":"OWL 2 Web Ontology Language: Primer","year":"2012","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S. (eds.): OWL 2 Web Ontology Language: Primer, 2nd edn. W3C Recommendation, Cambridge (2012). http:\/\/www.w3.org\/TR\/owl2-primer\/","edition":"2"},{"key":"22_CR14","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., et al. (eds.) ISWC 2013. LNCS, vol. 8218, pp. 216\u2013231. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-41335-3_14"},{"key":"22_CR15","unstructured":"Kaminski, T., Knorr, M., Leite, J.: Efficient paraconsistent reasoning with ontologies and rules. In: Yang, Q., Wooldridge, M. (eds.) Proceedings of IJCAI (2015)"},{"key":"22_CR16","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."},{"key":"22_CR17","volume-title":"RIF Overview","year":"2013","unstructured":"Kifer, M., Boley, H. (eds.): RIF Overview, 2nd edn. W3C Working Group Note, Cambridge (2013). http:\/\/www.w3.org\/TR\/rif-overview\/","edition":"2"},{"issue":"9\u201310","key":"22_CR18","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":"22_CR19","unstructured":"Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: Mylopoulos, J., Reiter, R. (eds.) Proceedings of IJCAI, pp. 381\u2013386. Morgan Kaufmann (1991)"},{"key":"22_CR20","volume-title":"OWL 2 Web Ontology Language: Profiles","year":"2012","unstructured":"Motik, B., Grau, B.C., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language: Profiles, 2nd edn. W3C Recommendation, Cambridge (2012). http:\/\/www.w3.org\/TR\/owl2-profiles\/","edition":"2"},{"issue":"5","key":"22_CR21","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"},{"key":"22_CR22","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., et al. (eds.) ASWC\/ISWC -2007. LNCS, vol. 4825, pp. 816\u2013829. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-76298-0_59"},{"key":"22_CR23","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":"22_CR24","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":"22_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1007\/978-3-642-25073-6_43","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"G Stoilos","year":"2011","unstructured":"Stoilos, G., Cuenca Grau, B., Motik, B., Horrocks, I.: Repairing ontologies for incomplete reasoners. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011. LNCS, vol. 7031, pp. 681\u2013696. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-25073-6_43"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61660-5_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,27]],"date-time":"2019-09-27T01:37:24Z","timestamp":1569548244000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61660-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319616599","9783319616605"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61660-5_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}