Ontology Reasoning with Deep Neural Networks

Patrick Hohenecker, Thomas Lukasiewicz
8/24/2018
cs.AI

Official code: phohenecker/family-tree-data-gen (15 stars, last commit 2020-03-17). 1 more implementation below.

Abstract

The ability to conduct logical reasoning is a fundamental aspect of intelligent human behavior, and thus an important problem along the way to human-level artificial intelligence. Traditionally, logic-based symbolic methods from the field of knowledge representation and reasoning have been used to equip agents with capabilities that resemble human logical reasoning qualities. More recently, however, there has been an increasing interest in using machine learning rather than logic-based symbolic formalisms to tackle these tasks. In this paper, we employ state-of-the-art methods for training deep neural networks to devise a novel model that is able to learn how to effectively perform logical reasoning in the form of basic ontology reasoning. This is an important and at the same time very natural logical reasoning task, which is why the presented approach is applicable to a plethora of important real-world problems. We present the outcomes of several experiments, which show that our model is able to learn to perform highly accurate ontology reasoning on very large, diverse, and challenging benchmarks. Furthermore, it turned out that the suggested approach suffers much less from different obstacles that prohibit logic-based symbolic reasoning, and, at the same time, is surprisingly plausible from a biological point of view.

View on arXivView PDF

Code Implementations(2)

A dataset generator for family tree data.

154ASP, ShellAug 30, 20186 years agoNOASSERTION
python3

A dataset generator for the countries data.

50ASP, ShellSep 1, 20188 years agoNOASSERTION
python3

Similar Papers

Cite this paper

@article{hohenecker2018ontology,
  title  = {Ontology Reasoning with Deep Neural Networks},
  author = {Patrick Hohenecker and Thomas Lukasiewicz},
  year   = {2018},
  eprint = {1808.07980},
  archivePrefix = {arXiv},
  url    = {https://arxiv.org/abs/1808.07980}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/1808.07980.svg)](https://codeofpaper.com/paper/1808.07980)

Discussion