We investigate ontology-based data access to temporal data. consider ontologies given in linear logic LTL interpreted over discrete time (Z,<). Queries are or MFO(<), monadic first-order with a built-in order. Our concern is rewritability of ontology-mediated queries (OMQs) consisting ontology and query. By taking account the operators used distinguishing between full its core, Krom Horn fragme...

BACKGROUND & AIM To compare the effect of fish oil-based (FO) lipid emulsions (LE) for parenteral administration with standard LE and a new FO containing LE composed of four different oils on the antigen presentation and inflammatory variables. METHODS Phytohemagglutinin (PHA) activated human mononuclear leukocytes were cultured with different LE - Control: without LE; SO: soybean oil; SO/FO:...

This study tested the relationship between frequency selectivity and the minimum spacing between harmonics necessary for accurate fo discrimination. Fundamental frequency difference limens (fo DLs) were measured for ten listeners with moderate sensorineural hearing loss (SNHL) and three normal-hearing listeners for sine- and random-phase harmonic complexes, bandpass filtered between 1500 and 35...

The languages FO +poly and FO +linear have been proposed as a foundation for spatial database query languages. We extend both languages with a parameterised path-connectivity predicate, Pconn, to study spatial queries involving connectivity. We show that: FO +linear +Pconn; FO +poly +Pconn?2D, are closed and have NC data complexity, and FO + poly + Pconn ?3D is closed and has PTIME data complex...

The paper reports on a number of acoustic experiments with focus on FO-parameters. The aim of the research is to determine which of the sociocultural connotations established for FO-code in British English are valid for the American context. It is an attempt to differentiate nationally specific regional and sociocultural constraints on FO-variation. The FO-parameters are: FO-max, FO-mean, FO-ra...

Recently, FO(C), the integration of C-LOG with classical logic, was introduced as a knowledge representation language. Up to this point, no systems exist that perform inference on FO(C), and very little is known about properties of inference in FO(C). In this paper, we study both of the above problems. We define normal forms for FO(C), one of which corresponds to FO(ID). We define transformatio...

The purpose of this study was to determine the effects of functional overload (FO) combined with growth hormone/insulin-like growth factor I (GH/IGF-I) administration on myonuclear number and domain size in rat soleus muscle fibers. Adult female rats underwent bilateral ablation of the plantaris and gastrocnemius muscles and, after 7 days of recovery, were injected three times daily for 14 days...

We introduce fixpoint definitions, a rule-based reformulation of fixpoint constructs. The logic FO(FD), an extension of classical logic with fixpoint definitions, is defined. We illustrate the relation between FO(FD) and FO(ID), which is developed as an integration of two knowledge representation paradigms. The satisfiability problem for FO(FD) is investigated by first reducing FO(FD) to differ...

This study seeks to evaluate the performance and economic feasibility of the forward osmosis (FO)-reverse osmosis (RO) hybrid process; to propose a guideline by which this hybrid process might be more price-competitive in the field. A solution-diffusion model modified with film theory was applied to analyze the effects of concentration polarization, water, and salt transport coefficient on flux...