swrlapi icon indicating copy to clipboard operation
swrlapi copied to clipboard

"swrlb:greaterThan" is not working in Protégé

Open nazmulhasan202 opened this issue 3 years ago • 2 comments

The following SWRL rule can not be processed by the reasoner in Protégé even though the systax status is shown OK (as indicated in the image). The reasoner stops working with the following rule. If the following rule is deleted then the reseaoner works fine.

Person(?p) ^ hasAge(?p, ?age) ^ swrlb:greaterThan(?age, 17) -> Adult(?p)

Screenshot

nazmulhasan202 avatar Jun 13 '22 03:06 nazmulhasan202

Which reasoner are you referring to?

I would post this question to the Protege mailing list:

https://protege.stanford.edu/support.php

martinjoconnor avatar Jun 13 '22 23:06 martinjoconnor

I was using HermiT and faced that problem. Later, I installed the Pellet reasoner and the problem was solved. [image: image.png]

Regards, Nazmul Hasan Ph.D. Student and Graduate Assistant Department of Systems and Industrial Engineering University of Arizona

On Mon, Jun 13, 2022 at 4:51 PM martinjoconnor @.***> wrote:

External Email

Which reasoner are you referring to?

I would post this question to the Protege mailing list:

https://protege.stanford.edu/support.php

— Reply to this email directly, view it on GitHub https://github.com/protegeproject/swrlapi/issues/79#issuecomment-1154558956, or unsubscribe https://github.com/notifications/unsubscribe-auth/ARHNM3LADPOOIITHJHDCAYTVO7CPHANCNFSM5YSYOGLQ . You are receiving this because you authored the thread.Message ID: @.***>

nazmulhasan202 avatar Jun 13 '22 23:06 nazmulhasan202