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



% answer query
:-solve(rdf("examples/function_tests/owl/testdata/WineProjectOWL.owl","rdfs",Subject,"rdf_type", "http://www.owl-ontologies.com/unnamed.owl#Wine")). 

% turn namespace mapping off for query output
:-solve(nsMapping(off)).
:-solve(rdf("./rules/function_tests/owl/testdata/WineProjectOWL.owl","transitive",Subject,"rdfs_subClassOf", "default_Wine")). 
:-solve(nsMapping(on)).

% use cache to answer query
%:-solve(cacheSize(-1)). % turn cache off
:-solve(rdf("./rules/function_tests/owl/testdata/WineProjectOWL.owl","rdfs",Subject,"rdf_type", "default_Red_Wine")). 

% large query
%:-solve(rdf("./rules/function_tests/owl/testdata/WineProjectOWL.owl","",Subject,"rdf_type", Object)). 

