Testing a Logical Query Language: Difference between revisions

From Computer Laboratory Group Design Projects
Jump to navigationJump to search
(Created page with "Contact: Kasper Piskorski, Grakn <kasper@grakn.ai> Graql is Grakn's query language. It is a declarative query language inspired by logic programming languages, performs r...")
 
No edit summary
Line 1: Line 1:
Contact: Kasper Piskorski, [[Grakn]] <kasper@grakn.ai>
Contact: Kasper Piskorski, [[Grakn]] <kasper@grakn.ai>


Graql is Grakn's query language. It is a declarative query language inspired by logic programming languages, performs real-time deductive reasoning on knowledge graphs. Although theoretical properties of query languages can be ascertained formally, it is important to be able to test language implementations for theoretical conformance and validity. Your task is to build a system to test Graql's implementation for soundness and completeness with respect to its logical semantics. If successful, your code will be contributed back to Grakn's open-source repositories.
Graql is a declarative query language inspired by logic programming languages for performing real-time deductive reasoning on knowledge graphs in Grakn. Theoretical properties of query languages can be verified formally, but it is also important to be able to test language implementations for conformance. Your task is to build an automated system for testing Graql's implementation and interrogating the results, either against a formal semantics for the language or via a more pragmatic approach. If successful, your code will be contributed back to Grakn's open-source repositories.

Revision as of 22:01, 8 November 2019

Contact: Kasper Piskorski, Grakn <kasper@grakn.ai>

Graql is a declarative query language inspired by logic programming languages for performing real-time deductive reasoning on knowledge graphs in Grakn. Theoretical properties of query languages can be verified formally, but it is also important to be able to test language implementations for conformance. Your task is to build an automated system for testing Graql's implementation and interrogating the results, either against a formal semantics for the language or via a more pragmatic approach. If successful, your code will be contributed back to Grakn's open-source repositories.