US 12,079,216 B2
Systems and methods for querying and performing operations on data using predicate logic extended to include quotation
John Cabral, Silver Spring, MD (US)
Assigned to Structured Knowledge Applications, Inc., Silver Spring, MD (US)
Filed by Structured Knowledge Applications, Inc., Silver Spring, MD (US)
Filed on Sep. 18, 2020, as Appl. No. 17/025,587.
Claims priority of provisional application 62/903,258, filed on Sep. 20, 2019.
Prior Publication US 2021/0089536 A1, Mar. 25, 2021
Int. Cl. G06F 16/245 (2019.01); G06F 16/2453 (2019.01); G06F 16/2455 (2019.01); G06F 21/62 (2013.01); G06N 5/025 (2023.01); G06N 5/04 (2023.01)
CPC G06F 16/24547 (2019.01) [G06F 16/24552 (2019.01); G06F 16/24561 (2019.01); G06F 21/6227 (2013.01); G06N 5/025 (2013.01); G06N 5/04 (2013.01)] 18 Claims
OG exemplary drawing
 
1. A system configured to utilize a single sequence of operations for querying data and processing operations on the data, the system comprising:
a memory configured to store data associated with the system, wherein the data is stored in a form of predicate logic extended to include quotation; and
one or more physical processors programmed by one or more computer program instructions that, when executed, configure the one or more physical processors to:
receive input from an entity including a named query or a named operation;
construct a named authorization query for the entity based on the input received;
assemble a first inference tree comprising rule statements recursively linked to the named authorization query;
recursively apply the rule statements of the first inference tree to the stored data;
determine whether the entity is authorized to ask the named query or perform the named operation based on the application of the rule statements of the first inference tree to the stored data;
determine a corresponding full query for the named query or named operation;
identify a first set of rule statements including consequent formulas linked to a formula in the full query;
identify a second set of rule statements including consequent formulas linked to antecedent formulas in the first set of rule statements;
assemble a second inference tree comprising rule statements recursively linked to the full query, wherein the rule statements of the second inference tree include at least the first set of rule statements and the second set of rule statements;
recursively apply the rule statements of the second inference tree to the stored data; and
generate results of the full query based on the application of the rule statements of the second inference tree to the stored data.