{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:22:48Z","timestamp":1725574968503},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297383"},{"type":"electronic","value":"9783540321200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11575801_40","type":"book-chapter","created":{"date-parts":[[2005,10,10]],"date-time":"2005-10-10T17:41:20Z","timestamp":1128966080000},"page":"1588-1595","source":"Crossref","is-referenced-by-count":3,"title":["Two Reasoning Methods for Extended Fuzzy ALCH"],"prefix":"10.1007","author":[{"given":"Dazhou","family":"Kang","sequence":"first","affiliation":[]},{"given":"Jianjiang","family":"Lu","sequence":"additional","affiliation":[]},{"given":"Baowen","family":"Xu","sequence":"additional","affiliation":[]},{"given":"Yanhui","family":"Li","sequence":"additional","affiliation":[]},{"given":"Yanxiang","family":"He","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"40_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"40_CR2","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1613\/jair.813","volume":"14","author":"U. Straccia","year":"2001","unstructured":"Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research\u00a0(14), 137\u2013166 (2001)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"40_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/978-3-540-30227-8_33","volume-title":"Logics in Artificial Intelligence","author":"U. Straccia","year":"2004","unstructured":"Straccia, U.: Transforming fuzzy description logics into classical description logics. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 385\u2013399. Springer, Heidelberg (2004)"},{"issue":"1","key":"40_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","author":"F. Baader","year":"2001","unstructured":"Baader, F., Sattler, U.: An Overview of Tableau Algorithms for Description Logics. Studia Logica\u00a069(1), 5\u201340 (2001)","journal-title":"Studia Logica"},{"key":"40_CR5","unstructured":"Meghini, C., Sebastiani, F., Straccia, U.: Reasoning about the form and content for multimedia objects. In: Proceedings of AAAI 1997 Spring Symposium on Intelligent Integration and Use of Text, Image, Video and Audio, California, pp. 89\u201394 (1997)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11575801_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:42:48Z","timestamp":1619505768000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11575801_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297383","9783540321200"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/11575801_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}