SO-QA

Query Answering Over Knowledge Graphs Using Second-Order Theories

Supporting sound and complete query answering over knowledge graphs under very complex classes of rules has been a long-standing problem in AI. This is the first technique to support query answering under second-order rules with equality in the order of milliseconds. The technique has been implemented on top of the RDFOX’s Java API and has been developed in collaboration with Oxford Semantics Technologies.

Repository

Goal Driven QA

Relevant publications

2024

  1. arXiv
    Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
    Efthymia Tsamoura, and Boris Motik
    2024
    arXiv Code

2018

  1. AAAI
    Goal-Driven Query Answering for Existential Rules With Equality
    Michael Benedikt*, Boris Motik*, and Efthymia Tsamoura*
    In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018
    DOI arXiv Code

2017

  1. PODS
    Benchmarking the Chase
    Michael Benedikt*, George Konstantinidis*, Giansalvatore Mecca*, Boris Motik*, Paolo Papotti*, Donatello Santoro*, and Efthymia Tsamoura*
    In Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS), Chicago, IL, USA, May 14-19, 2017
    DOI Code