CODEWITHSUNDEEP
semantic-webowlprotege
heshjse
heshjse

Reputation: 910

Start reasoner is not enabled in Protege menu

I created entities, classes, object properties and all in protege(4.3.0) but the start reasoner item in the menu is disabled. Do i need to do anything to active start reasoner?

Upvotes: 3

Views: 6159

Answers (1)

Joshua Taylor
Joshua Taylor

Reputation: 85883

In this tutorial on YouTube, 4:28, notice that there are three items in the Reasoner menu at the bottom: FaCT++, HermiT 1.3.8, and None. In the video, HermiT 1.3.8 is selected. You have to select one of the reasoners before you can do Start Reasoner. FaCT++ and HermiT are just different OWL reasoners. Pellet is another that you can use with Protégé, although you'll have to install the plugin.

Upvotes: 7

Related Questions