OEGMerge: a case-based model for merging ontologies

No long ago ontology merging was a necessary activity, however, the current methods used in ontology merging present neither detailed cases nor an accurate formalization. For validating these methods, it is convenient to have a case list as complete as possible. In this paper we present the OEGMerge model, developed from the OEG (Ontological Engineering Group at UPM) experience, which describes precisely the merging casuistic and the actions to carry out in each case. In this first approach, the model covers only the taxonomy of concepts, attributes and relations

Descubrimiento automático de mappings en un caso de uso real con altas exigencias de certeza

Los sistemas de integración de información resuelven las diferencias entre las fuentes, en la mayoría de los casos, mediante la creación de mappings, puentes semánticos entre los elementos de las fuentes. Hasta ahora se han propuesto comparadores para generar un conjunto de mappings para cada par de elementos de las fuentes a integrar, y se han realizado estudios experimentales con ellos. El valor añadido del presente trabajo frente a los trabajos experimentales anteriores es que se ha llevado a cabo en un caso real embebido en una aplicación real (en el dominio geográfico) con altas exigencias de certeza

Estudio y formalización del proceso de mezcla de ontologías

Desde hace tiempo la mezcla de ontolog?as es una actividad necesaria, sin embargo, los actuales m?todos de mezcla de ontolog?as no tienen una casu?stica detallada ni una formalizaci?n precisa. Para la validaci?n de estos m?todos, es conveniente disponer de una casu?stica lo m?s completa posible. Por ello, en este art?culo se presenta el modelo OEGMerge, desarrollado a partir de la experiencia del Grupo de Ingenier?a Ontol?gica (OEG) de la UPM, en el que se describe detallada y formalmente la casu?stica de mezcla y las acciones a realizar en cada caso. En esta primera aproximaci?n s?lo se abarca taxonom?a de conceptos, atributos y relaciones

Distributional extensions of Carollia castanea and Micronycteris minuta from Guatemala, Central America

Field expeditions in 2011 that inventoried the terrestrial vertebrate fauna of two wildlife protected areas in the tropical Caribbean of Guatemala have produced the first confirmed records of two bats for the country: the white-bellied big-eared bat, Micronycteris (Schizonycteris) minuta (Gervais 1856) and the Chesnut short-tailed bat Carollia castanea H. Allen, 1890, both of neotropical distribution and with their current northern limit at Lancetilla, Honduras. The record of M. minuta at Sierra de Caral, Guatemala extends the range of this species 137 km to the west, and the record of C. castanea at Cerro San Gil extends its range 147 km to the west

Ontologías y Web Semántica 2005. Resumen del taller

En este artículo se resumen los resultados obtenidos en el taller “Ontologías y Web Semántica 2005”, que fue celebrado el día 14 de noviembre de 2005 en Santiago de Compostela, en el contexto de la Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA2005)

Factorization of strongly (p,sigma)-continuous multilinear operators

