{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:46:32Z","timestamp":1742931992571,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030205270"},{"type":"electronic","value":"9783030205287"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-20528-7_2","type":"book-chapter","created":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T10:34:37Z","timestamp":1558348477000},"page":"18-31","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Telco Network Inventory Validation with NoHR"],"prefix":"10.1007","author":[{"given":"Vedran","family":"Kasalica","sequence":"first","affiliation":[]},{"given":"Ioannis","family":"Gerochristos","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"additional","affiliation":[]},{"given":"Ana Sofia","family":"Gomes","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Knorr","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,5,12]]},"reference":[{"issue":"2","key":"2_CR1","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":"2_CR2","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"},{"issue":"3","key":"2_CR3","doi-asserted-by":"publisher","first-page":"471","DOI":"10.3233\/SW-160217","volume":"8","author":"D Calvanese","year":"2017","unstructured":"Calvanese, D., et al.: Ontop: answering SPARQL queries over relational databases. Semant. Web 8(3), 471\u2013487 (2017)","journal-title":"Semant. Web"},{"issue":"1","key":"2_CR4","doi-asserted-by":"publisher","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_CR5","unstructured":"Costa, N., Knorr, M., Leite, J.: Querying LUBM with non-monotonic features in protege using NoHR. In: Proceedings of ISWC Demonstrations, CEUR Proceedings, vol. 1486 (2015)"},{"key":"2_CR6","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 \u2013 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). \n                      https:\/\/doi.org\/10.1007\/978-3-319-25007-6_33"},{"issue":"4","key":"2_CR7","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"},{"issue":"12\u201313","key":"2_CR8","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":"2_CR9","doi-asserted-by":"publisher","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_CR10","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \n                      \n                        \n                      \n                      $$\\cal{SROIQ}$$\n                    . In: Proceedings of KR. AAAI Press (2006)"},{"key":"2_CR11","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 \n                      \n                        \n                      \n                      $$\\cal{EL}$$\n                     with non-monotonic rules. In: Alani, H., et al. (eds.) ISWC 2013. LNCS, vol. 8218, pp. 216\u2013231. Springer, Heidelberg (2013). \n                      https:\/\/doi.org\/10.1007\/978-3-642-41335-3_14"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/978-3-319-23485-4_39","volume-title":"Progress in Artificial Intelligence","author":"V Ivanov","year":"2015","unstructured":"Ivanov, V., Knorr, M., Leite, J.: Reasoning over ontologies and non-monotonic rules. In: Pereira, F., Machado, P., Costa, E., Cardoso, A. (eds.) EPIA 2015. LNCS (LNAI), vol. 9273, pp. 388\u2013401. Springer, Cham (2015). \n                      https:\/\/doi.org\/10.1007\/978-3-319-23485-4_39"},{"key":"2_CR13","unstructured":"Kaminski, T., Knorr, M., Leite, J.: Efficient paraconsistent reasoning with ontologies and rules. In: Proceedings of IJCAI. AAAI Press (2015)"},{"key":"2_CR14","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 \n                      \n                        \n                      \n                      $$\\cal{EL}$$\n                     ontologies. J. Autom. Reason. 53, 1\u201361 (2013)","journal-title":"J. Autom. Reason."},{"issue":"9\u201310","key":"2_CR15","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":"2_CR16","unstructured":"Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: Mylopoulos, J., Reiter, R. (eds.) Proceedings of IJCAI. Morgan Kaufmann (1991)"},{"key":"2_CR17","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). \n                      https:\/\/doi.org\/10.1007\/978-3-319-61660-5_22"},{"key":"2_CR18","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language: Profiles (Second Edition). W3C (2012)"},{"issue":"5","key":"2_CR19","doi-asserted-by":"publisher","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":"2_CR20","doi-asserted-by":"publisher","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_CR21","doi-asserted-by":"publisher","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 Semant. 27, 78\u201385 (2014)","journal-title":"J. Web Semant."},{"issue":"2","key":"2_CR22","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"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-20528-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T01:43:40Z","timestamp":1558575820000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-20528-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030205270","9783030205287"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-20528-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"12 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LPNMR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Logic Programming and Nonmonotonic Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Philadelphia, PA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lpnmr2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sites.sju.edu\/plw\/lpnmr-2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}