[Jdrew-all] Questions regarding RuleML status

[Bart Orriens]

Hello everyone,

I have a couple of questions concerning the status of RuleML as it stands right now. Hopefully you can provide me with (some of) the answers. The questions I have are the following:

Concerning RuleML itself:

* how are rule labels defined, and what does this look like in the POSL counterpart?
* is modality supported, if so which ones and how? (like modal logic, deontic logic, temporal logic)
* how are quantifiers expressed in POSL? 

Concerning OO jDREW:

* does the engine support strong negation already, i.e. 'Not'? and what about 'Naf'
* are priority statements of the type 'overrides' already supported?
* related to that, can rules be labelled already in OO jDREW?

Concerning Policy RuleML:

* has anything been happening in that regard, like an inital policy language?

I would be much obliged if you could answer one or more of these questions.

Kind regards,
Bart Orriens
=======================================
Drs. Bart Orriens          
B704, Tilburg University 	
PO Box 90153, 5000 LE Tilburg, 	 
The Netherlands
Phone : +31 13 4662779 
Fax   : +31 13 4663069                 
Email : b.orriens at uvt.nl
Web   : http://infolab.uvt.nl/~borriens   
=======================================