{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:40:31Z","timestamp":1725493231527},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_7","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T13:50:39Z","timestamp":1192888239000},"page":"74-85","source":"Crossref","is-referenced-by-count":0,"title":["Towards Service Description Logics"],"prefix":"10.1007","author":[{"given":"Piero A.","family":"Bonatti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"7_CR1","unstructured":"D. Calvanese, G. De Giacomo, M. Lenzerini. Reasoning in expressive description logics with fixpoints based on automata on infinite trees. In Proc. of IJCAI\u201999, 1999."},{"key":"7_CR2","unstructured":"G. De Giacomo. Decidability of class-based knowledge representation formalisms. PhD Thesis, Universit`a di Roma \u201cLa Sapienza\u201d, 1995."},{"key":"7_CR3","first-page":"213","volume":"38","author":"E. Gr\u00e4del","year":"1999","unstructured":"E. Gr\u00e4del, M. Otto, E. Rosen. Undecidability results on two-variable logics. Archive for Mathematical Logic, 38:213\u2013354, 1999.","journal-title":"Archive for Mathematical Logic"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"C. Lutz. NExpTime-complete description logics with concrete domains. LTCSReport 00-01, LuFG Theoretical Computer Science, RWTH Aachen, Germany, 2000.","DOI":"10.25368\/2022.104"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"C. Lutz, U. Sattler, F. Wolter. Description logics and the two-variable fragment. In Proc. of DL\u201901, 2001.","DOI":"10.1007\/3-540-44802-0_18"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"A. Omicini, F. Zambonelli, M. Klusch, R. Tolksdorf (eds). Coordination of Internet Agents, Springer, 2001.","DOI":"10.1007\/978-3-662-04401-8"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"U. Sattler, M.Y. Vardi. The hybrid \u03bc-calculus. In Proc. of IJCAR\u201901, 2001.","DOI":"10.1007\/3-540-45744-5_7"},{"key":"7_CR8","unstructured":"K. Sycara, J. Lu, M. Klusch, S. Wido.. Matchmaking among heterogeneous agents on the internet. In Proc. of the AAAI Spring Symposium on Intelligent Agents in Cyberspace, Stanford, USA, 1999."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T09:06:43Z","timestamp":1684055203000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}