Mining EL Bases with Adaptable Role Depth

by   Ricardo Guimarães, et al.

In Formal Concept Analysis, a base for a finite structure is a set of implications that characterizes all valid implications of the structure. This notion can be adapted to the context of Description Logic, where the base consists of a set of concept inclusions instead of implications. In this setting, concept expressions can be arbitrarily large. Thus, it is not clear whether a finite base exists and, if so, how large concept expressions may need to be. We first revisit results in the literature for mining EL bases from finite interpretations. Those mainly focus on finding a finite base or on fixing the role depth but potentially losing some of the valid concept inclusions with higher role depth. We then present a new strategy for mining EL bases which is adaptable in the sense that it can bound the role depth of concepts depending on the local structure of the interpretation. Our strategy guarantees to capture all EL concept inclusions holding in the interpretation, not only the ones up to a fixed role depth.


page 1

page 2

page 3

page 4


Average Size of Implicational Bases

Implicational bases are objects of interest in formal concept analysis a...

On the Usability of Probably Approximately Correct Implication Bases

We revisit the notion of probably approximately correct implication base...

REMI: Mining Intuitive Referring Expressions on Knowledge Bases

A referring expression (RE) is a description that identifies a set of in...

Rewriting rules for arithmetics in alternate base systems

For alternate Cantor real base numeration systems we generalize the resu...

Logic characterisation of p/q-recognisable sets

Let p/q be a rational number. Numeration in base p/q is defined by a fun...

Computing sets of graded attribute implications with witnessed non-redundancy

In this paper we extend our previous results on sets of graded attribute...

Linear Guardedness and its Implications

Previous work on concept identification in neural representations has fo...

Please sign up or login with your details

Forgot password? Click here to reset