{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:21:51Z","timestamp":1745986911271,"version":"3.40.4"},"reference-count":14,"publisher":"International Academy Publishing (IAP)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.8.2.495-501","type":"journal-article","created":{"date-parts":[[2013,2,3]],"date-time":"2013-02-03T18:54:26Z","timestamp":1359917666000},"source":"Crossref","is-referenced-by-count":0,"title":["DifreEngine: Distributed Forward Reasoning Engine with General Purpose"],"prefix":"10.17706","volume":"8","author":[{"given":"Chunyan","family":"Han","sequence":"first","affiliation":[]},{"given":"Jianzhong","family":"Qiao","sequence":"additional","affiliation":[]},{"given":"Yunxiao","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Yixian","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Zhiliang","family":"Zhu","sequence":"additional","affiliation":[]}],"member":"7163","published-online":{"date-parts":[[2013,2,1]]},"reference":[{"key":"ref1","first-page":"161","article-title":"Anticipatory Reasoning-Reacting Systems","volume-title":"Proc International Conference on Systems Development and Self-organization","author":"Cheng","year":"2002","unstructured":"[1] J. Cheng. \"Anticipatory Reasoning-Reacting Systems\", in Proc. International Conference on Systems, Development and Self-organization, 2002, pp.161-165."},{"key":"ref2","first-page":"524","article-title":"van Harmelen, F. Andersson, B., Brennan, P., Cunningham et al. \"A Platform for Web-scale Reasoning","volume-title":"Proceedings of the International Conference on Semantic Computing","author":"Fensel","year":"2008","unstructured":"[4] Fensel, D. van Harmelen, F. Andersson, B., Brennan, P., Cunningham et al. \"A Platform for Web-scale Reasoning\", in Proceedings of the International Conference on Semantic Computing, pp.524\u2013529, 2008."},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2011.03.001"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194009004544"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1613\/jair.1785","article-title":"Distributed Reasoning in a Peer-to-peer Setting: Application to the Semantic Web","volume":"25","author":"Adjiman","year":"2006","unstructured":"[9] Adjiman, P., Chatalic, P., Goasdoue, F., Rousset, M.-C., Simon, L. \"Distributed Reasoning in a Peer-to-peer Setting: Application to the Semantic Web\", Journal of Artificial Intelligence Research, v 25, p 47, 2006.","journal-title":"J Artif Intell Res","ISSN":"https:\/\/id.crossref.org\/issn\/1076-9757","issn-type":"print"},{"volume-title":"Youngjae Lee Jin-Soo Kim \"FlexRPC A Flexible Remote Procedure Call Facility for Modern Cluster File Systems","year":"2007","key":"ref6","unstructured":"[10] Sang-Hoon Kim, Youngjae Lee, Jin-Soo Kim. \"FlexRPC: A Flexible Remote Procedure Call Facility for Modern Cluster File Systems\", IEEE 2007."},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1109\/CCNC.2010.5421679","article-title":"A Pipelined CRC Calculation Using Lookup Tables","volume-title":"Proceedings of the 7th IEEE conference on Consumer communications and networking conference","author":"Sun","year":"2010","unstructured":"[11] Yan Sun, Min Sik Kim. \"A Pipelined CRC Calculation Using Lookup Tables\", Proceedings of the 7th IEEE conference on Consumer communications and networking conference, Jan 2010"},{"key":"ref8","article-title":"Research and Implementation of Dual-Server Hot-Standby of Configuration Software","volume-title":"Proceedings of the 6th World Congress on Intelligent Control and Automation","author":"Zhong","year":"2006","unstructured":"[12] Chongquan Zhong, Li Zhang, Hongyu Li and Li Tian. \"Research and Implementation of Dual-Server Hot-Standby of Configuration Software\", Proceedings of the 6th World Congress on Intelligent Control and Automation, June 2006."},{"key":"ref8","doi-asserted-by":"crossref","unstructured":"[2] Yuichi Goto, Takahiro Koh, Jingde Cheng. \"A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations\", Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, pp. 526-535, Sep 2008.","DOI":"10.1007\/978-3-540-85565-1_65"},{"key":"ref8","doi-asserted-by":"crossref","unstructured":"[3] Fensel, D. van Harmelen, F. \"Unifying Reasoning and Search to Web Scale\", IEEE Internet Computing 11(2), 96, 94\u201395, 2007.","DOI":"10.1109\/MIC.2007.51"},{"key":"ref8","doi-asserted-by":"crossref","unstructured":"[6] Li Peiqiang, Zeng Yi, Kotoulas Spyros. \"The Quest for Parallel Reasoning on the Semantic Web\", 5th International Conference on Active Media Technology. Proceedings: Active media technology. Lecture Notes in Computer Science, volume 5820, pp.430-441, Oct 2009.","DOI":"10.1007\/978-3-642-04875-3_45"},{"key":"ref8","unstructured":"[8] Atila Madureira Bueno, Andre Alves Ferreira, Jose Roberto Castilho Piqueira. \"Modeling and Filtering Double-frequency Jitter in One-way Master-slave Chain Networks\", IEEE Transactions on Circuits and Systems Part I: Regular Papers. Dec 2010."},{"key":"ref8","doi-asserted-by":"crossref","unstructured":"[13] Wei Song. \"Research on Logistic Mapping and Synchronization\", Intelligent Control and Automation, 2006. WCICA 2006. Volume1, pp.987 \u2013 991, 2006.","DOI":"10.1109\/WCICA.2006.1712492"},{"key":"ref8","doi-asserted-by":"crossref","unstructured":"[14] Shih-Liang Chen, Tingting Hwang, Wen-Wei Lin. \"Randomness Enhancement for a Digitalized Modified-Logistic Map Based Pseudo Random Number Generator\", 2010 International Symposium on VLSI Design, Automation and Test (VLSI-DAT 2010), pp.164-167, 2010.","DOI":"10.1109\/VDAT.2010.5496716"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T19:23:49Z","timestamp":1745954629000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/7974"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2,1]]},"references-count":14,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2013,2,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.8.2.495-501","relation":{},"ISSN":["1796-217X"],"issn-type":[{"type":"print","value":"1796-217X"}],"subject":[],"published":{"date-parts":[[2013,2,1]]}}}