Patents Assigned to Seereason Partners, LLC
  • Collaborative first order logic system with dynamic ontology
    Patent number: 8996989
    Abstract: A collaborative first order logic system with dynamic ontology for example that enables collaborative discussion of documents, subjects associated within the documents, assertions about the subjects and theorems that utilize the assertions along with dynamic creation and association of two or more subjects that may represent the same thing. Enables geographical and temporal displays of assertions and opinions regarding the assertions.
    Type: Grant
    Filed: November 10, 2011
    Date of Patent: March 31, 2015
    Assignee: Seereason Partners, LLC
    Inventor: David Fox