Dave, thanks for your answer. Do you mind completing it by answering the following points ?
- Do you think modal operators behavior can be simulated thanks to custom builtins ? - What functionalities must be added to the general purpose engine to extend it into a modal reasonner ? - Even if it is no longer related to Jena, could you cite some reasonners using modal logic ? Thanks, LB
