Testing a Logical Query Language: Difference between revisions

From Computer Laboratory Group Design Projects
Jump to navigationJump to search
No edit summary
No edit summary
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
Contact: Kasper Piskorski, [[Grakn]] <kasper@grakn.ai>
Contact: Joshua Send,  [[Grakn Labs]] <joshua@grakn.ai>; Kasper Piskorski, [[Grakn Labs]] <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.
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.

Latest revision as of 22:57, 14 November 2019

Contact: Joshua Send, Grakn Labs <joshua@grakn.ai>; Kasper Piskorski, Grakn Labs <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.