SWRL Tab: Too many inferred axioms

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

SWRL Tab: Too many inferred axioms

claire qiu
Hi,

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?


Best,
Claire

_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user
Reply | Threaded
Open this post in threaded view
|

Re: SWRL Tab: Too many inferred axioms

Martin O'Connor-2

I’d recommend using SQWRL to examine inferences:


Martin


On Jun 25, 2017, at 10:57 PM, claire Qiu <[hidden email]> wrote:

Hi,

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?


Best,
Claire
_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user


_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user