1 Introduction
Biclustering is a popular family of data analysis techniques within clusteranalysis. Previously biclustering was known under the names direct clustering or subspace clustering
[1]. The term biclustering was proposed by Boris Mirkin in [2], p. 296:The term biclustering refers to simultaneous clustering of both row and column sets in a data matrix. Biclustering addresses the problems of aggregate representation of the basic features of interrelation between rows and columns as expressed in the data.
The main advantage of biclustering technique lies in its ability to keep similarity of grouped objects in terms of their common attributes. So, biclustering is able to capture object similarity (homogeneity) expressed only by a subset of attributes, which allows an analyst to clearly see why certain objects were grouped together.
In the previous decade biclustering methods became extremely popular for gene expression analysis analysis in bioinformatics. Here, genes which demonstrate similar properties only in a subset of observable situations are considered to be within a bicluster along with those situations. The first rather comprehensive survey in the field was done in [3]. Even though the survey was limited only to biclustering in bioinformatics, the field came to its maturity to have its own classification of the methods. The authors classified biclustering techniques according to several properties: biclustering type, biclustering structure, the way of bicluster generation, and the algorithmic strategy.
As it often happens, researchers from the bioinformatics domain overlooked or even rediscovered biclustering methods which have been known for decades. Thus, the notion of formal concept was known since the early 80s [4], it corresponds to maximal inclusion unit submatrices in Boolean matrices [5, 6, 7]. The idea of closed sets from Formal Concept Analysis and from frequent itemset mining were not considered in the bioinformatics domain. However, there are numerous efficient algorithms and applications, which can be treated as special cases of biclusteringbased ones. To the best of our knowledge there is no any biclustering technique mentioned in bioinformatics which exploits ordered bicluster hierarchies. Thus, in Formal Concept Analsis, biclusters (formal concepts) are hierarchically ordered by the relation “be more general concept than”, which proved its helpfulness for data exploration and taxonomy building in different domains.
The aim of this work is twofold: on the one hand, we are going to shed light on neighbouring domains where biclustering is actively used, and on the other hand build latticebased taxonomies using the existing classifications of biclustering algorithms in the literature. The main open question in this work is as follows: How to build a unified taxonomy of the biclustering techniques.
The rest of the paper is organised as follows. In Section 2, we shortly review previous work on biclustering, taxonomies of algorithms, and related fields. In Section 3 we give basic definitions of FCA and biclustering (in the most general form). In Section 5 we outline several existing biclustering extensions under the the name of multimodal clustering. Section 4 is the main part of the paper which provides examples of different taxonomies of biclustering algorithms obtained from the literature.
2 Previous work
Construction of taxonomies of algorithms in Computer Science is not new. Thus, in [8, 9] a taxonomy of string matching algorithms was built guided by domain experts according to TABASCO methodology. In those papers, it was shown that concept lattices can be a good visualisation tool paired with interactive abilities of modern computer software. Moreover, concept lattices were successfully used for epistemic taxonomy building [10] combining multiple inheritance feature with compact graphical representation.
In addition to the existing term biclustering, there are several others like coclustering or simultaneous clustering. Triclustering, Triadic FCA, multimodal clustering, clustering of Boolean tensors, closed nsets, relational clustering and several other techniqes are all examples of possible biclustering extensions.
3 Basic definitions and models
3.1 Formal Concept Analysis
Definition 1
A formal context consists of two sets and and a relation between and . The elements of are called the objects and the elements of are called the attributes of the context. The notation or means that the object has attribute .
Definition 2
For , let
and, for , let
These operators are called derivation operators or conceptforming operators for .
Proposition 1
Let be a formal context, for subsets and we have

iff ,

,

(hence, ),

,

.
Similar properties hold for subsets of attributes.
Definition 3
A closure operator on set is a mapping with the following properties:

(idempotency)

(extensity)

