includeallValuesFrom():-println(["include allValuesFromRule.prova"]).
%:-eval(includeallValuesFrom()).
:-eval(allValuesFrom()).

allValuesFrom():-
	owl_allValuesFrom(X,Y),
	owl_onProperty(X,Z),
	Z(I,J),
	X(J),
	assert(Y(J)),
	println(["allValuesFrom add :",Y(J)]).
