{"id":"https://openalex.org/W2042140410","doi":"https://doi.org/10.1109/fskd.2013.6816288","title":"Bisimulation-based consistency checking on Feng-Han-Shi-Bi syndrome for rheumatoid arthritis","display_name":"Bisimulation-based consistency checking on Feng-Han-Shi-Bi syndrome for rheumatoid arthritis","publication_year":2013,"publication_date":"2013-07-01","ids":{"openalex":"https://openalex.org/W2042140410","doi":"https://doi.org/10.1109/fskd.2013.6816288","mag":"2042140410"},"language":"en","primary_location":{"id":"doi:10.1109/fskd.2013.6816288","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fskd.2013.6816288","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 10th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013506158","display_name":"Guang Zheng","orcid":"https://orcid.org/0000-0003-4118-7804"},"institutions":[{"id":"https://openalex.org/I76214153","display_name":"Lanzhou University","ror":"https://ror.org/01mkqqe32","country_code":"CN","type":"education","lineage":["https://openalex.org/I76214153"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Guang Zheng","raw_affiliation_strings":["School of Information Science-Engineering, Lanzhou University, Lanzhou, China","School of Information Science-Engineering, Lanzhou University, 730000, China"],"affiliations":[{"raw_affiliation_string":"School of Information Science-Engineering, Lanzhou University, Lanzhou, China","institution_ids":["https://openalex.org/I76214153"]},{"raw_affiliation_string":"School of Information Science-Engineering, Lanzhou University, 730000, China","institution_ids":["https://openalex.org/I76214153"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000724297","display_name":"Zekun Ning","orcid":null},"institutions":[{"id":"https://openalex.org/I76214153","display_name":"Lanzhou University","ror":"https://ror.org/01mkqqe32","country_code":"CN","type":"education","lineage":["https://openalex.org/I76214153"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zekun Ning","raw_affiliation_strings":["School of Information Science-Engineering, Lanzhou University, Lanzhou, China","School of Information Science-Engineering, Lanzhou University, 730000, China"],"affiliations":[{"raw_affiliation_string":"School of Information Science-Engineering, Lanzhou University, Lanzhou, China","institution_ids":["https://openalex.org/I76214153"]},{"raw_affiliation_string":"School of Information Science-Engineering, Lanzhou University, 730000, China","institution_ids":["https://openalex.org/I76214153"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101070404","display_name":"Junping Zhan","orcid":null},"institutions":[{"id":"https://openalex.org/I200296433","display_name":"Chinese Academy of Medical Sciences & Peking Union Medical College","ror":"https://ror.org/02drdmm93","country_code":"CN","type":"education","lineage":["https://openalex.org/I200296433"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junping Zhan","raw_affiliation_strings":["China Academy of Chinese Medical Sciences, Institute of Basic Research in Clinical Medicine, Beijing, China","Institute of Basic Research in Clinical Medicine, China, Academy of Chinese Medical Sciences, Dongzhimen, Beijing 100700, China"],"affiliations":[{"raw_affiliation_string":"China Academy of Chinese Medical Sciences, Institute of Basic Research in Clinical Medicine, Beijing, China","institution_ids":["https://openalex.org/I200296433"]},{"raw_affiliation_string":"Institute of Basic Research in Clinical Medicine, China, Academy of Chinese Medical Sciences, Dongzhimen, Beijing 100700, China","institution_ids":["https://openalex.org/I200296433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019225012","display_name":"Kai Cui","orcid":"https://orcid.org/0000-0002-6060-6130"},"institutions":[{"id":"https://openalex.org/I76214153","display_name":"Lanzhou University","ror":"https://ror.org/01mkqqe32","country_code":"CN","type":"education","lineage":["https://openalex.org/I76214153"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kai Cui","raw_affiliation_strings":["School of Information Science-Engineering, Lanzhou University, Lanzhou, China","School of Information Science-Engineering, Lanzhou University, 730000, China"],"affiliations":[{"raw_affiliation_string":"School of Information Science-Engineering, Lanzhou University, Lanzhou, China","institution_ids":["https://openalex.org/I76214153"]},{"raw_affiliation_string":"School of Information Science-Engineering, Lanzhou University, 730000, China","institution_ids":["https://openalex.org/I76214153"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100711795","display_name":"Miao Jiang","orcid":"https://orcid.org/0000-0002-3681-9494"},"institutions":[{"id":"https://openalex.org/I200296433","display_name":"Chinese Academy of Medical Sciences & Peking Union Medical College","ror":"https://ror.org/02drdmm93","country_code":"CN","type":"education","lineage":["https://openalex.org/I200296433"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Miao Jiang","raw_affiliation_strings":["China Academy of Chinese Medical Sciences, Institute of Basic Research in Clinical Medicine, Beijing, China","Institute of Basic Research in Clinical Medicine, China, Academy of Chinese Medical Sciences, Dongzhimen, Beijing 100700, China"],"affiliations":[{"raw_affiliation_string":"China Academy of Chinese Medical Sciences, Institute of Basic Research in Clinical Medicine, Beijing, China","institution_ids":["https://openalex.org/I200296433"]},{"raw_affiliation_string":"Institute of Basic Research in Clinical Medicine, China, Academy of Chinese Medical Sciences, Dongzhimen, Beijing 100700, China","institution_ids":["https://openalex.org/I200296433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001858374","display_name":"Cheng L\u00fc","orcid":"https://orcid.org/0000-0002-6474-9198"},"institutions":[{"id":"https://openalex.org/I200296433","display_name":"Chinese Academy of Medical Sciences & Peking Union Medical College","ror":"https://ror.org/02drdmm93","country_code":"CN","type":"education","lineage":["https://openalex.org/I200296433"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Cheng Lu","raw_affiliation_strings":["China Academy of Chinese Medical Sciences, Institute of Basic Research in Clinical Medicine, Beijing, China","Institute of Basic Research in Clinical Medicine, China, Academy of Chinese Medical Sciences, Dongzhimen, Beijing 100700, China"],"affiliations":[{"raw_affiliation_string":"China Academy of Chinese Medical Sciences, Institute of Basic Research in Clinical Medicine, Beijing, China","institution_ids":["https://openalex.org/I200296433"]},{"raw_affiliation_string":"Institute of Basic Research in Clinical Medicine, China, Academy of Chinese Medical Sciences, Dongzhimen, Beijing 100700, China","institution_ids":["https://openalex.org/I200296433"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076594495","display_name":"Aiping L\u00fc","orcid":"https://orcid.org/0000-0002-2303-0494"},"institutions":[{"id":"https://openalex.org/I141568987","display_name":"Hong Kong Baptist University","ror":"https://ror.org/0145fw131","country_code":"HK","type":"education","lineage":["https://openalex.org/I141568987"]},{"id":"https://openalex.org/I200296433","display_name":"Chinese Academy of Medical Sciences & Peking Union Medical College","ror":"https://ror.org/02drdmm93","country_code":"CN","type":"education","lineage":["https://openalex.org/I200296433"]}],"countries":["CN","HK"],"is_corresponding":false,"raw_author_name":"Aiping Lu","raw_affiliation_strings":["School of Chinese Medicine, Hong Kong Baptist University, Hong Kong","Institute of Basic Research in Clinical Medicine, China, Academy of Chinese Medical Sciences, Dongzhimen, Beijing 100700, China"],"affiliations":[{"raw_affiliation_string":"School of Chinese Medicine, Hong Kong Baptist University, Hong Kong","institution_ids":["https://openalex.org/I141568987"]},{"raw_affiliation_string":"Institute of Basic Research in Clinical Medicine, China, Academy of Chinese Medical Sciences, Dongzhimen, Beijing 100700, China","institution_ids":["https://openalex.org/I200296433"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5013506158"],"corresponding_institution_ids":["https://openalex.org/I76214153"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14559504,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"32","issue":null,"first_page":"713","last_page":"717"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12647","display_name":"Traditional Chinese Medicine Studies","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/2707","display_name":"Complementary and alternative medicine"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T12647","display_name":"Traditional Chinese Medicine Studies","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/2707","display_name":"Complementary and alternative medicine"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.9412999749183655,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.7624204158782959},{"id":"https://openalex.org/keywords/clinical-practice","display_name":"Clinical Practice","score":0.7219475507736206},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6952095031738281},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6448941230773926},{"id":"https://openalex.org/keywords/rheumatoid-arthritis","display_name":"Rheumatoid arthritis","score":0.5590552091598511},{"id":"https://openalex.org/keywords/traditional-chinese-medicine","display_name":"Traditional Chinese medicine","score":0.5433604717254639},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.47850099205970764},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.472893625497818},{"id":"https://openalex.org/keywords/western-medicine","display_name":"Western medicine","score":0.45460835099220276},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.4526800513267517},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3789924681186676},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3595666289329529},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2997129559516907},{"id":"https://openalex.org/keywords/alternative-medicine","display_name":"Alternative medicine","score":0.25770872831344604},{"id":"https://openalex.org/keywords/family-medicine","display_name":"Family medicine","score":0.2354426383972168},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.22551488876342773},{"id":"https://openalex.org/keywords/internal-medicine","display_name":"Internal medicine","score":0.10472193360328674}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.7624204158782959},{"id":"https://openalex.org/C2779974597","wikidata":"https://www.wikidata.org/wiki/Q28448986","display_name":"Clinical Practice","level":2,"score":0.7219475507736206},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6952095031738281},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6448941230773926},{"id":"https://openalex.org/C2777575956","wikidata":"https://www.wikidata.org/wiki/Q187255","display_name":"Rheumatoid arthritis","level":2,"score":0.5590552091598511},{"id":"https://openalex.org/C188947578","wikidata":"https://www.wikidata.org/wiki/Q200253","display_name":"Traditional Chinese medicine","level":3,"score":0.5433604717254639},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.47850099205970764},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.472893625497818},{"id":"https://openalex.org/C2991693576","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Western medicine","level":4,"score":0.45460835099220276},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.4526800513267517},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3789924681186676},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3595666289329529},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2997129559516907},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.25770872831344604},{"id":"https://openalex.org/C512399662","wikidata":"https://www.wikidata.org/wiki/Q3505712","display_name":"Family medicine","level":1,"score":0.2354426383972168},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.22551488876342773},{"id":"https://openalex.org/C126322002","wikidata":"https://www.wikidata.org/wiki/Q11180","display_name":"Internal medicine","level":1,"score":0.10472193360328674},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/fskd.2013.6816288","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fskd.2013.6816288","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 10th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)","raw_type":"proceedings-article"},{"id":"pmh:oai:ir.lzu.edu.cn/:262010/183671","is_oa":false,"landing_page_url":"http://ir.lzu.edu.cn/handle/262010/183671","pdf_url":null,"source":{"id":"https://openalex.org/S4406923049","display_name":"Lanzhou University Institutional Repository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"\u4f1a\u8bae\u8bba\u6587"},{"id":"pmh:oai:ir.lzu.edu.cn/:262010/304118","is_oa":false,"landing_page_url":"http://ir.lzu.edu.cn/handle/262010/304118","pdf_url":null,"source":{"id":"https://openalex.org/S4406923049","display_name":"Lanzhou University Institutional Repository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conferences"},{"id":"pmh:oai:ir.lzu.edu.cn/:262010/309011","is_oa":false,"landing_page_url":"http://ir.lzu.edu.cn/handle/262010/309011","pdf_url":null,"source":{"id":"https://openalex.org/S4406923049","display_name":"Lanzhou University Institutional Repository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conferences"},{"id":"pmh:oai:ir.lzu.edu.cn/:262010/353144","is_oa":false,"landing_page_url":"https://ieeexplore.ieee.org/document/6816288/","pdf_url":null,"source":{"id":"https://openalex.org/S4406923049","display_name":"Lanzhou University Institutional Repository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conferences"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.5400000214576721,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W1487071653","https://openalex.org/W1681486124","https://openalex.org/W1983422567","https://openalex.org/W1995676426","https://openalex.org/W2010231396","https://openalex.org/W2026688341","https://openalex.org/W2034838425","https://openalex.org/W2035991090","https://openalex.org/W2052912923","https://openalex.org/W2064244909","https://openalex.org/W2070761998","https://openalex.org/W2108654637","https://openalex.org/W2125757375","https://openalex.org/W2157598916","https://openalex.org/W2276386334","https://openalex.org/W2401664371","https://openalex.org/W6637396709","https://openalex.org/W6663834912","https://openalex.org/W6712952066"],"related_works":["https://openalex.org/W1495872178","https://openalex.org/W2387083537","https://openalex.org/W2365171463","https://openalex.org/W3030918968","https://openalex.org/W2368751994","https://openalex.org/W2380577664","https://openalex.org/W2347320610","https://openalex.org/W2373730810","https://openalex.org/W2383621916","https://openalex.org/W2360761269"],"abstract_inverted_index":{"Checking":[0],"the":[1,21,43,60,90,93,103,131],"consistency":[2,61,104,164],"of":[3,23,26,62,92,105],"knowledge":[4,70,81,106,123],"items":[5,71,82,107,124],"between":[6,108,166],"textbook":[7,22,73,109,126,150,168],"and":[8,40,65,80,110,147,169],"clinical":[9,84,111,132,145,170],"practice":[10,85,112,133,146],"is":[11,31,42,47,159],"very":[12],"important":[13],"for":[14,163],"traditional":[15],"Chinese":[16],"medicine":[17,25],"(TCM).":[18],"According":[19],"to":[20,58],"internal":[24],"TCM,":[27,69],"rheumatoid":[28],"arthritis":[29],"(RA)":[30],"a":[32,117,160],"disease":[33],"with":[34],"four":[35],"syndromes":[36],"(also":[37],"called":[38],"pattern)":[39],"Feng-Han-Shi-Bi":[41,120],"major":[44],"one.":[45],"Bisimulation":[46],"an":[48],"equivalence":[49],"relationship/method":[50],"in":[51,125,144,149],"formal":[52],"methods":[53],"which":[54],"can":[55,74,86,127],"be":[56,75,87,128,138],"used":[57],"compare":[59],"system's":[63,78],"description":[64],"its":[66],"behaviors.":[67],"In":[68,156],"from":[72,83],"taken":[76,88],"as":[77,89],"description,":[79],"behaviors":[91],"system.":[94],"For":[95],"RA's":[96],"Feng-Han-Shi-":[97],"Bi":[98],"syndrome,":[99,121],"employing":[100],"bisimulation":[101,154,158],"method,":[102],"has":[113],"been":[114],"checked.":[115],"As":[116],"result,":[118],"on":[119],"most":[122],"simulated":[129,139],"by":[130],"while":[134],"two":[135],"others":[136],"cannot":[137],"e.g.,":[140],"Han-Re-":[141],"Cuo-Za":[142],"syndrome":[143],"Fang-Feng-Tang":[148],"have":[151],"no":[152],"exact":[153],"items.":[155],"brief,":[157],"proper":[161],"method":[162],"check":[165],"TCM":[167],"practice.":[171]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}