Search results for "FPR"
showing 4 items of 24 documents
SCALESEM : Evaluation of Semantic Graph based on Model Checking
2011
International audience; Semantic interoperability problems have found their solutions using languages and techniques from the Semantic Web. The proliferation of ontologies and meta-information has improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modelling and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of research concerns …
Qualifying semantic graphs using model checking
2011
International audience; Semantic interoperability problems have found their solutions using languages and techniques from the Semantic Web. The proliferation of ontologies and meta-information has improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modeling and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of research concerns t…
On Language Adequacy
2015
Abstract The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most general one being: the compatibility of the language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory of syntax T of any categorial language L generated by the so-called classical categorial grammar, and also on the ground of its extension to the bi-level, intensional and ex- tensio…
Uneven modulation of the annexin 1 system in osteoblast-like cells by dexamethasone
2007
AbstractWe tested whether glucocorticoids modulated osteoblast expression of the annexin 1 system, including the ligand and two G-coupled receptors termed formyl-peptide receptor (FPR) and FPR-like-1 (FPRL-1). In Saos-2 cells, rapid up-regulation of FPR mRNA upon cell incubation with dexamethasone (0.01–1μM) was observed, with significant changes as early as 2h and a more marked response at 24h; annexin 1 and FPRL-1 mRNA changes were more subtle. At the protein level, dexamethasone provoked a rapid externalization of annexin 1 (maximal at 2h) followed by delayed time-dependent changes in the cell cytosol. Saos-2 cell surface expression of FPR or FPRL-1 could not be detected, even when dexam…