includehasValue():-println(["include hasValueRule.prova"]).
%:-eval(includehasValue()).
:-eval(hasValue()).

hasValue():-
	owl_hasValue(X,Y),
	owl_onProperty(X,Z),
	X(I),
	assert(Z(I,Y)),
	println(["hasValue add :",Z(I,Y)]).
