:-eval(consult('ContractLog/owl.prova')).

% translate and include OWL Facts
:-eval(assertOWL(
			"",									    % no reasoner
			["triple","subject","predicate","object"],  % translation pattern
			"examples/function_tests/owl/testdata/WineProjectOWL.owl")). % input file

% query all triples
:-solve(triple(Subject,Predicate,Object)).

