In this tutorial, attendees will learn what reasoning is, what it can do to transform data, and crucially, how to do that themselves. After a brief theoretical introduction to the subject, attendees will be expected to get hands-on with a reasoning engine in order to learn how to set up a reasoning-ready datastore, and how to reason over it using Datalog rules. No prior experience is required as we will run through the process step-by-step, start to finish.
Over the course of the tutorial attendees will learn:
How to import data into a knowledge graph
How to run a simple query
How to write a rule
How to apply and verify the rules they write
Each topic will first be demonstrated to the students so they can copy an ideal example and see the intended results. Then they will be given the opportunity to apply their new learned skills without immediate direction, writing rules and queries by themselves. If at any point a participant requires some assistance, the lecturers will be on hand to help, whether that requires a minor hint, a refresh of the material, or gentle guidance. Anyone of any skill level should leave this class knowing what reasoning is and how to implement it, so individual support is flexible depending on the needs of the group.
Software and other requirements:
Windows 8+, Mac OS 10.14+, Centos 7+, Ubuntu 16.04+