(monotonicity)
For a closure operator the set is called closure of .
A subset is called closed if .
Let be a context, one can prove that operators
are closure operators.
Definition 4
A formal concept of a formal context is a pair with , , and . The sets and are called the extent and the intent of the formal concept , respectively. The subconceptsuperconcept relation is given by iff ().
This definition says that every formal concept has two parts, namely, its extent and intent. This follows an old tradition of the Logic of Port Royal (1662), and is in line with the International Standard ISO 704 that formulates the following definition: “A concept is considered to be a unit of thought constituted of two parts: its extent and its intent.”
Definition 5
The set of all formal concepts of a context together with the order relation forms a complete lattice, called the concept lattice of and denoted by .
Definition 6
Implication , where holds in context if , i.e., each object having all attributes from also has all attributes from .
3.2 Biclustering
In the first survey on biclustering techniques [3], bicluster is defined as a submatrix of an input objectattribute matrix. That is for a given matrix , a bicluster is a pair , where and . The bicluster should fulfil a certain homogeneity property, which varies from method to method, e.g., it may be allowed to contain only 1s inside the corresponding submatrix (bicluster) in Boolean case.
For instance, for analysing large markets of context advertisement, we propose the following FCAbased definition of a bicluster [11, 12].
Definition 7
If , then is called an objectattribute or OAbicluster with density .
Here are some basic properties of oabiclusters.
Proposition 2
1. .
2. oabicluster is a formal concept iff .
3. if is a oabicluster, then .
In figure 1 you can see the example of the oabicluster for a particular pair of a certain context . In general, only the regions and are full of nonempty pairs, i.e. have maximal density , since they are object and attribute formal concepts respectively. Some black cells indicate nonempty pairs which one may found in such a bicluster. Therefore, the density parameter is a bicluster quality measure which shows how many nonempty pairs the bicluster contains.
Definition 8
Let be a oabicluster and be a nonnegative real number, such that , then is called dense if it satisfies the constraint .
4 Existing taxonomies and their analysis
Since formal concept is a natural notion of bicluster for Boolean data and was rediscovered or reused in bioinformatics, one may suppose that the taxonomy of FCA algorithms is a part of the taxonomy of biclustering algorithms. In fact, paper [13] proposed such a taxonomy (see fig.2).
The classification properties of the concept lattice building algorithms encoded as follows:

means incremental approach;

means that an algorithm uses canonicity based on the lexical order;

means that an algorithm divides the set of concepts into several parts;

designates that an algorithm uses hashing;

means that an algorithm maintains an auxiliary tree structure;

means usage of attribute cache;

encodes that an algorithm computes intents by subsequently computing intersections of object intents (i.e., );

means that an algorithm computes intersections of already generated intents;

encodes that an algorithm computes intersections of nonobject intents and object intents;

means that an algorithm uses supports of attribute sets.
We formed a context based on Table II “Overall comparison of the biclustering algorithms” [3] and build its conceptbased taxonomy in Fig.˜3.
Originally, the authors used several criteria to classify the existing (reviewed) biclustering algorithm: type of bicluster, structure of biclusters, type of bicluster discovery, and algorithmic strategy.
Thus, with respect to the definition of bicluster (its type) the authors differentiate between 1) biclusters with constant values, 2) biclusters with constant values on rows or columns, 3) biclusters with coherent values, and 4) biclusters with coherent evolutions.
The biclusters were classified into one of 9 classes according to their structure.

Single Bicluster

Exclusive row and column biclusters (rectangular diagonal blocks after row and column reorder).

NonOverlapping biclusters with checkerboard structure.

Exclusiverows biclusters.

Exclusivecolumns biclusters.

NonOverlapping biclusters with tree structure.

NonOverlapping nonexclusive biclusters.

Overlapping biclusters with hierarchical structure.

Arbitrarily positioned overlapping biclusters.
Different biclustering methods pursue different goals in terms of the number of discovered biclusters. Thus, they may identify one bicluster at a time or be targeted to discovering one set of biclusters at a time, or they can follow simultaneous bicluster identification, which means that the biclusters are discovered all at the same time. All the three types are possible values of Discovery type attribute in the proposed taxonomy.
Since in many cases the biclustering enumeration is a hard task (the corresponding counting problem may belong to complexity class), different algorithmic enumeration strategies were proposed. Thus, Madeira and Oliviera sort out several categories: 1) Iterative Row and Column Clustering Combination, 2) Divide and Conquer, 3) Greedy Iterative Search, 4) Exhaustive Bicluster Enumeration, and 5) Distribution Parameter Identification.
One of the reasonable questions here is: Why should we build diagrams instead of looking at tables? The answer is we need two complementary views, objectattribute descriptions in tables and ordered clusters of objects such that the objects inside a particular cluster (formal concept) share the same attributes. It is not easy to find such clusters with respect to permutations of rows and columns manually even for small contexts. Moreover, by examining the concept lattice of a certain taxonomy we can find useful attribute dependencies, which can help to discover the underlying taxonomy’s domain.
The previous classification done by Madeira and Oliviera was extended and completed almost 11 years later in [14]. We build the corresponding line diagram in Fig.˜4.
In fact, the number of classified methods were extended to 47 from 16.
The authors slightly redesigned the proposed classification criteria. Thus, they split the analysed methods into two categories: metricbased and nonmetric based. We counted this split as two corresponding attributes in the related formal context. However, we also decided to include all the mentioned evaluation metrics into our analysis like “Measure:MSR” meaning Mean Squared Residue.
The remaining criteria have been changed or extended by the authors. For instance, instead of bicluster types, now eight patterns has been proposed:

