Tags : Browse Projects

Some small command line programs and a file parser for Concept Explorer written in C++. Currently features include: Converters from concept explorer into PDF, PostScript, SVG and PovRay, a modified 3D Freese layout.

FCAlib is an open-source, extensible library for Formal Concept Analysis (FCA) tool developers that implements the FCAAPI. It provides basic functionalities that are needed for building an FCA tool. It supports incomplete contexts and includes efficient implementations of basic FCA algorithms like ... [More] implicational closure, next-closed set, etc. It implements the attribute exploration algorithm in such a way that it can be used together with a custom implemented expert that supports FCAAPI. Javadoc for FCAlib can be found here. FCAlib is extended by OntoComPlib for using attribute exploration together with OWL ontologies. The following code segment shows how to create a formal context, add attributes to it, create an expert for this context, and start attribute exploration: // Create a formal context whose attributes are of type String, and whose objects have // identifiers of type String FormalContext context = new FormalContext(); // Create an expert for this context MyExpertClass expert = new MyExpertClass(context); // Add attributes to this context context.addAttribute("a"); context.addAttribute("b"); context.addAttribute("c"); // Set expert for this context context.setExpert(expert); // Context listens to the actions of the expert expert.addExpertActionListener(context); // Create an expert action for starting attribute exploration StartExplorationAction> action = new StartExplorationAction>(); action.setContext(context); // Fire the action, exploration starts... expert.fireExpertAction(action);The following code segment shows how to create a set of implications for the above context, add implications to it, and compute next-closure: // Create a set of implications for the above context. Attributes are of type String ImplicationSet = new ImplicationSet(context); // Create a new implication with empty premise and conclusion Implication imp = new Implication(); // Add attribute "a" to the premise imp.getPremise().add("a"); // Add attribute "b" to the conclusion imp.getConclusion().add("b"); // Add this implication to the implication set implications.add(imp); // Compute the next-closed set after mySet, and update mySet mySet = implications.nextClosure(mySet);For more examples please see the test package in the source. [Less]