Sciweavers

5818 search results - page 285 / 1164
» A reasonable Semantic Web
Sort
View
SEMWEB
2007
Springer
16 years 1 months ago
HealthFinland - Finnish Health Information on the Semantic Web
This paper shows how semantic web techniques can be applied to solving problems of distributed content creation, discovery, linking, aggregation, and reuse in health information po...
Eero Hyvönen, Kim Viljanen, Osma Suominen
CSL
1995
Springer
15 years 11 months ago
Deduction by Combining Semantic Tableaux and Integer Programming
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
Bernhard Beckert, Reiner Hähnle
CORR
1998
Springer
66views Education» more  CORR 1998»
15 years 7 months ago
Textual Economy through Close Coupling of Syntax and Semantics
We focus on the productionof efficient descriptionsof objects, actions and events. We define a type of efficiency, textualeconomy, thatexploitsthe hearer’s recognitionof infe...
Matthew Stone, Bonnie L. Webber
SEMWEB
2007
Springer
16 years 1 months ago
Towards Scalable Information Spaces
Abstract. Recent work in the field of middleware technology proposes semantic spaces as a tool for coping with the scalability, heterogeneity and dynamism issues of large scale di...
Reto Krummenacher, Elena Paslaru Bontas Simperl, D...
ECOWS
2006
Springer
15 years 11 months ago
On the Evaluation of Semantic Web Service Matchmaking Systems
Semantic Web Services are generally considered as the evolution of conventional Web Services. Semantic information included in the service descriptions enables the development of ...
Vassileios Tsetsos, Christos Anagnostopoulos, Stat...