To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ...To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ reasoning results are reused to prove the complexity of EFALCQ reasoning problems. The ALCQ simulation method for the consistency of EFALCQ is proposed. This method reduces EFALCQ satisfiability into EFALCQ consistency, and uses EFALCQ satisfiability to discretely simulate EFALCQ satdomain. It is proved that the reasoning complexity for EFALCQ satisfiability, consistency and sat-domain is PSPACE-complete.展开更多
Dear Editor,Te Veterans Health Administration(VHA)provides healthcare for over 9 million enrolled veterans with approximately 2.7 million of those residing in rural areas[1].Te MISSION Act of 2018 emphasizes VHA colla...Dear Editor,Te Veterans Health Administration(VHA)provides healthcare for over 9 million enrolled veterans with approximately 2.7 million of those residing in rural areas[1].Te MISSION Act of 2018 emphasizes VHA collaboration with Federally Qualifed Healthcare Centers(FQHC)to serve rural residing veterans and nearly all existing collaborations involve arrangement of payment for community-based care by VHA to FQHCs.Unfortunately,there is a paucity of descriptive clinical data on existing cross-system collaborations which may help characterize these veterans and aid understanding of conditions for which they may receive treatment across systems.Such data has implications for workforce training,development,and resource allocation[2].Te objective of this report is to describe diferent clinical profles between two mutually exclusive samples:veterans engaged in FQHC only use,and VHA-enrolled veterans engaged in dual VHA and FQHC use.展开更多
基金The National Natural Science Foundation of China(No60403016)the Weaponry Equipment Foundation of PLA Equip-ment Ministry (No51406020105JB8103)
文摘To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ reasoning results are reused to prove the complexity of EFALCQ reasoning problems. The ALCQ simulation method for the consistency of EFALCQ is proposed. This method reduces EFALCQ satisfiability into EFALCQ consistency, and uses EFALCQ satisfiability to discretely simulate EFALCQ satdomain. It is proved that the reasoning complexity for EFALCQ satisfiability, consistency and sat-domain is PSPACE-complete.
基金supported in part by an award from the VHA Office of Rural Health,Veterans Rural Health Resource CenterDIowa City(VRHRC-IC),Iowa City VA Health Care System,Iowa City,IA(Award#7345)。
文摘Dear Editor,Te Veterans Health Administration(VHA)provides healthcare for over 9 million enrolled veterans with approximately 2.7 million of those residing in rural areas[1].Te MISSION Act of 2018 emphasizes VHA collaboration with Federally Qualifed Healthcare Centers(FQHC)to serve rural residing veterans and nearly all existing collaborations involve arrangement of payment for community-based care by VHA to FQHCs.Unfortunately,there is a paucity of descriptive clinical data on existing cross-system collaborations which may help characterize these veterans and aid understanding of conditions for which they may receive treatment across systems.Such data has implications for workforce training,development,and resource allocation[2].Te objective of this report is to describe diferent clinical profles between two mutually exclusive samples:veterans engaged in FQHC only use,and VHA-enrolled veterans engaged in dual VHA and FQHC use.
