Did you know ... Search Documentation:
SWI-Prolog owl logoDisjunction resulting in different joins (implemented as a SQL UNION)