{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T01:13:33Z","timestamp":1649121213291},"reference-count":16,"publisher":"International Academy Publishing (IAP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.8.1.243-250","type":"journal-article","created":{"date-parts":[[2013,1,21]],"date-time":"2013-01-21T12:11:24Z","timestamp":1358770284000},"source":"Crossref","is-referenced-by-count":0,"title":["An Extension of Distributed Dynamic Description Logics for the Representation of Heterogeneous Mappings"],"prefix":"10.17706","volume":"8","author":[{"given":"Zhuxiao","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fei","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kehe","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2013,1,21]]},"reference":[{"key":"ref1","first-page":"400","article-title":"Description logics with circumscription.","volume-title":"Proc of the 10th Int Conf on Principles of Knowledge Representation and Reasoning","author":"Bonatti","year":"2006","unstructured":"[1]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--410. AAAI Press, Menlo Park (2006)."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1001.2009.03255"},{"key":"ref3","volume-title":"The Description Logic Handbook Theory Implementation and Applications","author":"Baader","year":"2002","unstructured":"[3]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":"ref4","first-page":"4","article-title":"DAML+OIL: A description logic for the semantic web.","volume":"25","author":"Horrocks","year":"2002","unstructured":"[4]Horrocks, I.: DAML+OIL: A description logic for the semantic web. Bull of the IEEE Computer Society Technical Committee on Data Engineering, vol. 25, pp. 4--9. (2002)","journal-title":"Bull of the IEEE Computer Society Technical Committee on Data Engineering"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2003.07.001"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2011.10.002"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1360\/03yf0506"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-010-9210-1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1001.2010.03793"},{"key":"ref10","first-page":"367","article-title":"Reasoning about Web Services with Local Closed World Assumption.","volume-title":"Proc of Int Conf Web Intelligence","author":"Chen","year":"2009","unstructured":"[11]Chen, L., Hu, H., Shi, Z.: Reasoning about Web Services with Local Closed World Assumption. In: Proc of Int Conf Web Intelligence, pp. 367--370. IEEE press, New York (2009)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2010.04.018"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39733-5_7"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.02.002"},{"key":"ref14","article-title":"Integrating description logics and action formalisms: first results.","volume-title":"Proceedings of the 12th National Conference on Artificial Intelligence (AAAI 2005)","author":"Baader","year":"2005","unstructured":"[15]Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: first results. In Proceedings of the 12th National Conference on Artificial Intelligence (AAAI'2005), Pittsburgh, PA, USA. (2005)"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in action logical foundations for specifying and implementing dynamical systems","author":"Reiter","year":"2001","unstructured":"[16]Reiter, R.: Knowledge in action: logical foundations for specifying and implementing dynamical systems. MIT Press. (2001)"},{"key":"ref15","doi-asserted-by":"crossref","unstructured":"[6]Ma Yue, Sui YueFei, Cao CunGen: The correspondence between the concepts in description logics for contexts and formal concept analysis. Science china-information sciences, vol. 55, no. 5, pp. 1106--1122. (2012)","DOI":"10.1007\/s11432-011-4376-7"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2019,7,8]],"date-time":"2019-07-08T15:31:56Z","timestamp":1562599916000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/7913"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,21]]},"references-count":16,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2013,1,21]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.8.1.243-250","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2013,1,21]]}}}