Volume 9 Number 3 (Mar. 2014)
Home > Archive > 2014 > Volume 9 Number 3 (Mar. 2014) >
JSW 2014 Vol.9(3): 536-540 ISSN: 1796-217X
doi: 10.4304/jsw.9.3.536-540

Bisimulation-based Consistency Checking on Syndrome Feng-Shi-Re-Bi in Rheumatoid Arthritis

Guang Zheng1, Kai Cui1, Junping Zhan2, Zekun Ning1, Miao Jiang2, Cheng Lu2, Aiping Lu2, 4
1School of Information Science-Engineering, Lanzhou University, Lanzhou, 730000, China
2Department of Rheumatism, The Second Affiliated Hospital of Henan university of Traditional Chinese Medicine, Zhengzhou, 450002, China
3Institute of Basic Research in Clinical Medicine, China Academy of Chinese Medical Sciences, Dongzhimen, Beijing, 100700, China
4Hong Kong Baptist University School of Chinese Medicine, Kowloon Tong, Kowloon, Hong Kong

Abstract—Checking the consistency of knowledge items between textbook and clinical practice is very important for traditional Chinese medicine (TCM). According to the textbook of internal medicine of TCM, rheumatoid arthritis (RA) is a disease with four main syndromes (also called pattern) and Feng-Shi-Re-Bi is a minor one and the associated literature data are not rich. Bisimulation is an equivalence relationship/method in formal methods which can be used to compare the consistency of system's description and its behaviors. In TCM, knowledge items from textbook can be taken as system's description, and knowledge items from clinical practice can be taken as the behaviors of the system. For RA's Feng-Shi-Re-Bi syndrome, employing bisimulation method, the consistency of knowledge items between textbook and clinical practice have been checked. As a result, on Feng-Shi-Re-Bi syndrome, most knowledge items in textbook can be simulated by the clinical practice e.g., syndrome, symptom, herbal formula, herbal medicine. What's more, in clinical practice, there are also variations based on basic rules of traditional Chinese medicine. In brief, bisimulation is a proper method for consistency checking between TCM textbook and clinical practice.

Index Terms—consistency checking, text mining, bisimulation, rheumatoid arthritis, traditional Chinese medicine.


Cite: Guang Zheng, Kai Cui, Junping Zhan, Zekun Ning, Miao Jiang, Cheng Lu, Aiping Lu, "Bisimulation-based Consistency Checking on Syndrome Feng-Shi-Re-Bi in Rheumatoid Arthritis," Journal of Software vol. 9, no. 3, pp. 536-540, 2014.

General Information

ISSN: 1796-217X
Frequency: Monthly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, CNKI,etc
E-mail: jsw@iap.org
  • Jan 11, 2019 News!

    Papers published in JSW Vol. 13, No. 1- Vol. 13 No. 12 have been indexed by DBLP.    [Click]

  • Aug 24, 2018 News!

    Vol.12, No.8- Vol.13, No.5 has been indexed by EI (Inspec).   [Click]

  • Aug 01, 2018 News!

    [CFP] 2019 the annual meeting of JSW Editorial Board, ICCSM 2019, will be held in Barcelona, Spain, July 14-16, 2019.   [Click]

  • Jan 15, 2019 News!

    Welcome Prof. Timothy J Arndt from USA to join the Editorial board of JSW   [Click]

  • Mar 12, 2019 News!

    Vol 14, No. 3 has been published with online version 4 original aritcles from 4 countries are published in this issue.    [Click]