Description Logics (DLs) under Rational Closure (RC) is a well-known framework for non-monotonic reasoning in DLs. In this paper, we address the concept subsumption decisionproblem under RC for nominal safeELO⊥, a notable and practically important DL represen-tative of the OWL 2 profile OWL 2 EL.Our contribution here is to define a polynomial time subsumption procedure for n...

An inexpensive, simple, precise and rapid method for the determination of fluoroquinolone gatifloxacin in tablets is described. The procedure is based on the use of volumetric dosage in a non-aqueous medium in glacial acetic acid with 0.1 M perchloric acid. The method validation yielded good results and included the precision, recovery and accuracy. It was also found that the excipients in the ...

We introduce automatic verification as a post-processing step for entity linking (EL). The proposed method trusts EL system results collectively, by assuming entity mentions are mostly linked correctly, in order to create a semantic profile of the given text using geospatial and temporal information, as well as fine-grained entity types. This profile is then used to automatically verify each li...

En el contexto del proyecto IDEAS (Ingeniería de Ambientes de Software) financiado por la CYTED, y en particular en su tarea titulada “Métodos para especificación de transacciones en fase de modelado conceptual en ambientes OO”, el grupo de investigación DSIC-UPV (Valencia, España) trabaja en la definición de un ambiente de producción automática de software basado en modelos conceptuales tempor...

The EL family of description logics (DLs) has been successfully applied for representing the knowledge of several domains, specially from the bio-medical fields. One of its principal characteristics is that its reasoning tasks have polynomial complexity, which makes them suitable for large-scale knowledge bases. In their classical form, description logics cannot handle imprecise concepts in a s...

The empirical likelihood (EL) technique has been well addressed in both the theoretical and applied literature in the context of powerful nonparametric statistical methods for testing and interval estimations. A nonparametric version of Wilks theorem (Wilks, 1938) can usually provide an asymptotic evaluation of the Type I error of EL ratio-type tests. In this article, we examine the performance...

When engineering content is created and applied during the product life cycle, it is often stored and forgotten. Current information retrieval approaches based on statistical methods and keyword matching are not effective in understanding the context of engineering content. They are not designed to be directly applicable to the engineering domain. Therefore, engineers have very limited means to...

Aiming the use of protein hydrolysates for dietetic purposes, casein was hydrolysed by using pepsin (P), isolated and in association with trypsin (T) and subtilisin (S). Sixteen hydrolysates were prepared and their peptide profiles were characterized. The hydrolysates were fractionated by size-exclusion HPLC, and the rapid Correct Fraction Area method was used for quantifying peptides and free ...

OBJECTIVE A substantial proportion of children with attention-deficit/hyperactivity disorder (ADHD) also display emotion regulation deficits manifesting as chronic irritability, severe temper outbursts, and aggression. The amygdala is implicated in emotion regulation, but its connectivity and relation to emotion regulation in ADHD has yet to be explored. The purpose of this study was to examine...

Título: La construcción social de la homoparentalidad: ámbito académico, medios de comunicación y discurso experto. Resumen: Este trabajo pretende conocer las estrategias discursivas desde las que se está construyendo el fenómeno homoparental en diferentes espacios públicos, como son: el ámbito académico, los medios de comunicación y el ámbito experto profesional-legislativo. El método de inves...