Reasoning Services for the Semantic Grid

The Grid aims to support secure, flexible and coordinated resource sharing through providing a middleware platform for advanced distributing computing. Consequently, the Grid’s infrastructural machinery aims to allow collections of any kind of resources—computing, storage, data sets, digital libraries, scientific instruments, people, etc—to easily form Virtual Organisations (VOs) that cross organisational boundaries in order to work together to solve a problem. A Grid depends on understanding the available resources, their capabilities, how to assemble them and how to best exploit them. Thus Grid middleware and the Grid applications they support thrive on the metadata that describes resources in all their forms, the VOs, the policies that drive then and so on, together with the knowledge to apply that metadata intelligently

Evaluating Knowledge Representation and Reasoning Capabilites of Ontology Specification Languages

The interchange of ontologies across the World Wide Web (WWW) and the cooperation among heterogeneous agents placed on it is the main reason for the development of a new set of ontology specification languages, based on new web standards such as XML or RDF. These languages (SHOE, XOL, RDF, OIL, etc) aim to represent the knowledge contained in an ontology in a simple and human-readable way, as well as allow for the interchange of ontologies across the web. In this paper, we establish a common framework to compare the expressiveness of "traditional" ontology languages (Ontolingua, OKBC, OCML, FLogic, LOOM) and "web-based" ontology languages. As a result of this study, we conclude that different needs in KR and reasoning may exist in the building of an ontology-based application, and these needs must be evaluated in order to choose the most suitable ontology language(s)

Generalized externality games: economic applications.

This paper analyzes two specific economic problems: The division of profits between associated firms and the distribution of cost of a public good. We tackle these problems using game theoretic techniques. To do so, a new c1ass of games in characteristic function form, called Generalizad Externality Games is defined in this paper. Sorne attractive features of this c1ass of games are that the core is non-empty and that these new games there seems to be a connection with relational goods.Cooperative Games; Balanced Games; Core; Coob-Douglas Production; Public Goods; Relations Goods;

Guidelines to Study Differences in Expressiveness between Ontology Specification Languages: A Case Of Study

We focus on our experiences on translating ontologies between two ontology languages, FLogic and Ontolingua, in the framework of Methontology and ODE. Rather than building "ad hoc" translators between languages or using KIF, our option consists of translating through ODE intermediate representations. So, we have built direct translators from ODE intermediate representations to Ontolingua and FLogic, and we have also built reverse translators from these two languages to ODE intermediate representations. Expressiveness of the target languages is the main feature to analyse when automatically generating ontologies from ODE intermediate representations. Therefore, we analyse the expressiveness of Ontolingua and FLogic for creating classes, instances, relations, functions and axioms, which are the essential components in ontologies. The motivation for this analysis can be found in the (KA)² initiative and can be easily extended to any other domains and languages

VPOET: Using a Distributed Collaborative Platform for Semantic Web Applications

This paper describes a distributed collaborative wiki-based platform that has been designed to facilitate the development of Semantic Web applications. The applications designed using this platform are able to build semantic data through the cooperation of different developers and to exploit that semantic data. The paper shows a practical case study on the application VPOET, and how an application based on Google Gadgets has been designed to test VPOET and let human users exploit the semantic data created. This practical example can be used to show how different Semantic Web technologies can be integrated into a particular Web application, and how the knowledge can be cooperatively improved.Comment: accepted for the 2nd International Symposium on Intelligent Distributed Computing - IDC'2008. September 18-20, 2008, Catania, Ital

Asymptotic behavior of the Schr\"odinger-Debye system with refractive index of square wave amplitude

We obtain local well-posedness for the one-dimensional Schr\"odinger-Debye interactions in nonlinear optics in the spaces $L^2\times L^p,\; 1\le p < \infty$. When $p=1$ we show that the local solutions extend globally. In the focusing regime, we consider a family of solutions $\{(u_{\tau}, v_{\tau})\}_{\tau>0}$ in $H^1\times H^1$ associated to an initial data family $\{(u_{\tau_0},v_{\tau_0})\}_{\tau>0}$ uniformly bounded in $H^1\times L^2$, where $\tau$ is a small response time parameter. We prove prove that $(u_{\tau}, v_{\tau})$ converges to $(u, -|u|^2)$ in the space $L^{\infty}_{[0, T]}L^2_x\times L^1_{[0, T]}L^2_x$ whenever $u_{\tau_0}$ converges to $u_0$ in $H^1$ as long as $\tau$ tends to 0, where $u$ is the solution of the one-dimensional cubic non-linear Schr\"odinger equation with initial data $u_0$. The convergence of $v_{\tau}$ for $-|u|^2$ in the space $L^{\infty}_{[0, T]}L^2_x$ is shown under compatibility conditions of the initial data. For non compatible data we prove convergence except for a corrector term which looks like an initial layer phenomenon