Re: Accessing inferences and asserstions rather than just assertions

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

Also, when I 'export my ontology with inferred axioms as ontology' in protege, and run owlready2 on that file, I get the expected results (asserted + inferred).....so somewhere along the line the Hermit reasoner used by owlready2 is not being synced