protege-distribution icon indicating copy to clipboard operation
protege-distribution copied to clipboard

Problem in Data Property inference with swrl in protegé

Open andredemori opened this issue 1 year ago • 1 comments

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 avatar Aug 01 '23 19:08 andredemori

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

andredemori avatar Aug 01 '23 19:08 andredemori