{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:26:37Z","timestamp":1742970397298,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642396656"},{"type":"electronic","value":"9783642396663"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39666-3_24","type":"book-chapter","created":{"date-parts":[[2013,7,15]],"date-time":"2013-07-15T03:05:35Z","timestamp":1373857535000},"page":"253-258","source":"Crossref","is-referenced-by-count":0,"title":["An Integrated Environment for Reasoning over Ontologies via Logic Programming"],"prefix":"10.1007","author":[{"given":"Barbara","family":"Nardi","sequence":"first","affiliation":[]},{"given":"Kristian","family":"Reale","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[]},{"given":"Giorgio","family":"Terracina","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. In: Proc. of PODS 2009, pp. 77\u201386. ACM (2009)","key":"24_CR1","DOI":"10.1145\/1559795.1559809"},{"issue":"3","key":"24_CR2","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The dl-lite family. Journal of Automated Reasoning\u00a039(3), 385\u2013429 (2007)","journal-title":"Journal of Automated Reasoning"},{"unstructured":"W3C: The World Wide Web Consortium (2012), \n                      http:\/\/www.w3.org\/","key":"24_CR3"},{"unstructured":"Heymans, S., Eiter, T., Xiao, G.: Tractable reasoning with dl-programs over datalog-rewritable description logics. In: Proc. of ECAI 2010, pp. 35\u201340. IOS Press (2010)","key":"24_CR4"},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/j.artint.2012.10.003","volume":"195","author":"D. Calvanese","year":"2013","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. Artif. Intell.\u00a0195, 335\u2013360 (2013)","journal-title":"Artif. Intell."},{"key":"24_CR6","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-642-22438-6_16","volume-title":"Automated Deduction \u2013 CADE-23","author":"A. Chortaras","year":"2011","unstructured":"Chortaras, A., Trivela, D., Stamou, G.: Optimized query rewriting for OWL 2 QL. In: Bj\u00f8rner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS (LNAI), vol.\u00a06803, pp. 192\u2013206. Springer, Heidelberg (2011)"},{"unstructured":"Acciarri, A., Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Palmieri, M., Rosati, R.: QUONTO: querying ontologies. In: Proc. of AAAI 2005, vol.\u00a04, pp. 1670\u20131671. AAAI Press (2005)","key":"24_CR7"},{"unstructured":"P\u00e9rez-Urbina, H., Motik, B., Horrocks, I.: A comparison of query rewriting techniques for dl-lite. In: Proceedings of the 22st International Workshop on Description Logics, DL 2009, vol.\u00a0477. CEUR-WS.org (2009)","key":"24_CR8"},{"unstructured":"Rosati, R., Almatelli, A.: Improving Query Answering over DL-Lite Ontologies. In: Proc. of KR 2010, pp. 290\u2013300. AAAI Press (2010)","key":"24_CR9"},{"unstructured":"Stocker, M., Smith, M.: Owlgres: A scalable owl reasoner. In: Dolbear, C., Ruttenberg, A., Sattler, U. (eds.) OWLED 2008, vol.\u00a0432. CEUR-WS.org (2008)","key":"24_CR10"},{"doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press (2003)","key":"24_CR11","DOI":"10.1017\/CBO9780511543357"},{"doi-asserted-by":"crossref","unstructured":"Polleres, A.: From sparql to rules (and back). In: Proc. of WWW 2007, pp. 787\u2013796. ACM (2007)","key":"24_CR12","DOI":"10.1145\/1242572.1242679"},{"key":"24_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1007\/978-3-642-02121-3_70","volume-title":"The Semantic Web: Research and Applications","author":"G. Ianni","year":"2009","unstructured":"Ianni, G., Krennwallner, T., Martello, A., Polleres, A.: A rule system for querying persistent RDFS data. In: Aroyo, L., et al. (eds.) ESWC 2009. LNCS, vol.\u00a05554, pp. 857\u2013862. Springer, Heidelberg (2009)"},{"key":"24_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-642-20895-9_37","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"O. Febbraro","year":"2011","unstructured":"Febbraro, O., Reale, K., Ricca, F.: ASPIDE: Integrated development environment for answer set programming. In: Delgrande, J., Faber, W. (eds.) LPNMR 2011. LNCS, vol.\u00a06645, pp. 317\u2013330. Springer, Heidelberg (2011)"},{"unstructured":"Stanford University: The Prot\u00e9g\u00e9 Ontology Editor and Knowledge Acquisition System (2012), \n                      http:\/\/protege.stanford.edu","key":"24_CR15"},{"key":"24_CR16","doi-asserted-by":"publisher","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 Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"unstructured":"Febbraro, O., Leone, N., Reale, K., Ricca, F.: Extending aspide with user-defined plugins. In: CILC, vol.\u00a0857, pp. 236\u2013240. CEUR-WS.org (2012)","key":"24_CR17"},{"issue":"3","key":"24_CR18","doi-asserted-by":"publisher","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 Transactions on Computational Logic\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM Transactions on Computational Logic"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39666-3_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,19]],"date-time":"2023-01-19T11:48:04Z","timestamp":1674128884000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39666-3_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642396656","9783642396663"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39666-3_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}