Pellet stuck in initiliaztion
47 views
Skip to first unread message
Sumitosh Pal
Apr 19, 2021, 12:15:35 PM4/19/21
to Pellet Users
Hello,
I am new to pellet reasoner and using protege to run the SemSur.owl ontology from
https://github.com/saidfathalla/SemSur but its stuck in initialization.
After opening Semsur.owl on Protege and running with Pellet reasoner, the log shows
INFO 10:35:36 ------------------------------- Running Reasoner -------------------------------
INFO 10:35:36 Pre-computing inferences:
INFO 10:35:36 - class hierarchy
INFO 10:35:36 - object property hierarchy
INFO 10:35:36 - data property hierarchy
INFO 10:35:36 - class assertions
INFO 10:35:36 - object property assertions
INFO 10:35:36 - same individuals
INFO 10:35:36 Pre-computing inferences:
INFO 10:35:36 - class hierarchy
INFO 10:35:36 - object property hierarchy
INFO 10:35:36 - data property hierarchy
INFO 10:35:36 - class assertions
INFO 10:35:36 - object property assertions
INFO 10:35:36 - same individuals
and than it doesn't end.
Can someone point me why is the reasoner stuck?
Reply all
Reply to author
Forward
0 new messages