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
Line 1: Line 1:
Contact: Kasper Piskorski, [[Grakn]] <kasper@grakn.ai>
Contact: 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.

Revision as of 22:56, 14 November 2019

Contact: 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.