:-use_module(library(trill)). :- trill. % or :- trillp. or :- tornado. /* This knowledge base is an extract of the Vicodi knowledge base that contains information on European history. http://www.vicodi.org/ */ /** ?- prob_instanceOf('vicodi:Role','vicodi:Anthony-van-Dyck-is-Painter-in-Flanders',Prob). ?- instanceOf('vicodi:Role','vicodi:Anthony-van-Dyck-is-Painter-in-Flanders',ListExpl). ?- prob_sub_class('vicodi:Painter','vicodi:Role',Prob). ?- sub_class('vicodi:Painter','vicodi:Role',ListExpl). */ owl_rdf(' ]> 0.85 0.8 0.5 0.9 0.9 ').