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 ics.muni.cz
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?

Hi,

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

Best regards

Martin
-- 
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
CERIT-SC                               Martin Kuba
Institute of Computer Science    email: makub at ics.muni.cz
Masaryk University             http://www.ics.muni.cz/~makub/
Botanicka 68a, 60200 Brno, CZ     mobil: +420-603-533775
--------------------------------------------------------------


More information about the p4-feedback mailing list