{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:07:53Z","timestamp":1725516473322},"publisher-location":"Boston, MA","reference-count":8,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387096940"},{"type":"electronic","value":"9780387096957"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-09695-7_38","type":"book-chapter","created":{"date-parts":[[2008,8,19]],"date-time":"2008-08-19T13:40:02Z","timestamp":1219153202000},"page":"393-402","source":"Crossref","is-referenced-by-count":1,"title":["Efficient Two-Phase Data Reasoning for Description Logics"],"prefix":"10.1007","author":[{"given":"Zsolt","family":"Zombori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"38_CR1_Ref","doi-asserted-by":"crossref","unstructured":"Bachmair, L., Ganzinger, H.: Strict basic superposition. Lecture Notes in Computer Science 1421,160-174 (1998). URL citeseer.ist.psu.edu\/bachmair98strict.html","DOI":"10.1007\/BFb0054258"},{"key":"38_CR2_Ref","unstructured":"Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Handbook of Automated Reasoning, pp. 19-99 (2001). URL citeseer.ist.psu.edu\/bachmair01resolution.html"},{"key":"38_CR3_Ref","doi-asserted-by":"crossref","unstructured":"Horrocks, I.: Reasoning with expressive description logics: Theory and practice. In: Proc. of the 18th Int. Conf. on Automated Deduction (CADE 2002), 2392, pp. 1-15. Springer (2002)","DOI":"10.1007\/3-540-45620-1_1"},{"key":"38_CR4_Ref","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The Even More Irresistible SROIQ. In: P. Doherty, J. Mylopoulos, C.A. Welty (eds.) KR, pp. 57-67. AAAI Press (2006). URL http:\/\/dblp.unitrier.de\/db\/conf\/kr\/kr2006.html #HorrocksKS06"},{"key":"38_CR5_Ref","doi-asserted-by":"crossref","unstructured":"Luk \u00e1csy, G., Szeredi, P.: Efficient description logic reasoning in Prolog: the DLog system. Tech. rep., Budapest University of Technology and Economics (2008). URL http:\/\/sintagma.szit.bme.hu\/lukacsy\/publikaciok\/dlog tplp submission.pdf . Submitted to Theory and Practice of Logic Programming","DOI":"10.1017\/S1471068409003792"},{"key":"38_CR6_Ref","volume-title":"Reasoning in Description Logics using Resolution and Deductive Databases","author":"B. Motik","year":"2006","unstructured":"Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. Ph.D. thesis, Univesit \u00e4t Karlsruhe (TH), Karlsruhe, Germany (2006)"},{"issue":"1","key":"38_CR7_Ref","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM 12(1), 23-41 (1965). DOI http:\/\/doi.acm.org\/10.1145\/321250.321253","journal-title":"J. ACM"},{"issue":"1","key":"38_CR8_Ref","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(92)90168-F","volume":"104","author":"M.E. Stickel","year":"1992","unstructured":"Stickel, M.E.: A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. Theor. Comput. Sci. 104(1), 109-128 (1992)","journal-title":"Theor. Comput. Sci."}],"container-title":["IFIP \u2013 The International Federation for Information Processing","Artificial Intelligence in Theory and Practice II"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-09695-7_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:05:11Z","timestamp":1605647111000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-09695-7_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387096940","9780387096957"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-09695-7_38","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[]}}