Check for cycles in basic.owl using souffle.#2125

Draft

balhoff wants to merge 3 commits intomasterfrom issue-1829

+52

Commits on Oct 22, 2021

Commits on Dec 9, 2021

Improve cycle detector to report paths.
balhoff
committed