Several extensions of the Web Services Framework (WSF) have been proposed. The combination with Semantic Web technologies introduces a notion of semantics, which can enhance scalability through automation. Service composition to processes is an equally important issue. Ontology technology – the core of the Semantic Web – can be the central building block of an extension endeavour. We present a ...

We propose an extension of the Open API specification (OAS) for the semantic description of RESTful services. We suggest that API descriptions (eg. on Clouds) be semantically annotated by associating OAS entities to entities in an ontology. The new approach, referred to Semantic OAS (SOAS) eliminates ambiguities and produces descriptions of RESTful services that are understandable by both, huma...

The ongoing project which is described in this article pursues the integration and consolidation of drug data available in different Microsoft Office documents and existing information systems. An initial import of unstructured data out of five heterogeneous sources into a semantic wiki was performed using custom import scripts. Using Semantic MediaWiki and the Semantic Forms extension, we crea...

We present methods for image annotation and retrieval based on semantic cohesion among terms. On the one hand, we propose a region labeling technique that assigns an image the label that maximizes an estimate of semantic cohesion among candidate labels associated to regions in segmented images. On the other hand, we propose document representation techniques based on semantic cohesion among mul...

In this paper we show an approach to the customization of GermaNet to the German HPSG grammar lexicon developed in the Verbmobil project. GermaNet has a broad coverage of the German base vocabulary and fine grained semantic classification, while the HPSG grammar lexicon is comparatively small und has a coarse-grained semantic classification. In our approach, we have developed a mapping algorith...

Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design of a system for proof explanation on the Semantic Web, based on defe...

The Semantic Web is the extension of the World Wide Web that enables people to share content beyond the boundaries of applications and websites [10]. Although it is a relatively new concept, the first time the term was coined and printed in a fairly accessible place was in the year 2001 [20]. There are already many successful industrial applications that use Semantic Web technologies. This work...

Semantics methods have been used to prove cut elimination theorems for a long time. It is only recently that they have been extended to prove strong normalization results. For instance using the notion of super-consistency that is a semantic criterion for theories expressed in deduction modulo implying strong normalization. However, the strong normalization of System T has always been reluctant...

In this paper, we describe an extension to the UML-Guide for model driven navigation design of Semantic Web applications. The UML-Guide is used to specify platform independent navigation guides in web applications. We describe an OWL model for state machines which serves as a metamodel for semantic web descriptions of the navigation guides on the Semantic Web. Following the MDA approach, a stat...

Name disambiguation has become one of the main themes in the Semantic Web agenda. The semantic web is an extension of the current Web in which information is not only given well-defined meaning, but also has many purposes that contain the ambiguous naturally or a lot of thing came with the overlap, mainly deals with the persons name. Therefore, we develop an approach to extract keywords from we...