About

LatViz functionalities:

  • Context displaying, editing and saving
  • Lattice visualization and manipulation
  • Building lattice using Ganter algorithm and AddIntent algorithm
  • Highlight a part of the lattice: superconcepts/subconcepts of one concept calculated on current graph.
  • Display a part of the lattice: recalculate nodes’ position or not
  • Display again the part that is already hidden: Display superconcepts/subconcepts of one concept calculated on full lattice
  • Reduce lattice labeling or display full labeling (drag nodes to see labels)
  • Highlight new concepts on graph when editing the context
  • Set the filter and display selected concepts
  • Highlight AOC poset on the full lattice
  • Display AOC poset
  • Calculate and display implications
  • Extend the graph from the root node with next level of selected node
  • Add annotation on lattice diagram (If the content of annotation is long, maybe there is one display error with Chrome, but it displays well with Opera browser)
  • Save the lattice as json file (output of Sofia software)
  • Save the lattice diagram as png file
  • Save lattice diagram (nodes with position) as JSON file and reload them
  • Work with Interval Pattern Structure

User instruction:

  • Open manipulating box: left click on node of the graph
  • Close manipulating box: double click on the background or scroll the window
  • Drag node: when the mouse hovers on node, the dragging icon cursor will display
  • Change binary relation of object and attribute: double click on relation value on the context table
There are some videos of using this application here.

Download Context example to use in this app:

Binary data:

Vertebrate Animals context
Random value context 70 objects and 70 attributes
Triangle context
Context 10x10 - Lattice: 1024 nodes, 5120 arcs

Pattern structure:

4 seasons temperature of 3 cities context
4 seasons temperature of 8 cities context

Converter:

At this moment, this application only supports for our json format. And we have a converter to convert from CSV or CEX or RCFT context format to our JSON format. In order to use it, your computer has to have JDK or JRE.
Download converter
Command: java -jar LatvizJsonConverter.jar sourceFileName destinationFileName type
For example, put LatvizJsonConverter.jar file and source file in the same folder and use this command: java -jar sourceFile.rcft destFile.json rcft

Authors:
Project leader: Amedeo NAPOLI
Developer and maintainer: LE Thi Nhu Nguyen