protegeproject / protege-distribution

Build files for the protege distribution that includes 3rd party plugins
BSD 2-Clause "Simplified" License
125 stars 39 forks source link

Problem in Data Property inference with swrl in protegé #46

Open andredemori opened 1 year ago

andredemori commented 1 year ago

I wrote a SWRL rule in this way:

Guarani(?g)->AmphibiousSpeed(?g,45) I already have a class Guarani and a data property AmphibiousSpeed. I already created an individual guarani0.

It feels like after reasoning the data property of a should be 45.

However there is no data property for guarani0.

I already enabled the data properties inferences in Preferences and I tested Protegé 5.1 and 5.6 but it is not working.

andredemori commented 1 year ago

I solved this question using Pellet reasoner. It is not working with HermiT