×

Power contexts and their concept lattices. (English) Zbl 1233.68207

Summary: We introduce a framework for the study of formal contexts and their lattices induced by the additional structure of self-relations on top of the traditional incidence relation. The induced contexts use subsets as objects and attributes, hence the name power context and power concept. Six types of new incidence relations are introduced by taking into account all possible combinations of universal and existential quantifiers as well as the order of the quantifications in constructing the lifted power contexts. The structure of the power concept lattice is investigated through projection mappings from the baseline objects and attributes to those of the power context, respectively. We introduce the notions of extensional consistency and intensional consistency, corresponding to the topological notions of continuity in the analogous setting when concepts are viewed as closed sets. We establish Galois connections for these notions of consistency. We further introduce the notion of faithfulness for the first type of lifted incidence relation based on the fact that it can be equivalently characterized by a concept-faithful morphism. We also present conditions under which the power concept lattice serves as a factor lattice of the base concept lattice.

MSC:

68T30 Knowledge representation
06A15 Galois correspondences, closure operators (in relation to ordered sets)
06B23 Complete lattices, completions
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Birkhoff, G., Lattice Theory, 25 (1967), Amer. Math. Soc. Coll. Publ.: Amer. Math. Soc. Coll. Publ. Providence, RI
[2] Bělohlávek, R., Similarity relations in concept lattices, J. Logic Comput., 10, 6, 823-845 (2000) · Zbl 0972.06008
[3] Bělohlávek, R., Concept lattices and order in fuzzy logic, Ann. Pure Appl. Logic, 128, 277-298 (2004) · Zbl 1060.03040
[4] R. Bělohlávek, J. Dvořák, J. Outrata, Fast factorization of concept lattices by similarity: solution and an open problem, in: V. Snášel, R. Bělohlávek (Eds.), Proceedings of Concept Lattices and their Applications, CLA, Ostrava, Czech Republic, 2004, pp. 47-57.; R. Bělohlávek, J. Dvořák, J. Outrata, Fast factorization of concept lattices by similarity: solution and an open problem, in: V. Snášel, R. Bělohlávek (Eds.), Proceedings of Concept Lattices and their Applications, CLA, Ostrava, Czech Republic, 2004, pp. 47-57.
[5] R. Bělohlávek, V. Sklenář, J. Zacpal, Concept lattices constrained by equivalence relations, in: Proceedings of Concept Lattices and their Applications, CLA, Ostrava, Czech Republic, 2004, pp. 58-66.; R. Bělohlávek, V. Sklenář, J. Zacpal, Concept lattices constrained by equivalence relations, in: Proceedings of Concept Lattices and their Applications, CLA, Ostrava, Czech Republic, 2004, pp. 58-66. · Zbl 1053.68097
[6] Burusco, A.; Fuentes-Gonzalez, R., The study of the \(L\)-fuzzy concept lattice, Mathware Soft Comput., 3, 209-218 (1994) · Zbl 0827.06004
[7] Davey, B.; Priestley, H., Introduction to Lattices and Order (2002), Cambridge University Press · Zbl 1002.06001
[8] M. Erné, Categories of contexts, University of Hannover, 1990.; M. Erné, Categories of contexts, University of Hannover, 1990.
[9] Formica, A., Ontology-based concept similarity in formal concept analysis, Inform. Sci., 176, 2624-2641 (2006) · Zbl 1102.68657
[10] Ganter, B., Relational galois connections, (Kuznetsov, S. O.; Schmidt, S., ICFCA 2007. ICFCA 2007, LNCS, LNAI, vol. 4390 (2007), Springer: Springer Heidelberg), 1-17 · Zbl 1187.06002
[11] Ganter, B.; Wille, R., Formal Concept Analysis: Mathematical Foundations (1999), Springer · Zbl 0909.06001
[12] Kaiser, T.; Schmidt, S.; Joslyn, C., Adjusting annotated taxonomies, Internat. J. Found. Comput. Sci., 19, 2, 345-358 (2008) · Zbl 1156.68584
[13] B. Kiraly, An experimental application of formal concept analysis to research communities, M.Sc. Thesis, Department of EECS, Case Western Reserve University, January 2009.; B. Kiraly, An experimental application of formal concept analysis to research communities, M.Sc. Thesis, Department of EECS, Case Western Reserve University, January 2009.
[14] Krajči, S., A generalized concept lattice, Log. J. IGPL, 13, 5, 543-550 (2005) · Zbl 1088.06005
[15] Krajči, S., A categorical view at generalized concept lattices, Kybernetika, 43, 2, 255-264 (2007) · Zbl 1132.06300
[16] S. Krajči, J. Krajčiová, Social network and one-sided fuzzy concept lattices, in: FUZZ-IEEE 2007, the IEEE International Conference on Fuzzy Systems, London, 2007, pp. 222-227.; S. Krajči, J. Krajčiová, Social network and one-sided fuzzy concept lattices, in: FUZZ-IEEE 2007, the IEEE International Conference on Fuzzy Systems, London, 2007, pp. 222-227.
[17] M. Krötzsch, Morphisms in logic, topology, and formal concept analysis, M.Sc. Thesis, Dresden University of Technology, 2005.; M. Krötzsch, Morphisms in logic, topology, and formal concept analysis, M.Sc. Thesis, Dresden University of Technology, 2005.
[18] Krötzsch, M.; Hitzler, P.; Zhang, G.-Q., Morphisms in context, (Dau, F.; Mugnier, M. L.; Stumme, G., Conceptual Structures: Common Semantics for Sharing Knowledge, Proceedings of ICCS 2005. Conceptual Structures: Common Semantics for Sharing Knowledge, Proceedings of ICCS 2005, LNAI, vol. 3596 (2005), Springer), 223-237 · Zbl 1132.68756
[19] Medina, J.; Ojeda-Aciego, M.; Ruiz-Calviño, J., Formal concept analysis via multi-adjoint concept lattices, Fuzzy Sets and Systems, 160, 2, 130-144 (2009) · Zbl 1187.68589
[20] Meschke, C., Approximations in concept lattices, (Kwuida, L.; Sertkaya, B., ICFCA 2010. ICFCA 2010, LANI, vol. 5986 (2010)), 104-123 · Zbl 1274.06022
[21] Pollandt, S., Fuzzy Begriffe (1997), Springer-Verlag: Springer-Verlag Berlin, Heidelberg · Zbl 0870.06008
[22] Reuter, K.; Wille, R., Complete congruence relations of concept lattices, Acta Sci. Math., 51, 319-327 (1987) · Zbl 0668.06005
[23] Troy, A.; Zhang, G.-Q., Beyond pubmed and google scholar: using vertical digital libraries to enhance exploratory biomedical literature mining, Int. J. Comput. Sci., 2, 678-689 (2008)
[24] Troy, A.; Zhang, G.-Q.; Tian, Y., Faster concept analysis, (Proc. 15th International Conference on Conceptual Structures: Knowledge Architectures for Smart Application. Proc. 15th International Conference on Conceptual Structures: Knowledge Architectures for Smart Application, Lecture Notes In Artificial Intelligence, vol. 4604 (2007)), 206-219
[25] Valtchev, P.; Missaoui, P.; Godin, R., Formal concept analysis for knowledge discovery and data mining: the new challenges, (Eklund, P., Concept Lattices: Proceedings of the Second International Conference on Formal Concept Analysis. Concept Lattices: Proceedings of the Second International Conference on Formal Concept Analysis, LNCS, vol. 2961 (2004), Springer Verlag: Springer Verlag Berlin), 352-371 · Zbl 1198.68246
[26] Wille, R., Restructuring lattice theory: an approach based on hierarchies of concepts, (Rival, I., Ordered Sets (1982), Reidel: Reidel Dordrecht, Boston), 445-470
[27] G.-Q. Zhang, Chu spaces, concept lattices, and domains, in: 19th Conference on the Mathematical Foundations of Programming Semantics, Electron. Notes Theor. Comput. Sci. vol. 83, Montreal, Canada, March 19-22, 2003, 2004, 17 pages.; G.-Q. Zhang, Chu spaces, concept lattices, and domains, in: 19th Conference on the Mathematical Foundations of Programming Semantics, Electron. Notes Theor. Comput. Sci. vol. 83, Montreal, Canada, March 19-22, 2003, 2004, 17 pages.
[28] G.-Q. Zhang, Social network concept analysis, NIST ITL Seminar Series, July 1st, 2008.; G.-Q. Zhang, Social network concept analysis, NIST ITL Seminar Series, July 1st, 2008.
[29] G.-Q. Zhang, What is a research community—a mathematical approach using formal concept analysis, in: The International Sunbelt Social Network Conference, Sunbelt XXIX, San Diego, March 10-15, 2009.; G.-Q. Zhang, What is a research community—a mathematical approach using formal concept analysis, in: The International Sunbelt Social Network Conference, Sunbelt XXIX, San Diego, March 10-15, 2009.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.