The minimal unsatisfiability-preserving sub-TBoxes（MUPS）of an unsatisfiable class C identified by two equivalent transformations,axiom splitting and ontology reduction,and three discrimination rules comprise minimal...The minimal unsatisfiability-preserving sub-TBoxes（MUPS）of an unsatisfiable class C identified by two equivalent transformations,axiom splitting and ontology reduction,and three discrimination rules comprise minimal sets of axioms which support the unsatisfiability.Discrimination rules classify all MUPS into three types based on the transitivity of unsatisfiability,fully dependent on C（MUPSf）,transitively dependent on C（MUPSt）and uncertainly dependent on C（MUPSu）.The results show that the number of MUPSt is frequently a large fraction of the total number of all MUPS,but only MUPSf catches the root error of C.Modelers and domain experts conduct iterative repair work effectively,considering only MUPSf in each iteration.The classification shows the significance for the evaluation of the quality of ontologies from the perspective of maintenance and for repair work.展开更多
Metformin hydrochloride and sitagliptin phosphate is the common combination among diabetic drugs.Available dosage forms cannot avoid the dose dumping which leads to the complication such as lactic acidosis,gastrointes...Metformin hydrochloride and sitagliptin phosphate is the common combination among diabetic drugs.Available dosage forms cannot avoid the dose dumping which leads to the complication such as lactic acidosis,gastrointestinal complication,and severe hypoglycemia.Metformin hydrochloride has a very short half-life,i.e.4 hrs,and thus fails to give action for the long period.This leads to the increase number of dosings per day.Single-unit formulations contain the active ingredient within the single tablet or capsule,whereasmultiple-unit dosage forms comprise a number of discrete particles that are combined into one dosage unit.展开更多
基金The Science and Technology Development Program of Tianjin(No.06YFGZGX05900)
文摘The minimal unsatisfiability-preserving sub-TBoxes（MUPS）of an unsatisfiable class C identified by two equivalent transformations,axiom splitting and ontology reduction,and three discrimination rules comprise minimal sets of axioms which support the unsatisfiability.Discrimination rules classify all MUPS into three types based on the transitivity of unsatisfiability,fully dependent on C（MUPSf）,transitively dependent on C（MUPSt）and uncertainly dependent on C（MUPSu）.The results show that the number of MUPSt is frequently a large fraction of the total number of all MUPS,but only MUPSf catches the root error of C.Modelers and domain experts conduct iterative repair work effectively,considering only MUPSf in each iteration.The classification shows the significance for the evaluation of the quality of ontologies from the perspective of maintenance and for repair work.
文摘Metformin hydrochloride and sitagliptin phosphate is the common combination among diabetic drugs.Available dosage forms cannot avoid the dose dumping which leads to the complication such as lactic acidosis,gastrointestinal complication,and severe hypoglycemia.Metformin hydrochloride has a very short half-life,i.e.4 hrs,and thus fails to give action for the long period.This leads to the increase number of dosings per day.Single-unit formulations contain the active ingredient within the single tablet or capsule,whereasmultiple-unit dosage forms comprise a number of discrete particles that are combined into one dosage unit.
