Title :
Relational Reasoning in Formal Concept Analysis
Author :
Golinska-Pilarek, Joanna ; Orlowska, Ewa
Author_Institution :
Nat. Inst. of Telecommun., Warsaw
Abstract :
We show that a logical formalism of binary relations can serve as a tool for specification and verification of a variety of tasks in the formal concept analysis.
Keywords :
algebraic specification; relational algebra; binary relations; formal concept analysis; relational reasoning; task specification; task verification; Algebra; Cost accounting; Data structures; Information systems; Logic functions; Relational databases; Terminology;
Conference_Titel :
Fuzzy Systems Conference, 2007. FUZZ-IEEE 2007. IEEE International
Conference_Location :
London
Print_ISBN :
1-4244-1209-9
Electronic_ISBN :
1098-7584
DOI :
10.1109/FUZZY.2007.4295512