- From: Graham Klyne <GK-lists@ninebynine.org>
- Date: Mon, 23 May 2005 12:16:32 +0100
- To: Somaya Aboulwafa <somaya_ahmad@yahoo.com>, public-owl-dev@w3.org
This doesn't directly answer your question, but... Your goal sounds to me rather like the IHMC KaOS project, which I understand uses DAML (precursor of OWL) extensively: http://www.ihmc.us/research/projects/KAoS/ [[ The Knowledgeable Agent-oriented System (KAoS) provides services that help assure that agents from different developers and running on diverse platforms will always operate within the bounds of established policies and will be continually responsive to human control so that they can be safely deployed in operational settings. ]] FWIW, KaOS used JTP -- see http://www.ihmc.us/research/projects/KAoS/SemanticWeb03.pdf #g -- At 04:18 22/05/05 -0700, Somaya Aboulwafa wrote: >Hi, > >I want to use OWL for representing security polices, more specifically >authorization and access control polices. So I have searching for OWL >inference engine that can reason over those polices. And I have found a >lot of owl reasoners: > * Java Theorem Prover (JTP) > * Pellet > * Fact > * F-OWL > * <?xml:namespace prefix = st1 ns = > "urn:schemas-microsoft-com:office:smarttags" />Jena 2 > * RACER > * SweetRules >Have you any idea which is the most appropriate one for me??? anyone have >any recommendations???? > > > >Thanks in advance > >Somaya > >__________________________________________________ >Do You Yahoo!? >Tired of spam? Yahoo! Mail has the best spam protection around >http://mail.yahoo.com ------------ Graham Klyne For email: http://www.ninebynine.org/#Contact
Received on Monday, 23 May 2005 12:14:02 UTC