We introduce the new ideal of strongly-continuous linear operators in order to study the adjoints of the -absolutely continuous linear operators. Starting from this ideal we build a new multi-ideal by using the composition method. We prove the corresponding Pietsch domination theorem and we present a representation of this multi-ideal by a tensor norm. A factorization theorem characterizing the corresponding multi-ideal - which is also new for the linear case - is given. When applied to the case of the Cohen strongly -summing operators, this result gives also a new factorization theorem.D. Achour acknowledges with thanks the support of the Ministere de l'Enseignament Superieur et de la Recherche Scientifique (Algeria) under project PNR 8-U28-181. E. Dahia acknowledges with thanks the support of the Ministere de l'Enseignament Superieur et de la Recherche Scientifique (Algeria) [grant number 10/PG-FMI/2013] and the Universite de M'Sila (2013) for short term stage. P. Rueda acknowledges with thanks the support of the Ministerio de Economia y Competitividad (Spain) MTM2011-22417. E. A. Sanchez Perez acknowledges with thanks the support of the Ministerio de Economia y Competitividad (Spain) under project MTM2012-36740-C02-02.Achour, D.; Dahia, E.; Rueda, P.; Sánchez Pérez, EA. (2014). Factorization of strongly (p,sigma)-continuous multilinear operators. Linear and Multilinear Algebra. 62(12):1649-1670. doi:10.1080/03081087.2013.839677S164916706212Matter, U. (1987). Absolutely Continuous Operators and Super-Reflexivity. Mathematische Nachrichten, 130(1), 193-216. doi:10.1002/mana.19871300118Diestel, J., Jarchow, H., & Tonge, A. (1995). Absolutely Summing Operators. doi:10.1017/cbo9780511526138Pietsch, A. (1967). Absolut p-summierende Abbildungen in normierten Räumen. Studia Mathematica, 28(3), 333-353. doi:10.4064/sm-28-3-333-353Achour, D., & Mezrag, L. (2007). On the Cohen strongly p-summing multilinear operators. Journal of Mathematical Analysis and Applications, 327(1), 550-563. doi:10.1016/j.jmaa.2006.04.065Apiola, H. (1976). Duality between spaces ofp-summable sequences, (p, q)-summing operators and characterizations of nuclearity. Mathematische Annalen, 219(1), 53-64. doi:10.1007/bf01360858Sánchez PérezEA. Ideales de operadores absolutamente continuos y normas tensoriales asociadas [PhD Thesis]. Spain: Universidad Politécnica de Valencia; 1997.López Molina, J. A., & Sánchez Pérez, E. A. (2000). On operator ideals related to (p,σ)-absolutely continuous operators. Studia Mathematica, 138(1), 25-40. doi:10.4064/sm-138-1-25-40Cohen, J. S. (1973). Absolutelyp-summing,p-nuclear operators and their conjugates. Mathematische Annalen, 201(3), 177-200. doi:10.1007/bf01427941Mezrag, L., & Saadi, K. (2012). Inclusion and coincidence properties for Cohen strongly summing multilinear operators. Collectanea Mathematica, 64(3), 395-408. doi:10.1007/s13348-012-0071-2Achour, D., & Alouani, A. (2010). On multilinear generalizations of the concept of nuclear operators. Colloquium Mathematicum, 120(1), 85-102. doi:10.4064/cm120-1-7Mujica, X. (2008). τ(p;q)-summing mappings and the domination theorem. Portugaliae Mathematica, 211-226. doi:10.4171/pm/1806Campos, J. R. (2013). Cohen and multiple Cohen strongly summing multilinear operators. Linear and Multilinear Algebra, 62(3), 322-346. doi:10.1080/03081087.2013.779270Bu, Q., & Shi, Z. (2013). On Cohen almost summing multilinear operators. Journal of Mathematical Analysis and Applications, 401(1), 174-181. doi:10.1016/j.jmaa.2012.12.005Ryan, R. A. (2002). Introduction to Tensor Products of Banach Spaces. Springer Monographs in Mathematics. doi:10.1007/978-1-4471-3903-4Achour, D., & Belaib, M. T. (2011). Tensor norms related to the space of Cohen $p$-nuclear‎ ‎multilinear mappings. Annals of Functional Analysis, 2(1), 128-138. doi:10.15352/afa/1399900268Achour, D. (2011). Multilinear extensions of absolutely (p;q;r)-summing operators. Rendiconti del Circolo Matematico di Palermo, 60(3), 337-350. doi:10.1007/s12215-011-0054-2Dahia, E., Achour, D., & Sánchez Pérez, E. A. (2013). Absolutely continuous multilinear operators. Journal of Mathematical Analysis and Applications, 397(1), 205-224. doi:10.1016/j.jmaa.2012.07.034Botelho, G., Pellegrino, D., & Rueda, P. (2007). On Composition Ideals of Multilinear Mappings and Homogeneous Polynomials. Publications of the Research Institute for Mathematical Sciences, 43(4), 1139-1155. doi:10.2977/prims/1201012383Pellegrino, D., Santos, J., & Seoane-Sepúlveda, J. B. (2012). Some techniques on nonlinear analysis and applications. Advances in Mathematics, 229(2), 1235-1265. doi:10.1016/j.aim.2011.09.014Ramanujan, M. S., & Schock, E. (1985). Operator ideals and spaces of bilinear operators. Linear and Multilinear Algebra, 18(4), 307-318. doi:10.1080/03081088508817695Floret, K., & Hunfeld, S. (2002). Proceedings of the American Mathematical Society, 130(05), 1425-1436. doi:10.1090/s0002-9939-01-06228-

SW @ SPAIN

Executive Summary: This report provides information about the current state of the art in Semantic Web research in Spain. The contents of this report are mainly based on the information that was gathered during the workshop "Ontologías y Web Semántica 2005", which was held in Santiago de Compostela in November 2005, and the contributions that members from most of the research groups working in Semantic-Webrelated areas in Spain have provided. The field of Semantic Web is quite widespread in Spain, with important groups developing methods, techniques and tools to support different areas: Ontological Engineering, semantic extraction and annotation from heterogeneous sources, semantic search engines, personalisation and Semantic Web Services

