[Pellet-Users] Security policies analysis using Pellet

[Victor Rodriguez-Herola]

Vladimir,
>
> The above emails will give you an idea of the current state of Pellet DL-safe. My research interests have gravitated towards using description logic reasoners to analyze web policies (e.g., WS-Poicy [1] or XACML) so I doubt that I'll have time to add new features to Pellet DL-safe (like builtins or new optimizations).
>   
This is a very interesting subject. I read some of the papers mentioned 
in the reference you gave a month ago and I found it a very good 
approach. I've started to do something similar but using XACML. I've 
managed to generated an ontology out of the XACML specifications 
(attached) and my intention was to generate some sample RDF-based 
policies and figure out how to better use Pellet for analyzing such 
policies. Have you done some trials with XACML. Do you see any 
advantages on using WS-Policy rather than XACML? Thanks in advance!

Cheers,
Victor
-------------- next part --------------
A non-text attachment was scrubbed...
Name: xacml_policy.owl
Type: text/xml
Size: 55761 bytes
Desc: not available
Url : http://lists.mindswap.org/pipermail/pellet-users/attachments/20061003/a90a6d18/attachment-0002.xml 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: xacml_context.owl
Type: text/xml
Size: 16636 bytes
Desc: not available
Url : http://lists.mindswap.org/pipermail/pellet-users/attachments/20061003/a90a6d18/attachment-0003.xml