{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:39:13Z","timestamp":1743089953971,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319250069"},{"type":"electronic","value":"9783319250076"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","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":[[2015]]},"DOI":"10.1007\/978-3-319-25007-6_18","type":"book-chapter","created":{"date-parts":[[2015,10,13]],"date-time":"2015-10-13T18:59:41Z","timestamp":1444762781000},"page":"305-321","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Adding DL-Lite TBoxes to Proper Knowledge Bases"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"De Giacomo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hector","family":"Levesque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,30]]},"reference":[{"key":"18_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley (1995)"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Allemang, D., Hendler, J.: Semantic Web for the Working Ontologist: Effective Modeling in RDFS and OWL. Morgan Kaufmann (2008)","DOI":"10.1016\/B978-0-12-373556-0.00002-2"},{"key":"18_CR3","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2003)"},{"key":"18_CR4","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $${\\cal EL}$$ envelope, pp. 364\u2013369 (2005)"},{"key":"18_CR5","unstructured":"Baier, C., Katoen, J.P.: Principles of model checking. MIT Press (2008)"},{"issue":"1\u20132","key":"18_CR6","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artif. Intell. 168(1\u20132), 70\u2013118 (2005)","journal-title":"Artif. Intell."},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Brachman, R., Levesque, H.: Knowledge Representation and Reasoning. Morgan Kaufmann (2004)","DOI":"10.1016\/B978-155860932-7\/50099-6"},{"key":"18_CR8","unstructured":"Brickley, D., Guha, R., McBride, B.: RDF Schema 1.1. W3C Recommendation. World Wide Web Consortium, February 2014. \n                      http:\/\/www.w3.org\/TR\/rdf-schema\/"},{"issue":"3","key":"18_CR9","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. J. Autom. Reasoning 39(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reasoning"},{"key":"18_CR10","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. 195, 335\u2013360 (2013)","journal-title":"Artif. Intell."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M.: Using OWL in data integration. In: Semantic Web Information Management - A Model-Based Perspective, pp. 397\u2013424. Springer (2009)","DOI":"10.1007\/978-3-642-04329-1_17"},{"key":"18_CR12","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Levesque, H.J.: Efficient reasoning in proper knowledge bases with unknown individuals. In: Proc. of IJCAI 2011, pp. 827\u2013832 (2011)"},{"issue":"4","key":"18_CR13","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1093\/logcom\/4.4.423","volume":"4","author":"FM Donini","year":"1994","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: Deduction in concept languages: from subsumption to instance checking. J. of Logic and Computation 4(4), 423\u2013452 (1994)","journal-title":"J. of Logic and Computation"},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-642-41335-3_7","volume-title":"The Semantic Web \u2013 ISWC 2013","author":"E Franconi","year":"2013","unstructured":"Franconi, E., Gutierrez, C., Mosca, A., Pirr\u00f2, G., Rosati, R.: The logic of extensional RDFS. In: Alani, H., et al. (eds.) ISWC 2013, Part I. LNCS, vol. 8218, pp. 101\u2013116. Springer, Heidelberg (2013)"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: a theoretical perspective. In: Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3\u20135, Madison, Wisconsin, USA, pp. 233\u2013246 (2002)","DOI":"10.1145\/543613.543644"},{"key":"18_CR16","unstructured":"Lenzerini, M.: Ontology-based data management. In: Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, Ouro Preto, Brazil, June 27\u201330, pp. 12\u201315 (2012)"},{"key":"18_CR17","unstructured":"Levesque, H.J.: A completeness result for reasoning with incomplete first-order knowledge bases. In: KR, pp. 14\u201323 (1998)"},{"key":"18_CR18","unstructured":"Liu, Y.: Tractable Reasonng in Incomplete First-Order Knowledge Bases. Ph.D. thesis, Department of Computer Science, University of Toronto (2006)"},{"key":"18_CR19","unstructured":"Liu, Y., Levesque, H.J.: A tractability result for reasoning with incomplete first-order knowledge bases. In: IJCAI, pp. 83\u201388 (2003)"},{"key":"18_CR20","unstructured":"W3C: OWL 2 web ontology language primer, 2nd edn. Tech. rep., W3C Recommendation, December 11, 2012"},{"key":"18_CR21","unstructured":"W3C: SPARQL 1.1 overview. Tech. rep., W3C Recommendation March 21, 2013"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2015"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25007-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,28]],"date-time":"2020-09-28T00:35:35Z","timestamp":1601253335000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25007-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319250069","9783319250076"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25007-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"30 October 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}