Towards Understanding Reasoning Complexity in Practice

Although the computational complexity of the logic underlying the standard OWL 2 for the Web Ontology Language (OWL) appears discouraging for real applications, several contributions have shown that reasoning with OWL ontologies is feasible in practice. It turns out that reasoning in practice is often far less complex than is suggested by the established theoretical complexity bound, which reflects the worstcase scenario. State-of-the reasoners like FACT++, HERMIT, PELLET and RACER have demonstrated that, even with fairly expressive fragments of OWL 2, acceptable performances can be achieved. However, it is still not well understood why reasoning is feasible in practice and it is rather unclear how to study this problem. In this paper, we suggest first steps that in our opinion could lead to a better understanding of practical complexity. We also provide and discuss some initial empirical results with HERMIT on prominent ontologie

Trust engineering framework for software services

La presente tesis presenta un marco de trabajo que abarca distintas fases del ciclo de vida de los servicios software y que permite a ingenieros de requisitos, diseñadores y desarrolladores la integración en dichos servicios de modelos de confianza y reputación. En la fase de planificación, proponemos una metodología para evaluar la confianza en proveedores de Cloud antes de decidir si el sistema, o parte de él, se traslada al mismo. En la fase de análisis, ofrecemos una notación para la captura y representación de requisitos de confianza y reputación. Asimismo en esta misma fase, desarrollamos una metodología que permite detectar amenazas internas en un sistema a través de análisis de relaciones de confianza. Para la fase de diseño, proponemos un perfil UML que permite la especificación de modelos de confianza y reputación, lo cual facilita la siguiente fase de implementación, para la que desarrollamos un marco de trabajo que los desarrolladores pueden usar para implementar una amplia variedad de modelos de confianza y reputación. Finalmente, para la fase de verificación en tiempo de ejecución, presentamos un marco de trabajo desarrollado sobre una plataforma de sistemas auto-adaptativos que implementa el paradigma de modelos en tiempo de ejecución. Con dicho marco de trabajo, hacemos posible que los desarrolladores puedan implementar modelos de confianza y reputación, y que puedan usar la información proporcionada por dichos modelos para especificar políticas de reconfiguración en tiempo de ejecución. Esto permite que el sistema se adapte de forma que se mantengan niveles tolerables de confianza y reputación en los componentes de los que consiste. Todo los trabajos anteriores se apoyan sobre un marco conceptual que captura y relaciona entre sí las nociones más relevantes en los dominios de la confianza y la reputación

Evaluation of Enzyme Additives on the Nutritional Use of Feeds with a High Content of Plant Ingredients for Mugil cephalus

The Mugilidae are a group of fish with a great interest for aquaculture due to their omnivorous profile, rapid growth, and resistance to environmental variations. The selection of feed ingredients for these species is currently focused on an extensive use of plant by-products, with this being limited by their content in anti-nutritive factors (mainly phytate and non-starch polysaccharides; NSPs). Nevertheless, specific enzymes can be used to counteract some of those negative effects. In the present study, the effect of pretreating two high-plant feeds with a mixture of enzymes (glucanases + phytase) on the digestive use of protein and phosphorus by juvenile mullets (Mugil cephalus) was assessed using both in vitro and in vivo assays. The enzymatic treatment significantly modified the potential bioavailability of some nutrients, such as a reduction of sugars, pentoses, and phytic phosphorus. Also, it increased the digestibility of protein in one of the feeds but reduced that of phosphorus in both of them. The potential usefulness of enzyme treatment and the information provided by the two types of assays are discusse

Composición y Método Cinético de Medición de la Actividad Lipasa

