[Pellet-users] reasoner.getIndividuals: Effects

izan quetecallesolatz at yahoo.es
Thu Jul 3 13:30:16 UTC 2008


Hi there,
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. 

Thanks for your help
Izan




      ______________________________________________ 
Enviado desde Correo Yahoo! La bandeja de entrada más inteligente.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080703/69a38af5/attachment.htm 


More information about the Pellet-users mailing list