Open nazmulhasan202 opened 2 years ago
Which reasoner are you referring to?
I would post this question to the Protege mailing list:
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: @.***>
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)