This Java project creates a testing environment application to analyze an image at its low level features and suggest tags to clasify it using an ontology search based on the tags of similar images.
Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.