Número de publicación: ES2358029 A1 (05.05.2011) También publicado como: ES2358029 B2 (23.03.2012 Número de Solicitud: Consulta de Expedientes OEPM (C.E.O.) P200902117(20.10.2009)La presente invención pertenece al campo de las composiciones químicas utilizadas en métodos de determinación de actividad enzimática. En particular, la presente invención se encuadra en los métodos cinéticos de determinación de la actividad lipasa que utilizan sustratos sintéticos.Universidad de Almerí

Ontogeny of digestive enzymatic capacities in juvenile seahorses Hippocampus guttulatus fed on different live diets

12 páginas, 2 tablas, 3 figurasDifferences in survival and growth rates in seahorse Hippocampus guttulatus juveniles feeding on Artemia sp. or copepods have been related to specific digestive capacities of seahorse newborn, which are capable of actively forage on available prey from the first day of live. Other seahorse species, such as H. abdominalis and H. hippocampus, show high success feeding on Artemia nauplii suggesting species-specific differences in the digestibility of prey among seahorses. In this study, the profiles of digestive enzyme activity during the initial 15 days after release (DAR) were very low for trypsin, chitinase and α-amylase. In contrast, higher activities towards any of the assayed substrates for lipase (butyrate, octanoate and oleate) were evident from 0 DAR onwards. From 15 DAR onwards, the effect of diet composition became evident in juveniles previously fed on a mixed diet (Artemia + copepods), which showed a clear increase in all the assayed enzymes when compared with juveniles fed on Artemia as a sole prey. As a practical applicability of this study, a feeding schedule ensuring an adequate digestibility of the prey is proposed based on ontogenetic enzymatic activities of seahorse juveniles fed on different preyThe study was financed by the Spanish Government (Plan Nacional, Project CGL2009-08386) and the Regional Government of Galicia (Xunta de Galicia, Project 09MDS022402PR). A. Blanco was supported by PhD JAE-Pre grants (Junta para la Ampliación de Estudios Program) from the Spanish National Research Council (CSIC), co-financed by the European Social FundPeer reviewe

Celdilla de digestión-Lixiviación con membrana semipermeable, sistema de cerrado hermético y de control de temperatura

Número de publicación: ES2524521 A1 (09.12.2014) También publicado como: ES2524521 B1 (13.10.2015)ES2524521 B8 (13.05.2016) Número de Solicitud: Consulta de Expedientes OEPM (C.E.O.) P201201027 (08.10.2012)La invención es una celdilla de digestión-lixiviación con membrana semipermeable, sistema de cerrado hermético y de control de temperatura que es un dispositivo para pruebas de digestibilidad y lixiviación de moléculas o iones a nivel laboratorio. La invención es un diseño novedoso que permite mantener aislada la cámara interna (donde se realiza la digestión-lixiviación de materiales) de la cámara externa (donde se reciben los productos de la digestión-lixiviación) conectadas exclusivamente a través de la membrana semipermeable, de tamaño de poro intercambiable, para el paso de las moléculas o iones de tamaño deseado. La celdilla contiene un dispositivo que permite mantener un control de la temperatura en el interior de la cámara interna. Las aplicaciones de la celdilla están en laboratorios académicos o de investigación (empresas, centros de investigación, institutos, Universidades) para la realización de pruebas de digestibilidad in vitro de macromoléculas o de lixiviación de moléculas o iones.Universidad de Almerí

Comunidades de aprendizaje: perspectiva del docente

En este Trabajo de Fin de Grado se presentan las Comunidades de Aprendizaje, desde el punto de vista del personal docente que trabaja en ellas. Se trabaja en profundidad, qué es una Comunidad de Aprendizaje, cuáles son sus antecedentes, como es la puesta en marcha y cuáles son sus principales estrategias de éxito llevadas a cabo en las aulas.El objetivo general de esta investigación es conocer el funcionamiento de las Comunidades de Aprendizaje, la visión de los docentes que trabajan en ellas y cuál es la implicación de los mismos en el funcionamiento de los centros. Concretamente de los centros CEIP Mosaicos de Santiponce (Sevilla) y del CEIP Fernando Feliú de Gerena(Sevilla).Para llevar a cabo la investigación la metodología empleada ha sido un estudio cualitativo (ya que el objeto de análisis es medible y preciso) que consta de una entrevista realizada a un total de once docentes de ambos centros. De esta forma obtenemos una visión general acerca del funcionamiento de estos centros.Con los resultados que hemos obtenido en las entrevistas, es importante destacar que para el buen funcionamiento de una Comunidad de Aprendizajelos docentes ven necesaria una mayor implicación de la familia y de voluntarios que colaboren con el centro. Partiendo de estos, la mayoría está a favor de la metodología empleada y de acuerdo con la forma de trabajoIn this final Project the learning communities are presented, from the point of view of the teaching staff that work in them. We work in depth, what is a learning community, what are their antecedents, as is the start up and what are their main success strategies carried out in the classrooms.The general objective of this research is to know the functioning of the communities of learning, the vision of the teachers who work in them and what is theirinvolvement in the functioning of the centres. Specifically of the Centers CEIP Mosaicos of Santiponce (Sevilla) and CEIP Fernando Feliú de Gerena (Sevilla).To carry out the investigation the methodology used has been a qualitative study (since the object of analysis is measurable and precise) that consists of an interview made to a total of eleven teachers of both centers. This way we get an overview of how these centers work.With the results that we have obtained in the interviews, it is important to emphasize that for the good functioning of a learning community the teachers see necessary a greater involvement of the family and of volunteers who collaborate with the center. Based on these, the majority is in favor of the methodology employed and according to the form of workUniversidad de Sevilla. Grado en Educación Primari

Multicultural education: some reflections on the spanish case

In this paper we succinctly describe sorne aspects related to multicultural education in Spain. First we must recognise that there exists a somewhat extensive and significant work on Gypsies (the most important ethnic group in Spain) that we do not include in this paper, because it would require a separate article. It is much more interesting, we hope, to present the state of art of discourses and practices related to multicultural education in our country. In fact, we argue Spanish authorities have never considered the education of Gypsy children as a matter of multicultural education. The very phrases 'multicultural education' and 'intercultural education' have only recently been introduced in Spain. In the first section of this paper we describe the reasons put forth by sorne authors to support intercultural education. Their rationale for more multicultural education is compared to our own reasons. Sections number two to five briefly review sorne congresses on multicultural education held in our country (II), current research (III), legislation (IV), and programs in action (V). The common feature of these sections is the emphasis on showing how scarce and recent the whole topic of multiculturalism is in Spain. However, many Spanish investigators and educators are beginning to work in thís fíeld, and government ínvolvement is rapidly growing