OpenAlex
A logic-algebraic tool for reasoning with Knowledge-Based Systems
Work