Learn More
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics as an extension of description logics. We give semantics and syntax of possibilistic description logics. We then define two inference services in possibilistic description logics. Since(More)
ABox abduction is an important aspect for abductive reasoning in Description Logics (DLs). It finds all minimal sets of ABox axioms that should be added to a background ontology to enforce entailment of a specified set of ABox axioms. As far as we know, by now there is only one ABox abduction method in expressive DLs computing abductive solutions with(More)
ABox abduction plays an important role in reasoning over description logic (DL) ontologies. However, it does not work with inconsistent DL ontologies. To tackle this problem while achieving tractability, we generalize ABox abduction from the classical semantics to an inconsistency-tolerant semantics, namely the Intersection ABox Repair (IAR) semantics, and(More)
Transgenic mice were generated to express a restrictive cardiomyopathy (RCM) human cardiac troponin I (cTnI) R192H mutation in the heart (cTnI(193His) mice). The objective of this study was to assess cardiac function during the development of diastolic dysfunction and to gain insight into the pathophysiological impact of the RCM cTnI mutation. Cardiac(More)
ABox abduction is an important reasoning facility in Description Logics (DLs). It finds all minimal sets of ABox axioms, called abductive solutions, which should be added to a background ontology to enforce entailment of an observation which is a specified set of ABox axioms. However, ABox abduction is far from practical by now because there lack feasible(More)
Software project development is a risky process with high failure rate. This paper proposes an intelligent model that can predict and control software development risks from an overall project perspective rather than focusing only on the single factor, project output. In this study, we first constructed a formal model for risk identification, and then(More)
Cardiac troponin I (TnI) knockout mice exhibit a phenotype of sudden death at 17-18 days after birth due to a progressive loss of TnI. The objective of this study was to gain insight into the physiological consequences of TnI depletion and the cause of death in these mice. Cardiac function was monitored serially between 12 and 17 days of age by using(More)
The ability to pair the regulation of metabolism and cellular energetics with oncogenes and tumor suppressor genes provides cancer cells with a growth and survival advantage over normal cells. We investigated the mechanism of cell death induced by 2-deoxy-D-glucose (2-DG), a sugar analog with dual activity of inhibiting glycolysis and N-linked(More)
Ontology population is prone to cause inconsistency because the populating process is imprecise or the populated data may conflict with the original data. By assuming that the intensional part of the populated DL-based ontology is fixed and each removable ABox assertion is given a removal cost, we repair the ontology by deleting a subset of removable ABox(More)