Graph-RAT programming environment

Graph-RAT is a new programming environment specializing in relational data mining. It incorporates a number of different techniques into a single framework for data collection, data cleaning, propositionalization, and analysis. The language is functional where algorithms are executed over arbitrary sub-graphs of the data. Analytical results can be conducted using collaborative filtering or machine learning techniques. The example algorithms are under BSD license

KC-Viz: a novel approach to visualizing and nNavigating ontologies

There is empirical evidence that the user interaction metaphors used in ontology engineering toolkits are largely inadequate and that novel interactive frameworks for human ontology interaction are needed. Here we present a novel tool for visualizing and navigating ontologies, called KC Viz, which exploits an innovative ontology summarization method to support a ’middleout ontology browsing’ approach, where it becomes possible to navigate ontologies starting from the most information-rich nodes (i.e., key concepts). This approach is similar to map-based visualization and navigation in Geographical Information Systems, where, e.g., major cities are displayed more prominently than others, depending on the current level of granularity

Octree-based production of near net shape components

Near net shape (NNS) manufacturing refers to the production of products that require a finishing operation of some kind. NNS manufacturing is important because it enables a significant reduction in: machining work, raw material usage, production time, and energy consumption. This paper presents an integrated system for the production of near net shape components based on the Octree decomposition of 3-D models. The Octree representation is used to automatically decompose and approximate the 3-D models, and to generate the robot instructions required to create assemblies of blocks secured by adhesive. Not only is the system capable of producing shapes of variable precision and complexity (including overhanging or reentrant shapes) from a variety of materials, but it also requires no production tooling (e.g., molds, dies, jigs, or fixtures). This paper details how a number of well-known Octree algorithms for subdivision, neighbor findings, and tree traversal have been modified to support this novel application. This paper ends by reporting the construction of two mechanical components in the prototype cell, and discussing the overall feasibility of the system

Verification of Java Bytecode using Analysis and Transformation of Logic Programs

State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including termination, bounds on resource consumption, etc. The aim of this work is to automatically transfer the power of such analysis tools for LP to the analysis and verification of Java bytecode (JVML). In order to achieve our goal, we rely on well-known techniques for meta-programming and program specialization. More precisely, we propose to partially evaluate a JVML interpreter implemented in LP together with (an LP representation of) a JVML program and then analyze the residual program. Interestingly, at least for the examples we have studied, our approach produces very simple LP representations of the original JVML programs. This can be seen as a decompilation from JVML to high-level LP source. By reasoning about such residual programs, we can automatically prove in the CiaoPP system some non-trivial properties of JVML programs such as termination, run-time error freeness and infer bounds on its resource consumption. We are not aware of any other system which is able to verify such advanced properties of Java bytecode