3597 search results - page 97 / 720 » Model-theoretic semantics for the web |
GCC
2003
Springer
15 years 3 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
103
click to vote
ECOWS
2006
Springer
15 years 1 months ago
2006
Springer
Emerging semantic web service description formalisms, such as OWL-S, allow for a definition of the semantic of services. Describing input and output types is not sufficient to dec...
BIOCOMP
2008
14 years 11 months ago
2008
- Integrating information about protein sequence and structure allows further exploration and establishment of protein sequence-structure-function relations. However, protein data ...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Enriching Web applications with personalized data is of major interest for facilitating the user access to the published contents, and therefore, for guaranteeing successful user ...
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
Although Semantic Web service discovery has been extensively studied in the literature ([7], [12], [15] and [10]), we are far from achieving an effective, complete and automated di...