Constant;

Constant columns;

Coherent values;

Additive coherent values;

Multiplicative coherent values;

Simultaneous coherent values;

Coherent evolutions;

Negative correlations.
The subtaxonomy based on bicluster structure now contains only six criteria: row exhaustive, column exhaustive, nonexhaustive, row exclusive, column exclusive, and nonexclusive.
By means of terms “exhaustive” and “exclusive” it is possible to describe the desired structure. Thus, exhaustive means where all genes (conditions) should belong to some bicluster, i.e. to be covered by it. Exclusive means whether a gene (condition) has to belong no more than one bicluster; e.g., in nonexclusive case overlapping is allowed.
The attribute algorithmic strategy has been altered in its original form from [3]. The attribute Discovery from [3] has been renamed to Strategy, but the values remain the same: one bicluster at a time, set of biclusters at a time, and simultaneous bicluster identification.
In the beginning of 2000s it was unusual that data analysts and biologists can miss existing biclustering methods (like FCA), which were not applied in the bioinformatics domain yet. However, later FCA was successfully applied in the domain of gene expression analysis [15, 16, 17, 7, 18], formal concepts were rediscovered by [6, 19] in bioinformatics, approximate greedy [20] and fast [21, 12] methods for dense bicluster discovery in Boolean setting appeared.
However, even the recent taxonomy from [14] does not include any of them.
To overcome incompleteness caused by the bioinformatics domain view restriction, an attempt to extend the taxonomy of Madeira and Oliveira was done in [11].
In addition to the existing criteria, the attribute bicluster values type was added taking two values: binary and numeric. The former shows whether the method is able to find patterns in Boolean objectattribute tables and the latter indicates whether the input entries from can be processed by an algorithm. Another important criteria is whether an algorithm based on the notion of closure (operator) from FCA and Closed Frequent Itemset Mining, implicitly or explicitly. The corresponding formal context is given below.
FCArelated biclusteringType:const Type:const with exceptions Struct:Arbitr. overl. Value type:binary Closure:explicit Closure:implicit Val.type:numeric X.XX.X.BiMax X.XX.XXBox biclustering X.XXX..FCA X.XXX..Freq. Closed Itemsets X.XXX..Association rules XXXX.X.Faulttolerant concepts XXXXX..OAbiclusters
In Fig.5 we show only those objects (biclustering algorithms) which were not included in the taxonomy of Madeira and Oliveira. By so doing, we considered three general approaches (Formal Concept Analysis, Frequent Closed Itemsets, and Association Rules) and particular modifications of formal concepts (box biclusters [20], faulttolerant concepts [22], OAbiclusters [11, 12]).
In [11] it was noted that every association rule of the form corresponds to the bicluster or , hence it is possible to consider association rules as a biclustering technique.
Later, the taxonomical issues of biclustering were discussed in [23]; the authors sorted out binary, integer, and realvalued biclustering approaches. Frequent itemset mining algorithms, BiMax, Association Rules and several others were included into a recent survey on patternbased biclustering algorithms [24]. Even though the idea of closure was mentioned by the survey authors, they did not use closedness property of the studied patterns as a taxonomical attribute. Moreover, even though the authors cited several FCAbased papers ob biclustering, they do not treat relationship of this discipline with biclustering. However, as we have mentioned, such relationships were studied on a solid mathematical and experimental level; for example, in [25] it was shown that biclustering of numerical data is possible by means of triclustering of the corresponding binary relation.
Implications and Attribute Exploration can help to find hidden attribute dependencies and extend the built taxonomy by new (counter)examples.
Below we provide the reader with top10 (w.r.t. support measure) implications of DuquenneGigues base [26] derived from the formal context of the taxonomy from [14].

