Re: Accessing inferences and asserstions rather than just assertions

Posted by Jiba on
URL: http://owlready.306.s1.nabble.com/Accessing-inferences-and-asserstions-rather-than-just-assertions-tp144p149.html

> Do I need to sync the reasoner before creating the world? After? Sync the
> reasoner multiple times?
>
> Sync the reasoner and then save the ontology, then run the reasoner again??

No, just syncing the world once after everything is set up is OK.

You can try to add the following at the beginning of your program:

import owlready2
owlready2.set_log_level(9)

and run the reasoner in debug mode:

sync_reasoner(world, debug = 9)


In this mode, you should see on the output the new triples asserted. If no triple are inserted, there is a problem in the reasoning. Else, the problem is in the SPARQL request (are you sure the prefix is the right one?).


Jiba