Sciweavers

404 search results - page 40 / 81
» Application of Linear Logic to Web Service Composition
Sort
View
SWAP
2008
15 years 1 months ago
Exploiting Semantic Technology in Computational Logic-based Service Contracting
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
Marco Alberti, Massimiliano Cattafi, Marco Gavanel...
JAPLL
2010
141views more  JAPLL 2010»
14 years 10 months ago
Algebraic tableau reasoning for the description logic SHOQ
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
Jocelyne Faddoul, Volker Haarslev
TABLEAUX
2005
Springer
15 years 5 months ago
Description Logics in Ontology Applications
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
Ian Horrocks
BROADNETS
2006
IEEE
15 years 3 months ago
Efficient Integration of Web Services in Ambient-aware Sensor Network Applications
Sensor webs are heterogeneous collections of sensor devices that collect information and interact with the environment. They consist of wireless sensor networks that are ensembles ...
Isaac Amundson, Manish Kushwaha, Xenofon D. Koutso...
CCGRID
2003
IEEE
15 years 5 months ago
Merging the CCA Component Model with the OGSI Framework
The most important recent development in Grid systems is the adoption of the Web services model as a basic architecture for Grid services. The result is called the Open Grid Servi...
Madhusudhan Govindaraju, Sriram Krishnan, Kenneth ...