,

,

,

,

,

,

,

,

,

,
Since we deal with implications, their confidence measure is equal to 1. The size of the whole set of implications in DuquenneGigues base is 105.
If we start attribute exploration for the same context, then the first question in a row is the following:
Is it true, that when biclustering technique has attribute “Strategy:One set”, that it also has attribute “Struct:Nonexhaustive”?
An expert can either agree with the implication or disagree. In the latter case, (s)he needs to provide a counterexample: a biclustering technique which follows discovery strategy “one set of biclusters at a time” but does not result in biclusters of the structure type “exhaustive”. There is also an option to stop Attribute Exploration process at every step.
5 Multimodal clustering and closed nsets
Since the field of biclustering is a subdomain of multimodal or relational clustering, the taxonomy can be extended by applying similar criteria to nary relation and tensor clustering algorithms.
Thus, the notion of formal concept was generalised for triadic [27] and polyadic case [28]. There are efficient algorithms to find triconcepts [29] and poliadic concepts (closed nsets) [30]. There exist relaxations of triconcept and poliadic concept notions, triclusters and nclusters, which allow for certain entries inside such ndic concept to be zeros [20, 31, 32]; the theoretical and experimental comparison is done in [33]. There are also methods for mining closed patterns in nary relations [34]. Two biclustering approaches can be used for mining two formal contexts simultaneously, which shares either set of attributes or objects; this results in pseudotriclusters [35]. As for purely biological applications of triclustering we may suggest reading, for example, [36] and [37].
6 Conclusion and future work
Even though the taxonomy building of a particular subfield of Data Analysis or Computer Science is not as laborious as devising Carl Linnaeus’ prephylogenetic taxonomy, this is not an easy task to merge several such existing taxonomies and build a unified one. Similarly to new species discovery, new algorithms can be proposed and since they can contain new specific features, new classification attributes may be needed.
One of the possible schemes of taxonomy maintaining here could be done in terms of Attribute Exploration [5].
At a certain moment the group of expert fixes the set of existing biclustering methods and proposes suitable criteria for their classification. A person or a team which has proposed a new biclustering method should classify the method according to the chosen scheme, then it should be validated by experts. Such a team can propose an extra criterion for method classification. If a person or a team is going to propose a new method for an unexplored combination of classification attributes, it is possible to run attribute exploration to see which prospective types of methods are missing to date. By means of Object Exploration, it may become clear that some attributes are missing, e.g. it is evident that formal concepts or Boolean biclusters is only a particular case of bicluster type with constant values and we need at least one new attribute, Boolean entry values.
Since a taxonomy may be used not only for classification itself, but as a search index for potential users, we may suggest using several ways of interactive visualisation: treebased (TABASCOlike), concept lattice based (line diagrams), objectattribute tables, and nested line diagrams. The latter can help when someone is interested in a special main set of attributes, which should be shown in the outer taxonomy on the line diagram; the inner taxonomy can be shown if the methodseeker needs a finer level granularity or more detailed description inside of the selected node from the outer taxonomy.
It is important to note that taxonomies can be considered as a special case of ontologies, and here FCA was successfully used both for ontology merging and completion [38, 39].
There are two main tasks for our future studies: 1) unifying the existing bicluster taxonomies, and 2) creation a taxonomy of multimodal clustering techniques. Even though there are several good tools for building and managing concept lattices like Concept Explorer, we need to rely on more flexible tools with extensible components. In particular we hope that FCART can become our tool of choice in the near future [40].
Acknowledgements.
We would like to thank Sergei Obiedkov and Derrick Kourie for a piece of advice and their earlier work on the topic. This work was supported by the Basic Research Program at the National Research University Higher School of Economics in 20152016 and performed in the Laboratory of Intelligent Systems and Structural Analysis. The first author was also supported by Russian Foundation for Basic Research (grant #130700504).
References
 [1] Hartigan, J.A.: Direct Clustering of a Data Matrix. Journal of the American Statistical Association 67(337) (1972) 123–129
 [2] Mirkin, B.: Mathematical Classification and Clustering. Kluwer, Dordrecht (1996)
 [3] Madeira, S.C., Oliveira, A.L.: Biclustering algorithms for biological data analysis: A survey. IEEE/ACM Trans. Comput. Biology Bioinform. 1(1) (2004) 24–45
 [4] Wille, R.: Restructuring lattice theory: An approach based on hierarchies of concepts. In Rival, I., ed.: Ordered Sets. Volume 83 of NATO Advanced Study Institutes Series. Springer Netherlands (1982) 445–470
 [5] Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin/Heidelberg (1999)
 [6] Barkow, S., Bleuler, S., Prelic, A., Zimmermann, P., Zitzler, E.: Bicat: a biclustering analysis toolbox. Bioinformatics 22(10) (2006) 1282–1283
 [7] Kaytoue, M., Duplessis, S., Kuznetsov, S., Napoli, A.: Two fcabased methods for mining gene expression data. In FerrГ©, S., Rudolph, S., eds.: Formal Concept Analysis. Volume 5548 of Lecture Notes in Computer Science. Springer Berlin Heidelberg (2009) 251–266
 [8] Cleophas, L.G., Watson, B.W.: Taxonomybased software construction of SPARE time: a case study. IEE Proceedings  Software 152(1) (2005) 29–37
 [9] Cleophas, L.G., Watson, B.W., Kourie, D.G., Boake, A., Obiedkov, S.A.: TABASCO: using conceptbased taxonomies in domain engineering. South African Computer Journal 37 (2006) 30–40
 [10] ROTH, C., OBIEDKOV, S., KOURIE, D.G.: On succinct representation of knowledge community taxonomies with formal concept analysis. International Journal of Foundations of Computer Science 19(02) (2008) 383–404
 [11] Ignatov, D.: Models, Algorithms, and Software Tools of Biclustering Based on Closed Sets. PhD thesis, State University Higher School of Economics, Moscow (2010)
 [12] Ignatov, D.I., Kuznetsov, S.O., Poelmans, J.: ConceptBased Biclustering for Internet Advertisement. In: Data Mining Workshops (ICDMW), 2012 IEEE 12th International Conference on. (Dec 2012) 123–130
 [13] Kuznetsov, S.O., Obiedkov, S.A.: Comparing performance of algorithms for generating concept lattices. J. Exp. Theor. Artif. Intell. 14(23) (2002) 189–216
 [14] Pontes, B., Giráldez, R., AguilarRuiz, J.S.: Biclustering on expression data: A review. Journal of Biomedical Informatics 57 (2015/12/28) 163–180
 [15] Besson, J., Robardet, C., Boulicaut, J., Rome, S.: Constraintbased concept mining and its application to microarray data analysis. Intell. Data Anal. 9(1) (2005) 59–82
 [16] KaytoueUberall, M., Duplessis, S., Napoli, A.: Using formal concept analysis for the extraction of groups of coexpressed genes. In Le Thi, H., Bouvry, P., Pham Dinh, T., eds.: Modelling, Computation and Optimization in Information Systems and Management Sciences. Volume 14 of Communications in Computer and Information Science. Springer Berlin Heidelberg (2008) 439–449
 [17] Motameny, S., Versmold, B., Schmutzler, R.: Formal concept analysis for the identification of combinatorial biomarkers in breast cancer. In Medina, R., Obiedkov, S., eds.: Formal Concept Analysis. Volume 4933 of Lecture Notes in Computer Science. Springer Berlin Heidelberg (2008) 229–240
 [18] Kaytoue, M., Kuznetsov, S.O., Napoli, A., Duplessis, S.: Mining gene expression data with pattern structures in formal concept analysis. Information Sciences 181(10) (2011) 1989 – 2001 Special Issue on Information Engineering Applications Based on Lattices.
 [19] Prelić, A., Bleuler, S., Zimmermann, P., Wille, A., Bühlmann, P., Gruissem, W., Hennig, L., Thiele, L., Zitzler, E.: A systematic comparison and evaluation of biclustering methods for gene expression data. Bioinformatics 22(9) (2006) 1122–1129
 [20] Mirkin, B., Kramarenko, A.: Approximate bicluster and tricluster boxes in the analysis of binary data. In Kuznetsov, S., Ślęzak, D., Hepting, D., Mirkin, B., eds.: Rough Sets, Fuzzy Sets, Data Mining and Granular Computing. Volume 6743 of Lecture Notes in Computer Science. Springer Berlin Heidelberg (2011) 248–256
 [21] Ignatov, D.I., Kuznetsov, S.O.: Conceptbased recommendations for internet advertisement. In Belohlavek, R., Kuznetsov, S.O., eds.: Proc. of The Sixth International Conference Concept Lattices and Their Applications (CLA’08), Palacky University, Olomouc (2008) 157––166
 [22] Pensa, R.G., Boulicaut, J.: Towards faulttolerant formal concept analysis. In: AI*IA. (2005) 212–223
 [23] Flores, J.L., Inza, I., Larrañaga, P., Calvo, B.: A new measure for gene expression biclustering based on nonparametric correlation. Computer Methods and Programs in Biomedicine 112(3) (2013) 367 – 397
 [24] Henriques, R., Antunes, C., Madeira, S.C.: A structured view on pattern miningbased biclustering. Pattern Recognition 48(12) (12 2015) 3941–3958
 [25] Kaytoue, M., Kuznetsov, S.O., Macko, J., Napoli, A.: Biclustering meets triadic concept analysis. Ann. Math. Artif. Intell. 70(12) (2014) 55–79
 [26] Guigues, J.L., Duquenne, V.: Familles minimales d’implications informatives résultant d’un tableau de données binaires. Mathématiques et Sciences Humaines 95(1) (1986) 5–18 In French.
 [27] Lehmann, F., Wille, R.: A triadic approach to formal concept analysis. In: Conceptual Structures: Applications, Implementation and Theory, Third International Conference on Conceptual Structures, ICCS ’95, Santa Cruz, California, USA, August 1418, 1995, Proceedings. (1995) 32–43
 [28] Voutsadakis, G.: Polyadic concept analysis. Order 19(3) (2002) 295–304
 [29] Jäschke, R., Hotho, A., Schmitz, C., Ganter, B., Stumme, G.: TRIAS  an algorithm for mining iceberg trilattices. In: Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 2006), 1822 December 2006, Hong Kong, China. (2006) 907–911
 [30] Cerf, L., Besson, J., Robardet, C., Boulicaut, J.: Closed patterns meet nary relations. TKDD 3(1) (2009)
 [31] Ignatov, D.I., Kuznetsov, S.O., Poelmans, J., Zhukov, L.E.: Can triconcepts become triclusters? Int. J. General Systems 42(6) (2013) 572–593
 [32] Cerf, L., Besson, J., Nguyen, K., Boulicaut, J.: Closed and noisetolerant patterns in nary relations. Data Min. Knowl. Discov. 26(3) (2013) 574–619
 [33] Ignatov, D., Gnatyshak, D., Kuznetsov, S., Mirkin, B.: Triadic formal concept analysis and triclustering: searching for optimal patterns. Machine Learning (2015) 1–32
 [34] Spyropoulou, E., Bie, T.D., Boley, M.: Interesting pattern mining in multirelational data. Data Min. Knowl. Discov. 28(3) (2014) 808–849
 [35] Gnatyshak, D., Ignatov, D.I., Semenov, A., Poelmans, J.: Gaining insight in social networks with biclustering and triclustering. In: Perspectives in Business Informatics Research  11th International Conference, BIR 2012, Nizhny Novgorod, Russia, September 2426, 2012. Proceedings. (2012) 162–171
 [36] Zhao, L., Zaki, M.J.: Tricluster: An effective algorithm for mining coherent clusters in 3d microarray data. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Baltimore, Maryland, USA, June 1416, 2005. (2005) 694–705
 [37] Li, A., Tuck, D.: An effective triclustering algorithm combining expression data with gene regulation information. Gene regulation and systems biology 3 (2009) 49–64
 [38] Ganter, B., Stumme, G.: Creation and merging of ontology toplevels. In: Conceptual Structures for Knowledge Creation and Communication, 11th International Conference on Conceptual Structures, ICCS 2003 Dresden, Germany, July 2125, 2003 Proceedings. (2003) 131–145
 [39] Sertkaya, B.: A survey on how description logic ontologies benefit from FCA. In: Proceedings of the 7th International Conference on Concept Lattices and Their Applications, Sevilla, Spain, October 1921, 2010. (2010) 2–21

[40]
Neznanov, A., Parinov, A.:
FCA analyst session and data access tools in FCART.
In Agre, G., Hitzler, P., Krisnadhi, A.A., Kuznetsov, S.O., eds.: Artificial Intelligence: Methodology, Systems, and Applications  16th International Conference, AIMSA 2014, Varna, Bulgaria, September 1113, 2014. Proceedings. Volume 8722 of Lecture Notes in Computer Science., Springer (2014) 214–221
Comments
There are no comments yet.