# Semantic Entailment of Attribute-dependency Formulas and Their Non-redundant Bases

@inproceedings{Belohlvek2006SemanticEO, title={Semantic Entailment of Attribute-dependency Formulas and Their Non-redundant Bases}, author={Radim Belohl{\'a}vek and Vil{\'e}m Vychodil}, booktitle={JCIS}, year={2006} }

AD-formulas are simple formulas representing particular dependencies in data tables. We study AD-formulas from the logical point of view. In particular, we present results regarding the relationship of AD-formulas to attribute implications, models and entailment of AD-formulas, non-redundant bases, and computation of non-redundant bases.

## 8 Citations

### COMPLETENESS OF INFERENCE AND EFFICIENT COMPUTATION OF ATTRIBUTE-DEPENDENCY FORMULAS FOR TABULAR DATA

- Computer Science
- 2007

Armstrong-like rules and a completeness theorem for reasoning with AD-formulas, and an efficient algorithm for extraction of a non-redundant basis of all AD- formulas from data, are presented.

### Adding background knowledge to formal concept analysis via attribute dependency formulas

- Computer ScienceSAC '08
- 2008

The main aim is to make extraction of clusters from the input data more focused by taking into account the background knowledge, so that only clusters which are compatible with thebackground knowledge are extracted from data.

### Fuzzy Implication and Functional Dependency on Formal Context

- Computer ScienceJurnal Matematika Integratif
- 2019

This work shows difference and equivalence condition between fuzzy implication and fuzzy functional dependency and uses Armstrong's rule to define soundness and completeness of the implication and fuzzy functional dependency model.

### FORMAL CONCEPT ANALYSIS WITH CONSTRAINTS BY EM OPERATORS

- Computer Science
- 2017

The main aim is to make extraction of concepts from the input data more focused by taking into account the background knowledge, and only concepts which are compatible with the constraint are extracted from data.

### Formal Concept Analysis with Constraints by EM Operators

- Computer Science
- 2017

The main aim is to make extraction of concepts from the input data more focused by taking into account the background knowledge, and only concepts which are compatible with the constraint are extracted from data.

### Formal Concept Analysis With Background Knowledge: Attribute Priorities

- Computer ScienceIEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews)
- 2009

An approach to modeling background knowledge that represents user's priorities regarding attributes and their relative importance is presented, which means that the number of formal concepts presented to the user may get significantly reduced and the user is supplied with relevant formal concepts only and is not overloaded by a large number of possibly nonrelevant formal concepts.

### Knowledge Spaces, Attribute Dependencies, and Graded Knowledge States

- Computer Science2007 IEEE International Fuzzy Systems Conference
- 2007

A definition of dependencies and validity of dependencies in knowledge spaces with graded knowledge states, provide selected properties of the dependencies, and a lemma which serves as a bridge to existing results on so-called fuzzy attribute implications are proposed.

### Akademie věd České republiky Teze doktorské disertačńı práce k źıskáńı vědeckého titulu“doktor věd” ve skupine věd “fyzikálně-matematické vědy” Concept lattices and attribute implications from data with fuzzy attributes komise pro obhajoby doktorských disertaćı v oboru “informati

- 2006

Akademie vědČeské republiky Teze doktorské disertační práce k získání vědeckého titulu " doktor věd " ve skupine věd " fyzikálně-matematické vědy " Concept lattices and attribute implications from…

## References

SHOWING 1-10 OF 14 REFERENCES

### Formal Concept Analysis Constrained by Attribute-Dependency Formulas

- Computer ScienceICFCA
- 2005

This work proposes a method to reduce the number of extracted formal concepts by means of constraints expressed by particular formulas (attribute-dependency formulas, ADF), an algorithm for generating the reduced set of formal concepts, and demonstrating examples.

### Contextual Attribute Logic

- Computer Science, PhilosophyICCS
- 1999

Basic notions and results of a Contextual Attribute Logic are surveyed and a common theory of cumulated clauses is presented for algorithmically computing bases of those logics.

### Formal Concept Analysis

- Computer Science, PhilosophySpringer Berlin Heidelberg
- 1999

FCA explicitly formalises extension and intension of a concept, their mutual relationships, and the fact that increasing intent implies decreasing extent and vice versa, and allows to derive a concept hierarchy from a given dataset.

### Formal Concept Analysis: Mathematical Foundations

- Computer Science
- 1998

From the Publisher:
This is the first textbook on formal concept analysis. It gives a systematic presentation of the mathematical foundations and their relation to applications in computer science,…

### Concept data analysis - theory and applications

- Computer Science
- 2004

Mining the Content of the ACM Digital Library and MiningWeb Retrieval Results with CREDO: Theoretical Foundations and Applications.

### The Theory of Relational Databases

- Physics
- 1983

1. The method of operating a water-cooled neutronic reactor having a graphite moderator which comprises flowing a gaseous mixture of carbon dioxide and helium, in which the helium comprises 40-60…

### Familles minimales d'implications informatives résultant d'un tableau de données binaires

- Computer Science
- 1986

Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale, toute copie ou impressions de ce fichier doit contenir la présente mention de copyright.

### [Formal concept analysis].

- PhysicsCasopis lekaru ceskych
- 1996

In the present paper the authors show in detail howormal Concept Analysis can be applied to the study of results obtained in clinical practice.