[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