RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools

09/16/2019
by   Cristina Cornelio, et al.
0

Logical rules are a popular knowledge representation language in many domains, representing background knowledge and encoding information that can be derived from given facts in a compact form. However, rule formulation is a complex process that requires deep domain expertise, and is further challenged by today's often large, heterogeneous, and incomplete knowledge graphs. Several approaches for learning rules automatically, given a set of input example facts, have been proposed over time, including, more recently, neural systems. Yet, the area is missing adequate datasets and evaluation approaches: existing datasets often resemble toy examples that neither cover the various kinds of dependencies between rules nor allow for testing scalability. We present a tool for generating different kinds of datasets and for evaluating rule learning systems.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/29/2020

Building Rule Hierarchies for Efficient Logical Rule Learning from Knowledge Graphs

Many systems have been developed in recent years to mine logical rules f...
research
08/27/2019

Datalog Reasoning over Compressed RDF Knowledge Bases

Materialisation is often used in RDF systems to derive, in a preprocessi...
research
06/07/2023

Revisiting Inferential Benchmarks for Knowledge Graph Completion

Knowledge Graph (KG) completion is the problem of extending an incomplet...
research
11/10/2017

Optimised Maintenance of Datalog Materialisations

To efficiently answer queries, datalog systems often materialise all con...
research
10/15/2021

LPRules: Rule Induction in Knowledge Graphs Using Linear Programming

Knowledge graph (KG) completion is a well-studied problem in AI. Rule-ba...
research
09/06/2018

Logical Rule Induction and Theory Learning Using Neural Theorem Proving

A hallmark of human cognition is the ability to continually acquire and ...
research
09/18/2019

Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees

Given a set of Datalog rules, facts, and a query, answers to the query c...

Please sign up or login with your details

Forgot password? Click here to reset