Go beyond connections. Build knowledge with meaning

Traditional graphs connect information. TypeDB captures the semantics behind those connections, allowing organisations to build knowledge graphs that remain expressive, consistent, and trustworthy as they evolve.

Try cloud for free
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15

define

  attribute name, value string;
  attribute object-type, value string;

  entity action,
    owns name @card(1),
    owns object-type @card(1..)
    plays segregation-policy:segregated-action @card(0..);

  relation segregation-policy,
    relates segregated-action @card(2);

Enterprise knowledge graphs for operational systems and AI

TypeDB combines semantic modelling, strong typing, and database-enforced integrity to help organisations build knowledge graphs they can rely on in production.

Meaningful relationships

Model interactions as they exist in the real world. Relationships can describe who was involved, what happened, and the context that surrounds them.

Semantic schemas

Build a shared understanding of your domain with entities, relationships, roles, and inheritance that reflect how the real world is organised.

Trusted knowledge

Ensure every fact conforms to your model, giving applications and AI a dependable source of truth.

Related articles

Why You Should use a DB with a Semantic Layer

Most databases store structure, not meaning. Learn how semantic layers preserve data integrity, enable query safety, and simplify complex systems.

Read article

TypeQL ACM Paper

Read the preprint of the paradigm-defining paper behind TypeQL, due to be published in Proceedings of the ACM on Management of Data.

Read paper

Queries as Functions

Functions provide powerful abstractions of query logic, which can be nested, recursed, or negated, and they natively embed into TypeQL's declarative patterns.

Read docs

A trusted foundation for AI agents

Large language models reason better when they interact with structured knowledge rather than disconnected documents.

TypeDB gives agents:

  • consistent entities
  • explicit relationships
  • validated facts
  • explainable queries
TypeDB Studio

Built for evolving knowledge

Knowledge is never static. As your organisation grows, TypeDB lets your domain model evolve without losing consistency or breaking the applications built on top of it.

  • Add new entity and relation types without redesigning the model.
  • Extend schemas through inheritance.
  • Keep applications aligned with a single semantic model.
  • Preserve integrity as knowledge changes over time.
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13

match 
  $submit isa action, has name "submit order";
  $approve isa action, has name "approve order";
insert 
  $seg isa segregation-policy (segregated-action: $submit, segregated-action: $approve);

match 
  $kevin isa user, has email "kevin@typedb.com";
insert 
  $perm isa permission-review (reviewer: $kevin, reviewee: $kevin);

A foundation for enterprise knowledge

Applications change. AI models evolve. Business processes are continually refined. A well-designed knowledge model provides continuity across them all. TypeDB gives organisations a shared semantic foundation that remains consistent as technology and requirements change.

Start building
Feedback