Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[p4-feedback] "re-running" reasoner?

Martin Kuba makub at
Tue Jan 3 23:44:25 PST 2012

Dne 3.1.2012 21:05, Santamaria, Suzanne napsal(a):
> When I run the reasoner on an ontology in Protégé 4.1 and then make a change to the ontology and save the file, the only way I can get the reasoner to run again is by closing the file and reopening
> it. Is there a way to “re-run” the reasoner without having to do this?


the menu item "Reasoner - Synchronize reasoner" re-runs the reasoner.

Best regards

CERIT-SC                               Martin Kuba
Institute of Computer Science    email: makub at
Masaryk University   
Botanicka 68a, 60200 Brno, CZ     mobil: +420-603-533775

More information about the p4-feedback mailing list