{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T10:51:52Z","timestamp":1675939912281},"reference-count":25,"publisher":"Informa UK Limited","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2006,1]]},"DOI":"10.3166\/jancl.16.517-530","type":"journal-article","created":{"date-parts":[[2007,4,11]],"date-time":"2007-04-11T13:06:10Z","timestamp":1176296770000},"page":"517-530","source":"Crossref","is-referenced-by-count":5,"title":["Second-order reasoning in description logics"],"prefix":"10.1080","volume":"16","author":[{"given":"Andrzej","family":"Szalas","sequence":"first","affiliation":[{"name":"a The University of Economics and Computer Science , Wyzwolenia 30, 10-106 , Olsztyn , Poland"},{"name":"b Department of Computer and Information Science , University of Link\u00f6ping , SE-581 83 , Link\u00f6ping , Sweden"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","volume-title":"Foundations of Databases","author":"ABITEBOUL S.","year":"1996"},{"key":"CIT0002","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1007\/BF01448035","volume":"110","author":"ACKERMANN W.","year":"1935","journal-title":"Mathematische Annalen"},{"issue":"1","key":"CIT0003","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00883932","volume":"14","author":"BAADER F.","year":"1995","journal-title":"Journal of Automated Reasoning"},{"key":"CIT0004","volume-title":"Description Logic Handbook","author":"BAADER F.","year":"2002"},{"key":"CIT0005","doi-asserted-by":"crossref","unstructured":"BAADER , F. and NUTT , W.Basic Description Logics47\u2013100. Baader et al. [BAA 02a]","DOI":"10.1017\/CBO9780511711787.004"},{"key":"CIT0006","volume-title":"Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR2006)","author":"BONATTI B."},{"key":"CIT0007","unstructured":"BORGIDA , A. LENZERINI , M. and ROSATI , R.Description Logics for Databases472\u2013494. Baader et al. [BAA 02a]"},{"issue":"3","key":"CIT0008","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1023\/A:1005722130532","volume":"18","author":"DOHERTY P.","year":"1997","journal-title":"Journal of Automated Reasoning"},{"key":"CIT0009","first-page":"145","volume-title":"International Joint Conference on AI (IJCAI'2001)","author":"DOHERTY P."},{"key":"CIT0010","first-page":"49","volume-title":"Proc. 9th Int. Conference AIMSA 2000, vol. 1904 of LNAI","author":"DOHERTY P."},{"key":"CIT0011","first-page":"219","volume-title":"Rough-Neuro Computing: Techniques for Computing with Words","author":"DOHERTY P.","year":"2003"},{"key":"CIT0012","first-page":"459","volume-title":"Proceedings of 9th International Conference on the Principles of Knowledge Representation and Reasoning, KR'2004","author":"DOHERTY P."},{"key":"CIT0013","first-page":"35","volume":"7","author":"GABBAY D. M.","year":"1992","journal-title":"South African Computer Journal"},{"key":"CIT0014","volume-title":"Second-Order Quantifier Elimination: Mathematical Foundations, Computational Aspects and Applications","author":"GABBAY D.","year":"2006"},{"key":"CIT0015","volume-title":"Tools and Techniques in Modal Logic","author":"KRACHT M.","year":"1999"},{"key":"CIT0016","first-page":"297","volume-title":"Handbook of Artificial Intelligence and Logic Programming","volume":"3","author":"LIFSCHITZ V.","year":"1991"},{"key":"CIT0017","first-page":"167","volume-title":"Proc. 7th International Conf. on Principles of Knowledge Representation and Reasoning, KR2000","author":"LIN F."},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90011-9"},{"key":"CIT0019","unstructured":"NARDI , D. and BRACHMAN , R. J.An Introduction to Description Logics5\u201344. Baader et al. [BAA 02a]"},{"key":"CIT0020","first-page":"307","volume-title":"Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, vol. 24 of Studies in Fuzziness and Soft Computing","author":"NONNENGART A.","year":"1998"},{"key":"CIT0021","first-page":"159","volume-title":"Logic, Language and Reasoning. Essays in Honor of Dov Gabbay, Part I","author":"NONNENGART A.","year":"1999"},{"key":"CIT0022","first-page":"466","volume-title":"International Joint Conference on AI (IJCAI'1991)","author":"SCHILD K."},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90078-X"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/3.6.605"},{"key":"CIT0025","first-page":"223","volume-title":"Proceedings of 8th European Conference on Logics in Artificial Intelligence JELIA'2002","author":"SZA\u0141AS A."}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.16.517-530","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T07:28:28Z","timestamp":1556350108000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.16.517-530"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":25,"journal-issue":{"issue":"3-4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2006,1]]}},"alternative-id":["10.3166\/jancl.16.517-530"],"URL":"https:\/\/doi.org\/10.3166\/jancl.16.517-530","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1]]}}}