IBM / ULKBView on GitHub
A HOL-based framework for reasoning over knowledge graphs
27Sep 17, 2025Updated 10 months ago

Alternatives and similar repositories for ULKB

Users that are interested in ULKB are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

Sorting:

Are these results useful?