Concept Explorer ConExp documentation team (Kuroda, Kow) First Japanese version: 2017/03/30; Revisions: 2017/04/01 1 1.1 Concept Explorer (ConExp) 1.3 (FCA) Darmstadt Rudolf Wille 1980 (FCA ) http://www.math.tudresden.de/~ganter/fba.html http://www.fcahome.org.uk/ ConExp BSD license.txt ConExp X.jar X.license X.readme ConExp [1] 1.2 ConExp : http://conexp.sourceforge.net/index.html Concept Explorer. The User Guide. (September 12, 2006) (http://www. comp.dit.ie/pbrowne/compfund2/userguide.pdf) (Kuroda, Kow) Google Translation Toolkit [... ] Web http://conexp.sourceforge.net/users/ documentation/ 1
(context) (concept lattices) (base) (base) (attribution exploration) [ ] 1.3 ConExp 2000 KPI Tatyana Taran SourceForge [5] 2
2 ConExp 2.1 ConExp Java Runtime Environment (JRE) 1.4 JRE ( 1.5.0) URL : http://java.sun.com/j2se/downloads.html 2.2.zip.tar.gz Java ( java -version Java Java Java ) 3
3 Concept Explorer 3.1 (Windows conexp.bat Unix conexp.sh ) Unix conexp.sh [ Terminal chmod +X conexp.sh ] java -jar conexp.jar Windows Java javaw -jar conexp.jar ConExp 1.3 1) ConExp 1.3.cex ( ) : (1) ConExp : java -Dfile.encoding=utf-8 -jar conexp.jar (2) OS X ConExp property list 3.2 Concept Explorer ConExp : Manu ( ) Main toolbar ( ): : Create new document ( ) Open ( ) Save ( ) Compute the 1) 4
number of concepts ( ) Compute concept lattice ( ) Perform attribute exploration ( ) Calculate Duquenne-Guigues set of implications ( Duquenne- Guigues ) Calculate association rules ( ) ( ) : Main pane ( ): Main pane (Document tree) (Layout options) (View pane) Document tree ( ): ( ( ) ) Option pane: View pane Status bar: [ ] 5
3.3 ConExp ( ) 3.3.1 ConExp ConImp [3] :.cex: ConExp XML.cxt: ConImp :.csv: : [ ] (;) ( attr1 attr2 ;attr1;attr2 ) 0 1 [ ] 1 [= ] X.oal: - : obj1 attr2 attr3 obj1 obj1:attr2;attr3 File Reopen 6
3.4 File Save Save as Save file ConExp 3.5 (Undo) / (Redo) undo ( )/ redo ( ) Context Editor Undo last action Redo last action 3.5.1 properties Object count Attribute count Context Editor Add object Add attribute Context Editor Remove object(s) Remove attribute(s) 3.5.2 Context Editor Compressed X 3.5.3 Show arrow relation parameter show arrow relation ( [2] 7
3.6 3.6.1 x. X 3.6.2 : Fill selection: X Clear selection: Inverse selection: Context Editor 3.6.3 : object clarification ( ): ( ) Contect Editor Clarify objects attribute clarification ( ): Context Editor Clarify attributes object set reduction ( = ): 8
clarification ( ) : (isomorphic) Context Editor Reduce objects attribute set reduction ( ): Context Editor Reduce attributes context reduction ( ): Context Editor Reduce context transposition ( ): Context Editor Transpose context 3.7 [= ] 3.7.1 Main toolbar Build lattice ( ) : (Hasse diagram) = 2) (Hasse diagram) (line diagram) 3.7.2 (top) (bottom) 2) 9
( ) : (O, A) : O A i) A O ii) O A O ( ) (O, A) A ( ) (O, A) O ( ) (O, A) A ( ) (O, A) (reduced labeling) A C A C ( ) [= ] O C O C ( ) 3.7.3 : scroll mode ( ): fit to screen mode: 10
Scale picture to fit into the image : Grab and Drag ( ): pan X pan Grab and Drag Zoom in, Zoom out, No zoom: 3.7.4 Drawing options : Attribs: : Don t show: Show labels: Show multi-labels: Objects: : Don t show: Show labels: Show multi-labels: Show own objects: ( ) ( ) 11
Object count: ( ) Stability ( ): Draw node: : to own objects: fixed radius: Node radius of object extent: Stability ( ): ( Stability ) Draw edge: : one pixel: 1 no: object: of object extent connection: Highlight: : 12
Filter and ideal: ( ) ( ) Selected: Neighbors: Ideal: Filter: No: Label font size: Grid size x: x x Grid size y: y y Node radius: 3.7.5 : 13
Properties Layout options : Minimal intersections ( ): Chain decomposition ( ): M. Skorsky chain decomposition (additive line diagrams) (ideal node movement strategy) : Representation i) ii) Placement i) ii) iii) Rotate left, Rotate right: : Freese layout: Ralph Freese [4] : Attraction: Repulsion: 14
Angle: Freese 3 3 2 Force layout: 3.7.6 ConExp - ( - ) ConExp : Ideal node movement mode: Toggle node movement mode Align nodes to grid: 8 x8 3.7.7 Lattice line digram Store preferences as default 3.7.8 ConExp Lattice line diagram 15
Save lattice image PNG JPEG 3.7.9 ConExp ( ) Select all attributes ( Select all objects : snapshot 3.7.10 snapshot snapshot ( ) Store current lattice as a view 3.7.11 : Concept count: Edge count: 16
Lattice height: [top= ] [bottom= ] Lattice width estimation: ( ) < > < > 3.8 3.8.1 Duquenne-Guigues Duquenne-Guigues Main toolbar Calculate Calculate Duquenne-Guigues base of implications Duquenne- Guigues Implication sets ( ) : No < > ==> [ ] No < > f g : 17
3.8.2 : : (Duquenne-Guigues base) ( Luxenburger base ) ConExp Calculate association rules : No < > =[ ]=> < > 3.8.3 Yes 18
Start attribute exploration No 19
4 Mailing list Con- Exp ConExp : conexp-user@lists.sourceforge.net 5 ConExp : Dr. Serhiy Yevtushenko Tim Kaiser Julian Tane Dr. Sergei Objedkov : Joachim Hereth-Correia Heiko Reppe [1] Serhiy A. Yevtushenko. System of data analysis Concept Explorer. (In Russian). Proceedings of the 7th national conference on Artificial Intelligence KII-2000, p. 127-134, Russia, 2000. [2] B. Ganter and R. Wille. Formal Concept Analysis:Mathematical Foundations, Springer-Verlag, 1999 [3] ComImp: http://www.mathematik.tu-darmstadt.de/~burmeister/ [4] http://www.math.hawaii.edu/~ralph/latdraw/ [5] http://conexp.sourceforge.net/ 20