AI Chat AI Image Generator AI Video Text to Speech

Axiom Pinpointing

03/18/2020

∙

by Rafael Penaloza, et al.

∙

∙

Axiom pinpointing refers to the task of finding the specific axioms in an ontology which are responsible for a consequence to follow. This task has been studied, under different names, in many research areas, leading to a reformulation and reinvention of techniques. In this work, we present a general overview to axiom pinpointing, providing the basic notions, different approaches for solving it, and some variations and applications which have been considered in the literature. This should serve as a starting point for researchers interested in related problems, with an ample bibliography for delving deeper into the details.

page 1

page 2

page 3

page 4

research

∙ 05/25/2018

Consequence-Based Axiom Pinpointing

Axiom pinpointing refers to the problem of finding the axioms in an onto...

0 Ana Ozaki, et al. ∙

research

∙ 05/03/2023

An Ontology Design Pattern for Role-Dependent Names

We present an ontology design pattern for modeling Names as part of Role...

0 Rushrukh Rayan, et al. ∙

research

∙ 02/18/2020

An Overview of Distance and Similarity Functions for Structured Data

The notions of distance and similarity play a key role in many machine l...

0 Santiago Ontañón, et al. ∙

research

∙ 07/21/2021

Theory and Practice of Algorithm Engineering

There is an ongoing debate in computer science how algorithms should bes...

0 Jan Mendling, et al. ∙

research

∙ 03/31/2023

Understanding Reinforcement Learning Algorithms: The Progress from Basic Q-learning to Proximal Policy Optimization

This paper presents a review of the field of reinforcement learning (RL)...

0 Mohamed-Amine Chadi, et al. ∙

research

∙ 12/03/2018

Feature Extraction for Temporal Signal Recognition: An Overview

Due to the huge progress of the recording devices, data from heterogeneo...

0 Imad Rida, et al. ∙