[Pellet-users] reasoner.getIndividuals: Effects

[Michael Smith]

On Thu, 2008-07-03 at 13:30 +0000, izan wrote:
> 
> I'm having some trouble understanding the way Pellet works. I've got
> my ontology with some SWRL rules. In addition, at some point in my
> java program I do the following:
> 
> manager.applyChange( new AddAxiom( ontology, factory.getOWLClassAssertionAxiom(currentState,active)));
> reasoner.isConsistent(ontology);
> System.out.println(reasoner.getIndividuals(active, false));
> 
> As a result of the new axiom some of the rules should be executed, but
> they are not. However if I remove the System.out... sentence, they are
> executed. So I think I'm missing something about the
> reasoner.getIndividuals command that makes both executions different. 


How are you moving the System.out.println method call?

For us to help with this we will need to see the data (ontology and
rules) and a description of which individuals you expect to see as
"active".  Please send data along or post somewhere web accessible.

-- 
Mike Smith

Clark & Parsia