SWI-Prolog Did You Know Did you know? SWI-Prolog has a Graphic Debugger Search Documentation:
Predicate owl_individual_of/2

Sorry, No manual entry for owl_individual_of/2