Sciweavers

106 search results - page 1 / 22
» Policy Analysis Using a Hybrid Semantic Reasoning Engine
Sort
View
48
Voted
POLICY
2007
Springer
15 years 3 months ago
Policy Analysis Using a Hybrid Semantic Reasoning Engine
Kris Verlaenen, Bart De Win, Wouter Joosen
MOBIQUITOUS
2007
IEEE
15 years 3 months ago
Using Semantic Policies to Reason over User Availability
— According to the IETF definition, “presence conveys the ability and willingness of a user to communicate across a set of devices”. In this paper we use semantic techniques ...
Sandford Bessler, Joachim Zeiss
DLOG
1997
14 years 10 months ago
Experiments with the DFL Hybrid System
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
Mira Balaban, Adi Eyal
SEMWEB
2010
Springer
14 years 7 months ago
OWL-POLAR: Semantic Policies for Agent Reasoning
Abstract. Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agent-based systems. A few ...
Murat Sensoy, Timothy J. Norman, Wamberto Weber Va...
ENTCS
2008
100views more  ENTCS 2008»
14 years 9 months ago
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. C...