{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:12:35Z","timestamp":1725898355521},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340376"},{"type":"electronic","value":"9783642340383"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34038-3_27","type":"book-chapter","created":{"date-parts":[[2012,9,7]],"date-time":"2012-09-07T01:24:08Z","timestamp":1346981048000},"page":"192-199","source":"Crossref","is-referenced-by-count":1,"title":["A Tableau-Based Reasoning Algorithm for Distributed Dynamic Description Logics"],"prefix":"10.1007","author":[{"given":"Zhuxiao","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhitao","family":"Guan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kehe","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guanhua","family":"Tian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","first-page":"400","volume-title":"Proc of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning","author":"P. Bonatti","year":"2006","unstructured":"Bonatti, P., Lutz, C., Wolter, F.: Description logics with circumscription. In: Proc of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning, pp. 400\u2013410. AAAI Press, Menlo Park (2006)"},{"key":"27_CR2","doi-asserted-by":"publisher","first-page":"491","DOI":"10.3724\/SP.J.1001.2009.03255","volume":"20","author":"Y. Jiang","year":"2009","unstructured":"Jiang, Y., Wang, J., Tang, Y., Deng, P.: Semantics and reasoning of description logic \u03bcALCQO. Journal of Software\u00a020, 491\u2013504 (2009)","journal-title":"Journal of Software"},{"key":"27_CR3","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"F. Baader","year":"2002","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2002)"},{"key":"27_CR4","first-page":"4","volume":"25","author":"I. Horrocks","year":"2002","unstructured":"Horrocks, I.: DAML+OIL: A description logic for the semantic web. Bull of the IEEE Computer Society Technical Committee on Data Engineering\u00a025, 4\u20139 (2002)","journal-title":"Bull of the IEEE Computer Society Technical Committee on Data Engineering"},{"key":"27_CR5","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., Harmelen, F.V.: From SHIQ and RDF to OWL: the making of a web ontology language. Journal of Web Semantics\u00a01, 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"key":"27_CR6","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., Zhang, H.: A logical foundation for the semantic web. Science in China, Ser. F\u00a048, 161\u2013178 (2005)","journal-title":"Science in China, Ser. F"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Chang, L., Shi, Z., Gu, T., Zhao, L.: A Family of Dynamic Description Logics for Representing and Reasoning About Action. J. Autom. Reasoning, 1\u201352 (2010)","DOI":"10.1007\/s10817-010-9210-1"},{"key":"27_CR8","doi-asserted-by":"publisher","first-page":"248","DOI":"10.3724\/SP.J.1001.2010.03793","volume":"21","author":"Z. Wang","year":"2010","unstructured":"Wang, Z., Yang, K., Shi, Z.: Failure Diagnosis of Internetware Systems Using Dynamic Description Logic. J. Softw. China\u00a021, 248\u2013260 (2010)","journal-title":"J. Softw. China"},{"key":"27_CR9","first-page":"367","volume-title":"Proc. of Int. Conf. Web Intelligence","author":"L. Chen","year":"2009","unstructured":"Chen, L., Hu, H., Shi, Z.: Reasoning about Web Services with Local Closed World Assumption. In: Proc. of Int. Conf. Web Intelligence, pp. 367\u2013370. IEEE Press, New York (2009)"},{"key":"27_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"key":"27_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.: Epsilon-connections of abstract description systems. Artificial Intelligence\u00a0156, 1\u201373 (2004)","journal-title":"Artificial Intelligence"},{"key":"27_CR12","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1002\/spe.432","volume":"32","author":"K. Krauter","year":"2002","unstructured":"Krauter, K., Buyya, R., Maheswaran, M.: A taxonomy and survey of grid resource management systems for distributed computing. Software-Practice & Experience\u00a032, 135\u2013164 (2002)","journal-title":"Software-Practice & Experience"},{"key":"27_CR13","first-page":"181","volume-title":"2nd Int. Conf. on Computer Networks and Mobile Computing","author":"Z. Shi","year":"2003","unstructured":"Shi, Z., Zhang, H., Dong, M., Zhao, Z.: MAGE: multi-agent environment. In: 2nd Int. Conf. on Computer Networks and Mobile Computing, pp. 181\u2013188. IEEE Computer Soc., Shanghai (2003)"},{"key":"27_CR14","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/1041680.1041681","volume":"36","author":"S. Androutsellis-Theotokis","year":"2004","unstructured":"Androutsellis-Theotokis, S., Spinellis, D.: A survey of peer-to-peer content distribution technologies. ACM Computing Surveys\u00a036, 335\u2013371 (2004)","journal-title":"ACM Computing Surveys"},{"key":"27_CR15","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1109\/JSSC.2005.859896","volume":"41","author":"D.C. Pham","year":"2006","unstructured":"Pham, D.C., Aipperspach, T., Boerstler, D., Bolliger, M., Chaudhry, R.: Overview of the architecture, circuit design, and physical implementation of a first-generation cell processor. IEEE Journal of Solid-State Circuits\u00a041, 179\u2013196 (2006)","journal-title":"IEEE Journal of Solid-State Circuits"}],"container-title":["Communications in Computer and Information Science","Information Computing and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34038-3_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T04:39:20Z","timestamp":1557203960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34038-3_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340376","9783642340383"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34038-3_27","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2012]]}}}