Patents by Inventor Steven P. Fraleigh

Steven P. Fraleigh 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).

  • Publication number: 20160171372
    Abstract: Embodiments are directed towards a method and a computer server for receiving assertions, wherein an assertion can have a functional property such that for a given subject and a given property the object has a single value at any time, maintaining a knowledge base that includes a history table that stores previously received assertions, the method comprising selecting an assertion for processing, generating an assertion tuple that corresponds to the selected assertion, determining that the property of the selected assertion is functional; and writing the assertion tuple to the history table.
    Type: Application
    Filed: December 15, 2014
    Publication date: June 16, 2016
    Applicant: SMARTCLOUD, INC.
    Inventors: Steven P. Fraleigh, Alan C. Perry
  • Patent number: 8943017
    Abstract: Embodiments are directed towards a method and a computer server for receiving assertions, wherein an assertion can have a functional property such that for a given subject and a given property the object has a single value at any time, maintaining a knowledge base that includes (1) a history table that stores previously received assertions, and (2) a snapshot table that stores currently valid assertions, maintaining a snapshot cache in memory that stores a subset of the assertions in the snapshot table, initiating a processing cycle, selecting an assertion for processing, generating an assertion tuple that corresponds to the selected assertion, determining that the property of the selected assertion is functional, writing a retraction tuple to the history table, writing the assertion tuple to the snapshot table; and writing the assertion tuple to the history table.
    Type: Grant
    Filed: April 23, 2014
    Date of Patent: January 27, 2015
    Assignee: Smartcloud, Inc.
    Inventors: Steven P. Fraleigh, Alan C. Perry
  • Publication number: 20140317044
    Abstract: Embodiments are directed towards a method and a computer server for receiving assertions, wherein an assertion can have a functional property such that for a given subject and a given property the object has a single value at any time, maintaining a knowledge base that includes (1) a history table that stores previously received assertions, and (2) a snapshot table that stores currently valid assertions, maintaining a snapshot cache in memory that stores a subset of the assertions in the snapshot table, initiating a processing cycle, selecting an assertion for processing, generating an assertion tuple that corresponds to the selected assertion, determining that the property of the selected assertion is functional, writing a retraction tuple to the history table, writing the assertion tuple to the snapshot table; and writing the assertion tuple to the history table.
    Type: Application
    Filed: April 23, 2014
    Publication date: October 23, 2014
    Applicant: SMARTCLOUD, INC.
    Inventors: Steven P. Fraleigh, Alan C. Perry