What we're about

👋👋 Welcome to the Vaticle Community!

This group gathers TypeDB Users and explorers to share valuable experiences and knowledge. You’ll find events on techniques for knowledge engineering, representation and automated reasoning as well as various use cases and applications being produced by our community. We’ll host deep dives into the technical aspects of TypeDB and our query language, TypeQL; community presentations and panels; as well as share exclusive opportunities to share your work with the world.

*********

👓 Read more on our blog
🚀 Start building on GitHub
👩‍👩‍👦‍👦 Join the conversation on Discord
🎥 Watch presentations on YouTube

Upcoming events (4)

TypeDB Academy | Modelling Principles

Network event

Link visible for attendees

Talk Synopsis
Join the TypeDB community to learn how we think about data modelling, and how TypeDB's expressivity allows you to model your domain based on logical and object-oriented principles.

Good for:

  • Engineers, scientists, and technical executives
  • Those in a technical field working with complex datasets, and building intelligent systems
  • Anyone curious to learn about the expressive power of TypeDB's data model

Description:
We open this training with an exploration into what a schema looks like in TypeDB, starting with clarifying the motivation for the conceptual model in TypeDB, and its relationship to the Enhanced Entity-Relationship model.
Then we break things down a bit more philosophically, delving into: what does it mean to represent data in TypeDB, and how TypeDB allows you to think higher-level, as opposed to join-tables, columns, documents, vertices, edges, and properties.

Takeaways:

  • Be able to articulate why TypeDB's data model is so beneficial for complex data, and why we use it to build intelligent systems
  • Write a TypeDB schema in TypeQL
  • Practice modelling one of your own domains

Tomás Sabat:
Tomás is the Chief Operating Officer at Vaticle, dedicated to building a strongly-typed database for intelligent systems. He works directly with TypeDB's open source and enterprise users so they can fulfil their potential with TypeDB and change the world. He focuses mainly in life sciences, cyber security, finance and robotics.

*************

Learn more about TypeDB here, and find us on GitHub.

TypeDB Academy | Inference with Rules

Network event

Link visible for attendees

Talk Synopsis
Build your skills and learn how TypeDB's native inference engine works.

Good for:

  • Beginners to TypeDB and TypeQL
  • Those who have been using TypeDB and want a refresher on inference in TypeDB
  • Experienced software engineers
  • Those who want to better represent their domain in a model that allows for logical reasoning at the database level

Description:
TypeDB is capable of reasoning over data via pre-defined rules. TypeQL rules look for a given pattern in the database and when found, infer the given queryable fact. The inference provided by rules is performed at query (run) time. Rules not only allow shortening and simplifying of commonly-used queries, but also enable knowledge discovery and implementation of business logic at the database level.

Takeaways:

  • Understanding of fundamental components of TypeDB's inference engine and how to write rules for your domain
  • Write at least 1 rule for your use case
  • Utilise the rule you wrote in a query

Speaker: Tomás Sabat
Tomás is the Chief Operating Officer at Vaticle, dedicated to building a strongly-typed database for intelligent systems. He works directly with TypeDB's open source and enterprise users so they can fulfil their potential with TypeDB and change the world. He focuses mainly in life sciences, cyber security, finance and robotics.

******

Learn more about TypeDB here, and find us on GitHub.

Introduction to TypeDB and TypeQL | A Strongly-Typed Database

Network event

Link visible for attendees

Talk Synopsis
TypeDB is a strongly-typed database. It provides a rich and logical type system which breaks down complex problems into meaningful and logical systems, using TypeQL as its query language.

TypeDB allows you to model your domain based on logical and object-oriented principles. Composed of entity, relationship, and attribute types, as well as type hierarchies, roles, and rules, TypeDB allows you to think higher-level, as opposed to join-tables, columns, documents, vertices, and edges.

Types describe the logical structures of your data, allowing TypeDB to validate that your code inserts and queries data correctly. Query validation goes beyond static type-checking, and includes logical validation of meaningless queries. With strict type-checking errors, you have a dataset that you can trust.

Finally, TypeDB encodes your data for logical interpretation by its reasoning engine. It enables type-inference and rule-inference, which create logical abstractions of data. This allows for the discovery of facts and patterns that would otherwise be too hard to find.

With these abstractions, queries in the tens to hundreds of lines in SQL or NoSQL databases can be written in just a few lines in TypeQL – collapsing code complexity by orders of magnitude.

Join Tomás from the Vaticle team where he'll discuss the origins of TypeDB, the impetus for inventing a new query language, TypeQL, and why we are so excited about the future of software and intelligent systems.

Tomás Sabat:
Tomás is the Chief Operating Officer at Vaticle, dedicated to building a strongly typed database for intelligent systems. He works directly with TypeDB's open source and enterprise users so they can fulfil their potential with TypeDB and change the world. He focuses mainly in life sciences, cyber security, finance and robotics.

*******

Learn more about TypeDB here, and find us on GitHub.
Read more about knowledge graphs here.

Graph Databases vs TypeDB | What You Can't do With Graphs

Network event

Link visible for attendees

Talk Synopsis
Developing with graph databases has a number of challenges, such as the modelling of complex schemas, and maintaining data consistency in your database.

In this talk, we discuss how TypeDB addresses these challenges, as well as how it compares to property graph databases. We’ll look at how to read and write data, how to model complex domains, and TypeDB’s ability to infer new data.

The main differences between TypeDB and graph databases can be summarised as:

  1. TypeDB provides a concept-level schema with a type system that fully implements the Entity-Relationship (ER) model. Graph databases, on the other hand, use vertices and edges without integrity constraints imposed in the form of a schema
  2. TypeDB contains a built-in inference engine - graph databases don’t provide native inferencing capabilities
  3. TypeDB is an abstraction over a graph, and leverages a graph database under the hood to create a higher-level model, while graph databases work at different levels of abstraction

Speaker: Tomás Sabat
Tomás is the Chief Operating Officer at Vaticle. He works closely with TypeDB's open source and enterprise users who use TypeDB to build applications in a wide number of industries including financial services, life sciences, cyber security and supply chain management. A graduate of the University of Cambridge, Tomás has spent the last seven years founding and building businesses in the technology industry.

********
Learn more about TypeDB here, and find us on GitHub.

Past events (176)

Beyond SQL | Comparing SQL to TypeQL

This event has passed

Photos (92)