Semantic entailment of attribute-dependency formulas and their non-redundant bases

Proceedings of the 9th Joint Conference on Information Sciences, JCIS 2006

Volumn 2006, Issue , 2006, Pages

  Bělohlávek, Radim ^a   Vychodil, Vilém ^a  

^a PALACKÝ UNIVERSITY   (Czech Republic)

Author keywords

Attribute dependency; Formal concept analysis; Interior operators; Logic in computer science; Non redundant basis

Indexed keywords

COMPUTATIONAL METHODS; DATA PROCESSING; DECISION TABLES; REDUNDANCY;

ATTRIBUTE DEPENDENCY; FORMAL CONCEPT ANALYSIS; INTERIOR OPERATORS; LOGIC IN COMPUTER SCIENCE; NON-REDUNDANT BASIS;

SEMANTIC WEB;

EID: 33847756657     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.2991/jcis.2006.234     Document Type: Conference Paper

References (8)

1. Bělohlávek R., Sklenáǐ V.: Formal concept analysis constrained by attribute-dependency formulas. In: Ganter B., Godin R. (Eds.): ICFCA 2005, LNCS 3403, pp. 176-191, Springer-Verlag, Berlin/Heidelberg, 2005.
2. Carpineto C., Romano G.: Concept Data Analysis. Theory and Applications. J. Wiley, 2004.
3. Diognon J.-P., Falmagne J.-C.: Knowledge Spaces. Springer, Berlin, 1999.
4. Ganter B., Wille R.: Formal Concept Analysis. Mathematical Foundations. Springer, Berlin, 1999.
5. Ganter, Wille: Contextual attribute logic. In: Tepfenhart W., Cyre W. (Eds.): Proceedings of ICCS 2001, Springer, 2001.
6. Guigues J.L., Duquenne V.: Familles minimales d'implications informatives resultant d'un tableau de données binaires. Math. Sci. Humaines 95(1986), 5-18.
7. Lloyd, J.W.: Foundations of Logic Programming (2nd ed.). Springer-Verlag, New York, 1987.
8. Maier D.: The Theory of Relational Databases. Computer Science Press, Rockville, 1983.