{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:50Z","timestamp":1725490250142},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540746089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74610-2_35","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T02:33:31Z","timestamp":1187922811000},"page":"438-439","source":"Crossref","is-referenced-by-count":0,"title":["Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity"],"prefix":"10.1007","author":[{"given":"Linh Anh","family":"Nguyen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"35_CR1","first-page":"260","volume-title":"Proc. of KR 2006","author":"D. Calvanese","year":"2006","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proc. of KR 2006, pp. 260\u2013270. AAAI Press, Stanford (2006)"},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of WWW 2003, pp. 48\u201357 (2003)","DOI":"10.1145\/775152.775160"},{"key":"35_CR3","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: Proceedings of IJCAI 2005, pp. 466\u2013471. Professional Book Center (2005)"},{"key":"35_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/11853886_29","volume-title":"Logics in Artificial Intelligence","author":"L.A Nguyen","year":"2006","unstructured":"Nguyen, L.A: A bottom-up method for the deterministic Horn fragment of the description logic \n                      \n                        \n                      \n                      $\\mathcal{ALC}$\n                    . In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol.\u00a04160, pp. 346\u2013358. Springer, Heidelberg (2006)"},{"key":"35_CR5","unstructured":"Nguyen, L.A.: On the deterministic Horn fragment of test-free PDL. In: Advances in Modal Logic, vol. 6, pp. 373-392. King\u2019s College Publications (2006)"},{"key":"35_CR6","unstructured":"Nguyen, L.A.: The full version of this paper, \n                      \n                        http:\/\/www.mimuw.edu.pl\/~nguyen\/RG.pdf"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74610-2_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:30:17Z","timestamp":1619519417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74610-2_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540746089"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74610-2_35","relation":{},"subject":[]}}