Grakn is a hyper-relational database for knowledge engineering. Rooted in Knowledge Representation and Automated Reasoning, Grakn provides the knowledge base foundation for intelligent/cognitive systems.
|Get Started||Documentation||Discussion||Join the Academy!|
|Whether you are new to programming or an experienced developer, it’s easy to learn and use Grakn. Get set up quickly with quickstart tutorial.||Documentation for Grakn’s development library and Graql language API, along with tutorials and guides, are available online. Visit our documentation portal.||When you’re stuck on a problem, collaborating helps. Ask your question on StackOverflow or discuss it in our Discussion Forum.||Learn everything from the basic foundations to advanced topics of knowledge engineering and be an expert. Join Grakn Academy.|
Meet Grakn and Graql
Grakn is a hyper-relational database for knowledge engineering. Rooted in Knowledge Representation and Automated Reasoning, Grakn provides the knowledge base foundation for intelligent/cognitive systems. Being a distributed system, Grakn is designed to be sharded and replicated over a network of computers. Under the hood, Grakn has built an expressive knowledge representation system based on hypergraph theory (a subfield in mathematics that generalises an edge to be a set of vertices) with a transactional query interface, Graql. Graql is Grakn’s reasoning (through OLTP) and analytics (through OLAP) declarative query language.
Grakn provides an enhanced entity-relationship schema to model complex datasets. The schema allows users to model type hierarchies, hyper-entities, hyper-relationships and rules. The schema can be updated and extended at any time in the database lifecycle. Hyper-entities are entities with multiple instances of a given attribute, and hyper-relationships are nested relationships, cardinality-restricted relationships, or relationships between any number of entities. This enables the creation of complex knowledge models that can evolve flexibly.
Grakn’s query language performs logical inference through deductive reasoning of entity types and relationships, to infer implicit facts, associations and conclusions in real-time, during runtime of OLTP queries. The inference is performed through entity and relationship type reasoning, as well as rule-based reasoning. This allows the discovery of facts that would otherwise be too hard to find, the abstraction of complex relationships into its simpler conclusion, as well as translation of higher level queries into the lower level and more complex data representation.
Grakn’s query language performs distributed Pregel and MapReduce (BSP) algorithms abstracted as OLAP queries. These types of queries usually require custom development of distributed algorithms for every use case. However, Grakn creates an abstraction of these distributed algorithms and incorporates them as part of the language API. This enables large scale computation of BSP algorithms through a declarative language without the need of implementing the algorithms.
With the expressivity of the schema, inference through OLTP and distributed algorithms through OLAP, Grakn provides strong abstraction over low-level data constructs and complicated relationships through its query language. The language provides a higher-level schema, OLTP, and OLAP query language, that makes working with complex data a lot easier. When developers can achieve more by writing less code, productivity rate increases by orders of magnitude.
- Unix-based Operating Systems (Linux and Mac OSX)
- Java 8 (OpenJDK or Oracle Java) with the $JAVA_HOME set accordingly
This product includes software developed by Grakn Labs Ltd. It's released under the GNU Affero GENERAL PUBLIC LICENSE, Version 3, 29 June 2007. For license information, please see LICENSE.txt. Grakn Labs Ltd also provides a commercial license for Grakn Enterprise KBMS - get in touch with our team at [email protected].
Copyright (C) 2016-2017 Grakn Labs Limited.