{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T10:08:19Z","timestamp":1725703699946},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642328909"},{"type":"electronic","value":"9783642328916"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32891-6_15","type":"book-chapter","created":{"date-parts":[[2012,10,6]],"date-time":"2012-10-06T08:54:11Z","timestamp":1349513651000},"page":"106-115","source":"Crossref","is-referenced-by-count":3,"title":["Reasoning Theory for D3L with Compositional Bridge Rules"],"prefix":"10.1007","author":[{"given":"Xiaofei","family":"Zhao","sequence":"first","affiliation":[]},{"given":"Dongping","family":"Tian","sequence":"additional","affiliation":[]},{"given":"Limin","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Zhongzhi","family":"Shi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1360\/03yf0506","volume":"48","author":"Z. Shi","year":"2005","unstructured":"Shi, Z., Dong, M., Jiang, Y., et al.: A Logic Foundation for the Semantic Web. Science in China, Series F Information Sciences\u00a048(2), 161\u2013178 (2005)","journal-title":"Science in China, Series F Information Sciences"},{"issue":"5","key":"15_CR2","first-page":"625","volume":"27","author":"Z. Shi","year":"2004","unstructured":"Shi, Z., Jiang, Y., Zhang, H., et al.: Agent service matchmaking based on description logic. Chinese Journal of Computers\u00a027(5), 625\u2013635 (2004) (in Chinese)","journal-title":"Chinese Journal of Computers"},{"issue":"9","key":"15_CR3","doi-asserted-by":"publisher","first-page":"1603","DOI":"10.1360\/crad20060917","volume":"43","author":"Y. Jiang","year":"2006","unstructured":"Jiang, Y., Shi, Z., Tang, Y., et al.: A Distributed Dynamic Description Logic. Journal of Computer Research and Development\u00a043(9), 1603\u20131608 (2006) (in Chinese)","journal-title":"Journal of Computer Research and Development"},{"key":"15_CR4","unstructured":"Wang, Z.: Distributed Information Retrieval Oriented Automatic Reasoning. Doctor\u2019s thesis. Institute of Computing Technology. Chinese Academy of Sciences, Beijing (2010)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/11926078_6","volume-title":"The Semantic Web - ISWC 2006","author":"J. Bao","year":"2006","unstructured":"Bao, J., Caragea, D., Honavar, V.G.: On the Semantics of Linking and Importing in Modular Ontologies. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 72\u201386. Springer, Heidelberg (2006)"},{"key":"15_CR6","volume-title":"The description logic handbook: Theory, implementation, and applications","author":"B. Franz","year":"2007","unstructured":"Franz, B., Diego, C., Deborah, M., et al.: The description logic handbook: Theory, implementation, and applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-01907-4_4","volume-title":"Modular Ontologies","author":"M. d\u2019Aquin","year":"2009","unstructured":"d\u2019Aquin, M., Schlicht, A., Stuckenschmidt, H., Sabou, M.: Criteria and Evaluation for Ontology Modularization Techniques. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies. LNCS, vol.\u00a05445, pp. 67\u201389. Springer, Heidelberg (2009)"},{"key":"15_CR8","volume-title":"2nd International Workshop on Context Representation and Reasoning","author":"J. Bao","year":"2008","unstructured":"Bao, J., Caragea, D., Honavar, V.G.: A distributed tableau algorithm for package-based description logics. In: 2nd International Workshop on Context Representation and Reasoning. IOS Press, Italy (2008)"},{"issue":"1","key":"15_CR9","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1016\/j.websem.2005.09.010","volume":"4","author":"B.C. Grau","year":"2006","unstructured":"Grau, B.C., Parsia, B., Sirin, E.: Combining OWL ontologies using \u0190-connections. Journal of Web Semantics\u00a04(1), 40\u201359 (2006)","journal-title":"Journal of Web Semantics"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-642-01907-4_14","volume-title":"Modular Ontologies","author":"B. Cuenca Grau","year":"2009","unstructured":"Cuenca Grau, B., Parsia, B., Sirin, E.: Ontology Integration Using \u03b5-Connections. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies. LNCS, vol.\u00a05445, pp. 293\u2013320. Springer, Heidelberg (2009)"},{"issue":"1","key":"15_CR11","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., et al.: \u0190 -connections of abstract description systems. Articial Intelligence\u00a0156(1), 1\u201373 (2004)","journal-title":"Articial Intelligence"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-642-01907-4_16","volume-title":"Modular Ontologies","author":"J. Bao","year":"2009","unstructured":"Bao, J., Voutsadakis, G., Slutzki, G., Honavar, V.: Package-Based Description Logics. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies. LNCS, vol.\u00a05445, pp. 349\u2013371. Springer, Heidelberg (2009)"},{"key":"15_CR13","first-page":"453","volume-title":"Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007)","author":"C. Lutz","year":"2007","unstructured":"Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 453\u2013458. AAAI Press, California (2007)"},{"key":"15_CR14","first-page":"570","volume-title":"Tenth International Joint Conference on Artificial Intelligence (IJCAI 2005)","author":"L. Serafini","year":"2005","unstructured":"Serafini, L., Borgida, A., Tamilin, A.: Aspects of Distributed and Modular Ontology Reasoning. In: Tenth International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 570\u2013575. AAAI Press, California (2005)"}],"container-title":["IFIP Advances in Information and Communication Technology","Intelligent Information Processing VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32891-6_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:19:30Z","timestamp":1620130770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32891-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642328909","9783642328916"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32891-6_15","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2012]]}}}