Officially out now: The TypeDB 3.0 Roadmap

Concepts overview

TypeQL can be used for polymorphic queries with patterns containing concept variables and value variables. A concept variable can represent any type or data instance in a database. To limit the set of possible concepts represented by a concept variable, add constraints with TypeQL keywords, like sub, isa, has, etc.

Types

Root types and type hierarchy, abstract types.

Data instances

Data representation in TypeQL.

Concept variables

Query variables to represent types and data.