{"id":"https://openalex.org/W1992275511","doi":"https://doi.org/10.4304/jsw.9.3.536-540","title":"Bisimulation-based Consistency Checking on Syndrome Feng-Shi-Re-Bi in Rheumatoid Arthritis","display_name":"Bisimulation-based Consistency Checking on Syndrome Feng-Shi-Re-Bi in Rheumatoid Arthritis","publication_year":2014,"publication_date":"2014-03-01","ids":{"openalex":"https://openalex.org/W1992275511","doi":"https://doi.org/10.4304/jsw.9.3.536-540","mag":"1992275511"},"language":"en","primary_location":{"id":"doi:10.4304/jsw.9.3.536-540","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jsw.9.3.536-540","pdf_url":null,"source":{"id":"https://openalex.org/S114141714","display_name":"Journal of Software","issn_l":"1796-217X","issn":["1796-217X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software","raw_type":"journal-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":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guang Zheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019225012","display_name":"Kai Cui","orcid":"https://orcid.org/0000-0002-6060-6130"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kai Cui","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101070404","display_name":"Junping Zhan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Junping Zhan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072511008","display_name":"Zekun Ning","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zekun Ning","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100711795","display_name":"Miao Jiang","orcid":"https://orcid.org/0000-0002-3681-9494"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Miao Jiang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001858374","display_name":"Cheng L\u00fc","orcid":"https://orcid.org/0000-0002-6474-9198"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cheng Lu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5076594495","display_name":"Aiping L\u00fc","orcid":"https://orcid.org/0000-0002-2303-0494"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Aiping Lu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16057138,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12647","display_name":"Traditional Chinese Medicine Studies","score":0.9933000206947327,"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.9933000206947327,"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.9794999957084656,"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/computer-science","display_name":"Computer science","score":0.7885763645172119},{"id":"https://openalex.org/keywords/rheumatoid-arthritis","display_name":"Rheumatoid arthritis","score":0.6204129457473755},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.6130524277687073},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5195396542549133},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.29887351393699646},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.21315765380859375},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20949336886405945},{"id":"https://openalex.org/keywords/internal-medicine","display_name":"Internal medicine","score":0.10218581557273865}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7885763645172119},{"id":"https://openalex.org/C2777575956","wikidata":"https://www.wikidata.org/wiki/Q187255","display_name":"Rheumatoid arthritis","level":2,"score":0.6204129457473755},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.6130524277687073},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5195396542549133},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29887351393699646},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.21315765380859375},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20949336886405945},{"id":"https://openalex.org/C126322002","wikidata":"https://www.wikidata.org/wiki/Q11180","display_name":"Internal medicine","level":1,"score":0.10218581557273865}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4304/jsw.9.3.536-540","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jsw.9.3.536-540","pdf_url":null,"source":{"id":"https://openalex.org/S114141714","display_name":"Journal of Software","issn_l":"1796-217X","issn":["1796-217X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.4300000071525574}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W1487071653","https://openalex.org/W1503973138","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/W6712952066"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1495872178","https://openalex.org/W1522712643","https://openalex.org/W2136070637","https://openalex.org/W2102135785","https://openalex.org/W2783071694","https://openalex.org/W1553849808","https://openalex.org/W1976268573","https://openalex.org/W2089212807","https://openalex.org/W2963587252"],"abstract_inverted_index":{"Checking":[0],"the":[1,21,48,69,99,102,111,139],"consistency":[2,70,112,174],"of":[3,23,26,71,101,113,162],"knowledge":[4,79,90,114,131],"items":[5,80,91,115,132],"between":[6,116,176],"textbook":[7,22,82,117,134,178],"and":[8,41,47,74,89,118,179],"clinical":[9,93,119,140,152,180],"practice":[10,94,120,141],"is":[11,31,43,56,169],"very":[12],"important":[13],"for":[14,173],"traditional":[15,163],"Chinese":[16,164],"medicine":[17,25],"(TCM).":[18],"According":[19],"to":[20,67],"internal":[24],"TCM,":[27,78],"rheumatoid":[28],"arthritis":[29],"(RA)":[30],"a":[32,44,125,170],"disease":[33],"with":[34],"four":[35],"main":[36],"syndromes":[37],"(also":[38],"called":[39],"pattern)":[40],"Feng-Shi-Re-Bi":[42,106,128],"minor":[45],"one":[46],"associated":[49],"literature":[50],"data":[51],"are":[52,155],"not":[53],"rich.":[54],"Bisimulation":[55],"an":[57],"equivalence":[58],"relationship/method":[59],"in":[60,133,151],"formal":[61],"methods":[62],"which":[63],"can":[64,83,95,135],"be":[65,84,96,136],"used":[66],"compare":[68],"system's":[72,87],"description":[73],"its":[75],"behaviors.":[76],"In":[77,166],"from":[81,92],"taken":[85,97],"as":[86,98],"description,":[88],"behaviors":[100],"system.":[103],"For":[104],"RA's":[105],"syndrome,":[107,129,143],"employing":[108],"bisimulation":[109,168],"method,":[110],"have":[121],"been":[122],"checked.":[123],"As":[124],"result,":[126],"on":[127,159],"most":[130],"simulated":[137],"by":[138],"e.g.,":[142],"symptom,":[144],"herbal":[145,147],"formula,":[146],"medicine.":[148,165],"What's":[149],"more,":[150],"practice,":[153],"there":[154],"also":[156],"variations":[157],"based":[158],"basic":[160],"rules":[161],"brief,":[167],"proper":[171],"method":[172],"checking":[175],"TCM":[177],"practice.":[181]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}