Joachim - 2007-01-16


I plan to use for a policy engine on a Nokia 770 PDA. But discovered that there are  some functionalities which have not been implemented, compared to the CWM N3 reasoner. I would like to add the functionality I need myself but would require your help probably.

So, is development on euler still alive?

These are the functionalities I would like to add to

* variable evaluation for predicates (e.g. used for owl:inverseOf rule)
* some builtins cwm has but euler doesn't for time: os: and list: prefixes
* the log:semantics of cwm (don't know how complex this would be)
* overcome the all statements of a formula in a line limitation for the python implementation.

What do you think?