Re: [DL-Learner discussion] Mathematical Operator

[Jens L. <le...@in...>]

Hello,

Am 25.01.2012 07:13, schrieb An C. Tran:
> 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?

This can be done via facets:
http://www.w3.org/TR/owl2-syntax/#Data_Property_Restrictions

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

As far as I know, existing reasoners do not support those features. 
Including it in DL-Learner would require adding/extending a reasoning 
mechanism, which does support them.

Kind regards,

Jens

-- 
Dr. Jens Lehmann
Head of AKSW/MOLE group, University of Leipzig
Homepage: http://www.jens-lehmann.org
GPG Key: http://jens-lehmann.org/jens_lehmann.asc