Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

development

Joachim
2007-01-16
2013-04-05
  • Joachim
    Joachim
    2007-01-16

    Hi,

    I plan to use euler.py 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 euler.py:

    * 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?