{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T23:28:24Z","timestamp":1761953304360,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540885931"},{"type":"electronic","value":"9783540885948"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88594-8_11","type":"book-chapter","created":{"date-parts":[[2008,10,20]],"date-time":"2008-10-20T13:36:43Z","timestamp":1224509803000},"page":"199-214","source":"Crossref","is-referenced-by-count":4,"title":["Rewriting Conjunctive Queries over Description Logic Knowledge Bases"],"prefix":"10.1007","author":[{"given":"H\u00e9ctor","family":"P\u00e9rez-Urbina","sequence":"first","affiliation":[]},{"given":"Boris","family":"Motik","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the EL Envelope. In: Proc. IJCAI 2005, Edinburgh, Scotland, pp. 364\u2013369 (2005)","DOI":"10.25368\/2022.144"},{"key":"11_CR2","first-page":"47","volume-title":"Basic Description Logics","author":"F. Baader","year":"2003","unstructured":"Baader, F., Nutt, W.: Basic Description Logics, ch.\u00a02, pp. 47\u2013100. Cambridge University Press, Cambridge (2003)"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1016\/B978-044450813-3\/50010-2","volume-title":"Handbook of Automated Reasoning, ch. 8","author":"F. Baader","year":"2001","unstructured":"Baader, F., Snyder, W.: Unification theory. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, ch. 8, vol.\u00a0I, pp. 445\u2013532. Elsevier Science, Amsterdam (2001)"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/B978-044450813-3\/50004-7","volume-title":"Handbook of Automated Reasoning, ch.2","author":"L. Bachmair","year":"2001","unstructured":"Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, ch.2, vol.\u00a01, pp. 19\u2013100. North Holland, Amsterdam (2001)"},{"key":"11_CR5","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rosati, R.: MASTRO-I: Efficient integration of relational data through DL ontologies. In: DL 2007 (2007)"},{"key":"11_CR6","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in Description Logics. In: Proc. DL 2005 (2005)"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"9","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. of Automated Reasoning\u00a09, 385\u2013429 (2007)","journal-title":"J. of Automated Reasoning"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(92)90149-A","volume":"101","author":"E. Gr\u00e4del","year":"1992","unstructured":"Gr\u00e4del, E.: Capturing complexity classes by fragments of second-order logic. Theor. Comput. Sci.\u00a0101, 35\u201357 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR9","unstructured":"Green, C.: Theorem proving by resolution as a basis for question-answering systems. In: Meltzer, B., Michie, D. (eds.) 4th Annual Machine Intelligence Workshop, pp. 183\u2013208. Edinburgh University Press (1969)"},{"issue":"4","key":"11_CR10","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/s007780100054","volume":"10","author":"A.Y. Halevy","year":"2001","unstructured":"Halevy, A.Y.: Answering queries using views: A survey. The VLDB Journal\u00a010(4), 270\u2013294 (2001)","journal-title":"The VLDB Journal"},{"issue":"2","key":"11_CR11","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/5254.920600","volume":"16","author":"J. Heflin","year":"2001","unstructured":"Heflin, J., Hendler, J.: A portrait of the semantic web in action. IEEE Intelligent Systems\u00a016(2), 54\u201359 (2001)","journal-title":"IEEE Intelligent Systems"},{"issue":"3","key":"11_CR12","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1145\/321958.321960","volume":"23","author":"W.H. Joyner","year":"1976","unstructured":"Joyner, W.H.: Resolution strategies as decision procedures. J. ACM\u00a023(3), 398\u2013417 (1976)","journal-title":"J. ACM"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Kanellakis, P.C., Kuper, G.M., Revesz, P.Z.: Constraint query languages. In: Proc. PODS 1990, pp. 299\u2013313 (1990)","DOI":"10.1145\/298514.298582"},{"issue":"2","key":"11_CR14","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/606272.606273","volume":"46","author":"J. Lee","year":"2003","unstructured":"Lee, J., Siau, K., Hong, S.: Enterprise integration with ERP and EAI. Commun. ACM\u00a046(2), 54\u201360 (2003)","journal-title":"Commun. ACM"},{"key":"11_CR15","first-page":"233","volume-title":"Proc. PODS 2002","author":"M. Lenzerini","year":"2002","unstructured":"Lenzerini, M.: Data Integration: a theoretical perspective. In: Proc. PODS 2002, pp. 233\u2013246. ACM Press, New York (2002)"},{"key":"11_CR16","unstructured":"Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Univesit\u00e4t Karlsruhe (TH), Karlsruhe, Germany (January 2006)"},{"issue":"3","key":"11_CR17","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1093\/jigpal\/8.3.265","volume":"8","author":"H. Nivelle De","year":"2000","unstructured":"De Nivelle, H., Schmidt, R.A., Hustadt, U.: Resolution-Based Methods for Modal Logics. Logic Journal of the IGPL\u00a08(3), 265\u2013292 (2000)","journal-title":"Logic Journal of the IGPL"},{"key":"11_CR18","unstructured":"Rosati, R.: On conjunctive query answering in EL. In: In Proceedings of CEUR Electronic Workshop, DL2007 (2007)"}],"container-title":["Lecture Notes in Computer Science","Semantics in Data and Knowledge Bases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88594-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,2]],"date-time":"2025-02-02T04:14:53Z","timestamp":1738469693000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88594-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540885931","9783540885948"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88594-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}