Improving integrability via absolute summability: a general version of Diestel s Theorem

[EN] A classical result by J. Diestel establishes that the composition of a summing operator with a (strongly measurable) Pettis integrable function gives a Bochner integrable function. In this paper we show that a much more general result is possible regarding the improvement of the integrability of vector valued functions by the summability of the operator. After proving a general result, we center our attention in the particular case given by the -absolutely continuous operators, that allows to prove a lot of special results on integration improvement for selected cases of classical Banach spaces-including C(K), and Hilbert spaces-and operators-p-summing, (q, p)-summing and p-approximable operators.D. Pellegrino acknowledges with thanks the support of CNPq Grant 401735/2013-3 (Brazil). P. Rueda acknowledges with thanks the support of the Ministerio de Economia y Competitividad (Spain) MTM2011-22417. E.A. Sanchez Perez acknowledges with thanks the support of the Ministerio de Economia y Competitividad (Spain) MTM2012-36740-C02-02.Pellegrino, D.; Rueda, P.; Sánchez Pérez, EA. (2016). Improving integrability via absolute summability: a general version of Diestel s Theorem. Positivity. 20(2):369-383. https://doi.org/10.1007/s11117-015-0361-5S369383202Botelho, G., Pellegrino, D., Rueda, P.: A unified Pietsch domination theorem. J. Math. Anal. Appl. 365(1), 269–276 (2010)Defant, A., Floret, K.: Tensor norms and operator ideals. North-Holland, Amsterdam (1992)Diestel, J.: An elementary characterization of absolutely summing operators. Math. Ann. 196, 101–105 (1972)Diestel, J., Jarchow, H., Tonge, A.: Absolutely summing operators. Cambridge University Press, Cambridge (1995)Farmer, J., Johnson, W.B.: Lipschitz p-summing operators. Proc. Amer. Math. Soc. 137, 2989–2995 (2009)Jarchow, H.: Localy convex, spaces. Teubner, Stuttgart (1981)López Molina, J.A., Sánchez Pérez, E.A.: Ideales de operadores absolutamente continuos, Ciencias Exactas, Físicas y Naturales, Madrid. Rev. Real Acad. 87, 349–378 (1993)López Molina, J.A., Sánchez Pérez, E.A.: The associated tensor norm to $$(q, p)$$ ( q , p ) -absolutely summing operators on $$C(K)$$ C ( K ) -spaces. Czec. Math. J. 47(4), 627–631 (1997)López, J.A., Molina, Sánchez-Pérez, E.A.: On operator ideals related to $$(p,\sigma )$$ ( p , σ ) -absolutely continuous operator. Studia Math. 131(8), 25–40 (2000)Matter, U.: Absolute continuous operators and super-reflexivity. Math. Nachr. 130, 193–216 (1987)Pellegrino, D., Santos, J.: A general Pietsch domination theorem. J. Math. Anal. Appl. 375(1), 371–374 (2011)Pellegrino, D., Santos, J., Seoane-Sepúlveda, J.B.: Some techniques on nonlinear analysis and applications. Adv. Math. 229, 1235–1265 (2012)Pietsch, A.: Operator Ideals. Deutsch. Verlag Wiss., Berlin, 1978; North-Holland, Amsterdam-London-New York-Tokyo (1980)Pisier, G.: Factorization of operators through $$L_{p\infty }$$ L p ∞ or $$L_{p1}$$ L p 1 and noncommutative generalizations. Math. Ann. 276(1), 105–136 (1986)Rodríguez, J.: Absolutely summing operators and integration of vector-valued functions. J. Math. Anal. Appl. 316(2), 579–600 (2006

Infraestructura tecnológica de servicios semánticos para la Web Semántica

This project aims at creating a network of distributed interoperable semantic services for building more complex ones. These services will be available in semantic Web service libraries, so that they can be invoked by other systems (e.g., semantic portals, software agents, etc.). Thus, to accomplish this objective, the project proposes: a) To create specific technology for developing and composing Semantic Web Services. b) To migrate the WebODE ontology development workbench to this new distributed interoperable semantic service architecture. c) To develop new semantic services (ontology learning, ontology mappings, incremental ontology evaluation, and ontology evolution). d) To develop technological support that eases semantic portal interoperability, using Web services and Semantic Web Services. The project results will be open source, so as to improve their technological transfer. The quality of these results is ensured by a benchmarking process. Keywords: Ontologies and Semantic We