Local closed world reasoning with description logics under the well-founded semantics

An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One of the most mature proposals for this combination is known as hybrid MKNF knowledge bases (Motik and Rosati, 2010 [52]), and it is based on an adaptation of the Stable Model Semantics to knowledge bases consisting of ontology axioms and rules. In this paper we propose a well-founded semantics for nondisjunctive hybrid MKNF knowledge bases that promises to provide better efficiency of reasoning, and that is compatible with both the OWL-based semantics and the traditional Well-Founded Semantics for logic programs. Moreover, our proposal allows for the detection of inconsistencies, possibly occurring in tightly integrated ontology axioms and rules, with only little additional effort. We also identify tractable fragments of the resulting language.     

Characteristics of Metal Droplets in Slag Tapped from the Blast Furnace

Slag samples, hot‐metal samples and hot‐metal temperatures were obtained during tapping of two blast furnaces. Sampling was carried out at different time points during tapping of three separate heats. The size distribution and composition of metal droplets found in the slag were determined using scanning electron microscopy. Only metal droplets above 0.75 μm could be counted and analysed. All droplets were below 8 μm in diameter and the great majority of these droplets were found to be between 0.75 and 2 μm. The size distribution did not differ significantly for different slag samples. Iron was the main droplet component. Electron probe microanalysis showed that the droplets contained small amounts of carbon. The percentage of the area in a studied cross‐section that was covered with metal droplets varied between 0.01 and 0.07%. Calculations based on Stoke's law showed that the distance droplets travel in the slag is in the micron range. Slag samples taken in the beginning of slag tapping contained more droplets than those taken in the middle of slag tapping, an indication that most droplets can be found in the area near the furnace wall. Some droplets were determined to have magnesium enrichment at the external surface.     

Mechanisms of the FMR1 Repeat Instability: How Does the CGG Sequence Expand?

A dynamic mutation in exon 1 of the FMR1 gene causes Fragile X-related Disorders (FXDs), due to the expansion of an unstable CGG repeat sequence. Based on the CGG sequence size, two types of FMR1 alleles are possible: “premutation” (PM, with 56-200 CGGs) and “full mutation” (FM, with >200 triplets). Premutated females are at risk of transmitting a FM allele that, when methylated, epigenetically silences FMR1 and causes Fragile X syndrome (FXS), a very common form of inherited intellectual disability (ID). Expansions events of the CGG sequence are predominant over contractions and are responsible for meiotic and mitotic instability. The CGG repeat usually includes one or more AGG interspersed triplets that influence allele stability and the risk of transmitting FM to children through maternal meiosis. A unique mechanism responsible for repeat instability has not been identified, but several processes are under investigations using cellular and animal models. The formation of unusual secondary DNA structures at the expanded repeats are likely to occur and contribute to the CGG expansion. This review will focus on the current knowledge about CGG repeat instability addressing the CGG sequence expands.     

Spin Electronics: From Concentrated to Diluted Magnetic Semiconductors and Beyond

This presentation will review physical properties, relevant to spintronics, of concentrated magnetic semiconductors. Examples from the open literature and current research utilizing thin film EuS will be used as illustrations. New research on potential spin injection materials and spin detection will also be described. This latter work, carried out at MARTECH, the Center for Materials Research and Technology, demonstrates that carriers from the half-metal CrO₂ may be injected across an insulator without loss of (100%) spin polarization. It also features the development of a Hall gradiometer capable of detecting as few as 10⁵ spins.     

Determination of Heat of Adsorption on Clean Solid Surfaces

One of the basic parameters characterizing the bond between a chemisorbed atom (or molecule) and the surface is its dissociation energy. It is difficult, however, to determine the bond energy and therefore it becomes necessary to turn to some other quantity, which is sufficiently close to the bond energy and which can be determined without much difficulty. Such a quantity is the heat of adsorption. Heat of adsorption is defined as the difference between the total energy of the adsorption system prior to and after the adsorption process, i.e., it equals the sum of all energy changes connected with adsorption. Thus the experimentally determined value for the heat of adsorption is obviously closely related to the bond energy of the chemisorbed particle, though this relation is not quite simple [1,2].     

5-Fluorouracil Treatment of CT26 Colon Cancer Is Compromised by Combined Therapy with IMMODIN

Due to the physiological complexity of the tumour, a single drug therapeutic strategy may not be sufficient for effective treatment. Emerging evidence suggests that combination strategies may be important to achieve more efficient tumour responses. Different immunomodulators are frequently tested to reverse the situation for the purpose of improving immune response and minimizing chemotherapy side effects. Immodin (IM) represents an attractive alternative to complement chemotherapy, which can be used to enhance the immune system after disturbances resulting from the side effects of chemotherapy. In the presented study, a model of CT26 tumor-bearing mice was used to investigate the effect of single IM or its combination with 5-fluorouracil (5-FU) on colon cancer cells. Our results highlight that the beneficial role of IM claimed in previous studies cannot be generalised to all chemotherapeutic drugs, as 5-FU toxicity was not increased. On the contrary, the chemotherapeutic anti-cancer efficacy of 5-FU was greatly compromised when combined with IM. Indeed, the combined treatment was significantly less effective regarding the tumour growth and animal survival, most probably due to the increased number of tumour-associated macrophages, and increased 5-FU cytotoxic effect related to kidneys and the liver.     

Digitoxin Affects Metabolism,ROS Production and Proliferation in Pancreatic Cancer Cells Differently Depending on the Cell Phenotype

Digitoxin has repeatedly shown to have negative effects on cancer cell viability; however, the actual mechanism is still unknown. In this study, we investigated the effects of digitoxin (1–100 nM) in four pancreatic cancer cell lines, BxPC-3, CFPAC-1, Panc-1, and AsPC-1. The cell lines differ in their KRAS/BRAF mutational status and primary tumor or metastasis origin. We could detect differences in the basal rates of cell proliferation, glycolysis, and ROS production, giving the cell lines different phenotypes. Digitoxin treatment induced apoptosis in all four cell lines, but to different degrees. Cells derived from primary tumors (Panc-1 and BxPC-3) were highly proliferating with a high proportion of cells in the S/G2 phase, and were more sensitive to digitoxin treatment than the cell lines derived from metastases (CFPAC-1 and AsPC-1), with a high proportion of cells in G0/G1. In addition, the effects of digitoxin on the rate of glycolysis, ROS production, and proliferation were dependent on the basal metabolism and origin of the cells. The KRAS downstream signaling pathways were not altered by digitoxin treatment, thus the effects exerted by digitoxin were probably disconnected from these signaling pathways. We conclude that digitoxin is a promising treatment in highly proliferating pancreatic tumors.