International Business Machines Corporation

Aaron Stephen Jay Kershenbaum

Lawrence H Koved

Marco Pistoia

Julian Timothy Dolby

Aditya Anand Kalyanpur

Achille Belly Fokoue-Nkoutche

Kavitha Srinivas

Anthony Joseph Nadalin

Matt Richard Hogstrom

Li Li Ma

David Granshaw

Edith Gail Schonberg

Simon Christopher Nash

Bert Vincent Laonipon

Ann Eleanor Dalton

Marco Pistola

Methods and apparatus, including computer program products, for scalable ontology reasoning. A method of generating a summarized ontology includes loading an ontology from a store, eliminating relationships in the ontology, the eliminating relationships including an insertion of new relationships that simplify the ontology, eliminating individuals in the ontology, the eliminating individuals including insertion of new individuals to simplify the ontology, eliminating concepts in the ontology including insertion of new concepts to simplify the ontology, and generating the summarized ontology from the eliminating relationships, eliminating individuals and eliminating concepts.

Scaleable ontology reasoning to explain inferences made by a tableau reasoner

A method and apparatus for automatically determining optimum placement of privileged code enablement locations in existing code are provided. A method invocation graph of existing code is generated and a static analysis of the method invocation graph is performed. The static analysis is used to analyze the permission propagation through chains of method invocations in the method invocation graph. When a method invocation in the method invocation graph satisfies one or more user definable criteria, the location in the method invocation graph is saved to a file that identifies recommended insertion points for a call to the authorization enablement code. This file may then be used to manually review the code to determine if a call to privileged mode enablement should actually be made at the identified locations. Alternatively, the call to privileged mode enablement may be automatically inserted at the indicated locations using refactoring.

Method and apparatus for automatically determining optimum placement of privileged code locations in existing code

A method, system and apparatus for performing selective data processing based upon a static analysis of the code of a compiled object. A compiled object, for example an enterprise bean, can be analyzed to determine how individual methods in the enterprise bean access specific objects. Those specific objects can include, for instance, data members of a class, or class objects passed into one or more individual methods of the enterprise bean. Where the individual methods of the enterprise bean do not mutate or otherwise change the state of the specific objects, those objects can be accessed by reference only. Importantly, where the specific objects are data fields linked to a table in a database as managed by a container managed persistence (CMP) bean, an update to the table will not be required when the static analysis of the enterprise bean otherwise indicates that the data fields are merely accessed, but not updated.

Code analysis for selective runtime data processing

Growing community of inventors

New City, NY, United States of America

Aaron Stephen Jay Kershenbaum