includeintersectionOf():-println(["include intersectionOfRule.prova"]).
%:-eval(includeintersectionOf()).
:-eval(intersectionOf()).

intersectionOf():-
	%owl_intersectionOf(X,Y),
	%rdfsyntax_rest(Y,Z),
	%rdfsyntax_first(Y,C),
	%X(I),
	%assert(C(I)),
	%assert(Z(I)),
	rdfs_List(Y),
	println(["intersectionOf add :",Y]).
