Power of Inference: symbolic reasoning with TypeDB in future applications

One of the byproducts of symbolic AI research, and the specialized knowledge-based system derived from it, is a powerful capability made available for general purpose use by TypeDB – inference. TypeDB's built-in reasoning engine, a technology previously found only in knowledge-based systems, enables it to infer data on the fly by applying logical rules to existing data – and in turn, allows developers to query highly interconnected data without having to specify where or how to make the connections.

In this webinar, we'll explain how TypeDB's reason engine uses backward chaining and logical rules to infer new data when running queries. We'll then take a deep dive into writing rules and how they can be used to infer new attributes and relations on the fly. Finally, we'll show how a combination of rules can be used to simplify queries by creating a simple abstraction on top of otherwise complex data.