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

% translate and include OWL Facts
:-eval(assertOWL(
			"owl",								% OWL reasoner
			"dlp_full",  						% DLP full converter
			"examples/function_tests/owl/testdata/WineProjectOWL.owl")). % input file


% query all triples
:-solve(default_Red_Wine("default_Chianti")).
:-solve(default_Red_Wine("default_ChiChi")).


:-solve(default_Color("default_Chianti","Red")).
:-solve(default_Color("default_ChiChi","Red")).
