Patents by Inventor Aditya A Kalyanpur

Aditya A Kalyanpur has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Large Scale Probabilistic Ontology Reasoning
    Publication number: 20110082828
    Abstract: Techniques for computing a solution to a query formulated against a knowledge base (KB) are provided. The techniques include receiving a query formulated against a knowledge base, wherein the knowledge base comprises a set of one or more axioms, wherein each axiom is annotated with a specific probability value indicating a degree of certainty assigned thereto, ignoring each probability value of the one or more axioms and computing a solution to the query, computing each of one or more justifications for the query solution, wherein computing each of one or more justifications for the query solution comprises determining a minimal set of one or more axioms in the knowledge base that entail the query solution, and using each probability value of the one or more axioms in each justification to compute a net probability of an inferred query solution.
    Type: Application
    Filed: October 6, 2009
    Publication date: April 7, 2011
    Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Achille B. Fokoue-Nkoutche, Aditya Kalyanpur, Edith G. Schonberg, Kavitha Srinivas
  • Scaleable ontology reasoning to explain inferences made by a tableau reasoner
    Patent number: 7904401
    Abstract: 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.
    Type: Grant
    Filed: February 21, 2007
    Date of Patent: March 8, 2011
    Assignee: International Business Machines Corporation
    Inventors: Julian Timothy Dolby, Aditya A Kalyanpur, Aaron Stephen Jay Kershenbaum, Achille Belly Fokoue-Nkoutche, Li Ma, Edith Gail Schonberg, Kavitha Srinivas
  • Scalable ontology reasoning
    Publication number: 20070233627
    Abstract: 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.
    Type: Application
    Filed: February 21, 2007
    Publication date: October 4, 2007
    Inventors: Julian Dolby, Aditya Kalyanpur, Aaron Jay Kershenbaum, Achille Fokoue-Nkoutche, Li Ma, Edith Schonberg, Kavitha Srinivas