1171 search results - page 84 / 235 » A Logical Language for Expressing Authorizations |
173
Voted
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We introduce description logic (DL) rules as a new rule-based formalism for knowledge representation in DLs. As a fragment of the Semantic Web Rule Language SWRL, DL rule...
148
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds t...
167
click to vote
ERSHOV
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
181
click to vote
AIMSA
2008
Springer
16 years 15 days ago
2008
Springer
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
145
click to vote
C5
2008
IEEE
16 years 19 days ago
2008
IEEE
End-user scripting languages are relatively easy to learn, but have limited expressive power. Tile-based scripting systems are particularly accessible to beginners, but usually ar...