Sciweavers

413 search results - page 16 / 83
» Providing an Uncertainty Reasoning Service for Semantic Web ...
Sort
View
SEMWEB
2004
Springer
15 years 5 months ago
Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment
In this paper we describe our experience in applying KAoS services to ensure policy compliance for Semantic Web Services workflow composition and enactment. We are developing thes...
Andrzej Uszok, Jeffrey M. Bradshaw, Renia Jeffers,...
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 4 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
IAT
2006
IEEE
15 years 5 months ago
Dynamic Service Composition and Selection through an Agent Interaction Protocol
This paper addresses the dynamic service selection and composition issues for the satisfaction of user requirements. We propose an approach in which agents perform service composi...
Yasmine Charif-Djebbar, Nicolas Sabouret
DLOG
2004
15 years 1 months ago
Pellet: An OWL DL Reasoner
Reasoning capability is of crucial importance to many applications developed for the Semantic Web. Description Logics provide sound and complete reasoning algorithms that can effe...
Evren Sirin, Bijan Parsia
ESWS
2008
Springer
15 years 1 months ago
GRISINO - An Integrated Infrastructure for Semantic Web Services, Grid Computing and Intelligent Objects
Future information, knowledge and content infrastructures which provide highly automated support in fulfilling users goals will most likely rely on some form of GRID computing. In ...
Ioan Toma, Tobias Bürger, M. Omair Shafiq, Da...