Semantic Reasoning with Differentiable Graph Transformations

07/20/2021
by   Alberto Cetoli, et al.
18

This paper introduces a differentiable semantic reasoner, where rules are presented as a relevant set of graph transformations. These rules can be written manually or inferred by a set of facts and goals presented as a training set. While the internal representation uses embeddings in a latent space, each rule can be expressed as a set of predicates conforming to a subset of Description Logic.

READ FULL TEXT
research
11/01/2019

SHACL Constraints with Inference Rules

The Shapes Constraint Language (SHACL) has been recently introduced as a...
research
08/30/2018

Modeling OWL with Rules: The ROWL Protege Plugin

In our experience, some ontology users find it much easier to convey log...
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...
research
05/15/2022

Automating Defeasible Reasoning in Law

The paper studies defeasible reasoning in rule-based systems, in particu...
research
09/26/2019

Mathematical Reasoning in Latent Space

We design and conduct a simple experiment to study whether neural networ...
research
03/27/2018

Image Semantic Transformation: Faster, Lighter and Stronger

We propose Image-Semantic-Transformation-Reconstruction-Circle(ISTRC) mo...
research
10/23/2020

A Differentiable Relaxation of Graph Segmentation and Alignment for AMR Parsing

Abstract Meaning Representations (AMR) are a broad-coverage semantic for...

Please sign up or login with your details

Forgot password? Click here to reset