[DL-Learner discussion] Mathematical Operator

[An C. T. <tca...@gm...>]

Hello all,

DLLearner currently supports <= and >= operator for double datatype 
property.
Would you like to explain me:

1. What is the equivalent operators in reasoner (e.g. Pellet) since we 
need to ask the reasoner for the set of examples covered by the expression?

2. How to make DLLearner supports other mathematical operations, e.g. 
mod, integer divide, etc?

Thank you.

Cheers,
An.