The subsumption problem in the description logic (DL) EL has been shown to be polynomial regardless of whether cyclic or acyclic TBoxes are used. Recently, it was shown that the problem remains tractable even when admitting general concept inclusion (GCI) axioms. Motivated by its nice complexity and sufficient expressiveness for some applications, we propose three decision procedures for comput...

Resumen En este trabajo se presenta el estudio de un conjunto de refactorizaciones desde el punto de vista de un lenguaje modelo. El objetivo es validar la factibilidad de llevar a cabo, sobre un framework que conceptualice las abstracciones del lenguaje modelo, las operaciones de refactorización definidas en base a dichas abstracciones. De esta manera se avanza hacia una solución al desarrollo...

Fifty-eight percent of respondents to a recent poll (http://especiales.elsalvador.com/2016/encuesta-2-aniosgestion-presidencial/)commissioned by Salvadoran newspaper El Diario de Hoy said they do not think the government's implementation of "extraordinary measures" to combat the gangs are producing good results. (See chart below) El Salvador (http://www.insightcrime.org/el-salvador-organizedcri...

El manganeso (Mn) es importante para la fotosíntesis y formación de carbohidratos solubles en la planta. La adición de Mn en la fertilización del cultivo de papa en Colombia no es común. Sin embargo, hay trabajos que demuestran que una adición de Mn tiene efectos favorables en la producción y calidad del producto, sobre todo en zonas con bajos contenidos nativos de este nutriente. Una mejora en...

The least common subsumer (lcs) w.r.t general EL-TBoxes does not need to exists in general due to cyclic axioms. In this paper we present an algorithm for computing role-depth bounded EL-lcs based on the completion algorithm for EL. We extend this computation algorithm to a recently introduced probabilistic variant of EL: Prob-EL.

The El Niño Southern Oscillation (ENSO) cycle is often blamed for disasters in Pacific island communities. From a disaster risk reduction (DRR) perspective, the challenges with the El Niño part of the ENSO cycle, in particular, are more related to inadequate vulnerability reduction within development than to ENSO-induced hazard influences. This paper analyses this situation, filling in a concep...

El Real Decreto 521/87 que reguló el reglamento sobre estructuras, organización y funcionamiento de los hospitales y por analogía el de las gerencias de Atención Primaria (AP), colocó a las direcciones de enfermería en el mismo nivel que el resto de direcciones médicas y de gestión. Desde entonces, su participación en las diferentes comisiones y órganos de dirección ha estado garantizada desde ...

Pseudomonas aeruginosa phage EL is a dsDNA phage related to the giant phiKZ-like Myoviridae. The EL genome sequence comprises 211,215 bp and has 201 predicted open reading frames (ORFs). The EL genome does not share DNA sequence homology with other viruses and micro-organisms sequenced to date. However, one-third of the predicted EL gene products (gps) shares similarity (Blast alignments of 17-...

aplica el anticontrol por retroalimentación propuesto por Wang, Chen y Yu. Los resultados de caotificación no local son aplicados a tres sistemas, el sistema de Lorenz, el sistema de Burke-Shaw y el sistema de Liu.