On Jun 25, 2017, at 10:57 PM, claire Qiu <[hidden email]> wrote:
After I click Run Drools, it generated 1813 inferred axioms. It takes to much time to go through all of them to find the one I want.
How can I quickly find the inferred axiom I expected? is there any quick search method?
protege-user mailing list