160 research outputs found
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination
In the context of the Semantic Web, several approaches to the combination of
ontologies, given in terms of theories of classical first-order logic and rule
bases, have been proposed. They either cast rules into classical logic or limit
the interaction between rules and ontologies. Autoepistemic logic (AEL) is an
attractive formalism which allows to overcome these limitations, by serving as
a uniform host language to embed ontologies and nonmonotonic logic programs
into it. For the latter, so far only the propositional setting has been
considered. In this paper, we present three embeddings of normal and three
embeddings of disjunctive non-ground logic programs under the stable model
semantics into first-order AEL. While the embeddings all correspond with
respect to objective ground atoms, differences arise when considering
non-atomic formulas and combinations with first-order theories. We compare the
embeddings with respect to stable expansions and autoepistemic consequences,
considering the embeddings by themselves, as well as combinations with
classical theories. Our results reveal differences and correspondences of the
embeddings and provide useful guidance in the choice of a particular embedding
for knowledge combination.Comment: 52 pages, submitte
A semantical framework for hybrid knowledge bases
In the ongoing discussion about combining rules and ontologies on the Semantic Web a recurring issue is how to combine first-order classical logic with nonmonotonic rule languages. Whereas several modular approaches to define a combined semantics for such hybrid knowledge bases focus mainly on decidability issues, we tackle the matter from a more general point of view. In this paper, we show how Quantified Equilibrium Logic (QEL) can function as a unified framework which embraces classical logic as well as disjunctive logic programs under the (open) answer set semantics. In the proposed variant of QEL, we relax the unique names assumption, which was present in earlier versions of QEL. Moreover, we show that this framework elegantly captures the existing modular approaches for hybrid knowledge bases in a unified way
D4.6.1.1 Report on ontology mediation for case studies v.1
WP4 Ontology Mediation ReportThe aim of this deliverable is to identify the requirements for mediation for the SEKT casestudies. The data sources from each case study are investigated together with the relationships between them and with the scenarios in which two or more of these data sources are used in conjunction, i.e. where data integration is needed. The requirements for mediation are identified based on these scenarios. We should note that as a result of our analysis we identified the opportunity of some architectural changes for two of the casestudies. The new data source landscapes proposed together with guidelines about different mediation approaches should serve as a pillar for the further development of thecase studies. Also the identified requirements show that the main mediation functionality on which the tools developed by the WP4 should focus on is ontology alignment
Revealing the main factors and two-way interactions contributing to food discolouration caused by iron-catechol complexation
Fortification of food with iron is considered to be an effective approach to counter the global health problem caused by iron deficiency. However, reactivity of iron with the catechol moiety of food phenolics leads to discolouration and impairs bioavailability. In this study, we investigated the interplay between intrinsic and extrinsic factors on food discolouration caused by iron-catechol complexation. To this end, a three-level fractional factorial design was implemented. Absorbance spectra were analysed using statistical methods, including PCA, HCA, and ANOVA. Furthermore, a direct link between absorbance spectra and stoichiometry of the iron-catechol complexes was confirmed by ESI-Q-TOF-MS. All statistical methods confirm that the main effects affecting discolouration were type of iron salt, pH, and temperature. Additionally, several two-way interactions, such as type of iron salt × pH, pH × temperature, and type of iron salt × concentration significantly affected iron-catechol complexation. Our findings provide insight into iron-phenolic complexation-mediated discolouration, and facilitate the design of iron-fortified foods.</p
Augmentation of Endoxifen Exposure in Tamoxifen-Treated Women Following SSRI Switch
Background and Objective: The anti-oestrogen tamoxifen requires metabolic activation to endoxifen by cytochr
CD26-negative and CD26-positive tissue-resident fibroblasts contribute to functionally distinct CAF subpopulations in breast cancer
The origin of cancer-associated fibroblasts (CAFs) in cancer remains to be identified. Here, single-cell transcriptomics, in vivo and in vitro studies suggest that CD26+ and CD26- normal fibroblasts transform into distinct CAF subpopulations in mouse models of breast cancer
Publisher Correction: Truncated FGFR2 is a clinically actionable oncogene in multiple cancers.
This paper was originally published under a standard Springer Nature license
- …