{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:36Z","timestamp":1725512016432},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540797203"},{"type":"electronic","value":"9783540797210"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79721-0_79","type":"book-chapter","created":{"date-parts":[[2008,5,12]],"date-time":"2008-05-12T14:22:49Z","timestamp":1210602169000},"page":"588-595","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning Problems on Distributed Fuzzy Ontologies"],"prefix":"10.1007","author":[{"given":"Bo","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianjiang","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanhui","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yafei","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dazhou","family":"Kang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"79_CR1","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":"79_CR2","unstructured":"Straccia, U.: A fuzzy description logic. In: Proceedings of AAAI 1998, 15th Conference of the American Association for Artificial Intelligence, Madison, Wisconsin, pp. 594\u2013599 (1998)"},{"key":"79_CR3","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\u00a014, 137\u2013166 (2001)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"79_CR4","unstructured":"Li, Y.H., Xu, B.W., Lu, J.J., Kang, D.Z.: Discrete tableaus for fshi. In: Proceedings of 2006 International Workshop on Description Logics - DL 2006, The Lake District of the UK (2006)"},{"key":"79_CR5","doi-asserted-by":"crossref","unstructured":"Calegari, S., Ciucci, D.: Fuzzy ontology and fuzzy-owl in the kaon project. In: Proceedings of the 2007 Fuzzy Systems Conference, London, pp. 1\u20136 (2007)","DOI":"10.1109\/FUZZY.2007.4295574"},{"issue":"5","key":"79_CR6","doi-asserted-by":"publisher","first-page":"968","DOI":"10.1360\/jos170968","volume":"17","author":"Y.H. Li","year":"2006","unstructured":"Li, Y.H., Xu, B.W., Lu, J.J., Kang, D.Z.: On the computational complexity of the extended fuzzy description logic with numerical constraints. Journal of Software\u00a017(5), 968\u2013975 (2006)","journal-title":"Journal of Software"},{"key":"79_CR7","series-title":"Lecture Notes in Artificial Intelligence","first-page":"232","volume-title":"Fuzzy Systems and Knowledge Discovery","author":"J.J. Lu","year":"2005","unstructured":"Lu, J.J., Xu, B.W., Li, Y.H.: Extended fuzzy alcn and its tableau algorithm. In: Wang, L., Jin, Y. (eds.) FSKD 2005. LNCS (LNAI), vol.\u00a03613, pp. 232\u2013242. Springer, Heidelberg (2005)"},{"key":"79_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-3-540-39733-5_7","volume-title":"Journal on Data Semantics I","author":"A.. Borgida","year":"2003","unstructured":"Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol.\u00a02800, pp. 153\u2013184. Springer, Heidelberg (2003)"},{"issue":"1","key":"79_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2004.02.002","volume":"156","author":"O.. Kutz","year":"2004","unstructured":"Kutz, O., Lutz, C., Wolter, F.: E-connections of abstract description systems. Artificial Intelligence\u00a0156(1), 1\u201373 (2004)","journal-title":"Artificial Intelligence"},{"key":"79_CR10","doi-asserted-by":"crossref","unstructured":"Grau, B.C., Parsia, B., Sirin, E.: Working with multiple ontologies on the semantic web. In: Proceedings of the 3rd International Semantic Web Conference (2004)","DOI":"10.1007\/978-3-540-30475-3_43"},{"key":"79_CR11","unstructured":"Parsia, B., Cuenca Grau, B.: Generalized link properties for expressive e-connections of description logics. In: Proceedings of the Twentieth National Conference on Artificial Intelligence, Pittsburgh, pp. 657\u2013662 (2005)"},{"key":"79_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1007\/11892960_79","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"Y.H. Li","year":"2006","unstructured":"Li, Y.H., Lu, J.J., Zhou, B., Kang, D.Z.: A distributed and fuzzy extension of description logics. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds.) KES 2006. LNCS (LNAI), vol.\u00a04251, pp. 655\u2013662. Springer, Heidelberg (2006)"},{"issue":"3","key":"79_CR13","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10817-007-9079-9","volume":"39","author":"I. Horrocks","year":"2007","unstructured":"Horrocks, I., Sattler, U.: A tableaux decision procedure for shoiq. Journal of Automated Reasoning\u00a039(3), 249\u2013276 (2007)","journal-title":"Journal of Automated Reasoning"},{"key":"79_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48242-3_11","volume-title":"Logic Programming and Automated Reasoning","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol.\u00a01705, Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Rough Sets and Knowledge Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79721-0_79.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:29:47Z","timestamp":1619522987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79721-0_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540797203","9783540797210"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79721-0_79","relation":{},"subject":[]}}