METHOD AND APPARATUS FOR INFORMATION SURVEYING
First Claim
1. A computer-implemented method to form a predicate lattice, the method comprising:
- initializing, by an information resource manager executed in a memory by a processor of a data processing system, a set of one or more predicates, wherein each predicate represents at least one of a property, attribute, trait, characteristic, function, relation, relationship, measurement, constraint, semantic property, action, coding sequence, objective, goal, and criteria;
identifying, by the information resource manager, one or more facts that satisfy each of the one or more predicates in the set, wherein each predicate in the set of predicates is satisfied by at least one of the one or more facts;
grouping the one or more facts by a point of evidence to generate one or more groups of facts;
sorting the one or more groups of facts based on a number of predicates that have been satisfied;
rejecting one or more duplicate groups of facts from the one or more groups of facts; and
designating one of group containment and group domination of the one or more groups of facts as a partial order of the predicate lattice.
0 Assignments
0 Petitions
Accused Products
Abstract
An information resource manager initilizes a set of one or more predicates, where each predicate represents at least one of a property, attribute, trait, characteristic, function, relation, relationship, measurement, constraint, semantic property, action, coding sequence, objective, goal, and criteria. One or more facts are identified that satisfy each of the predicates, where at least one entity of the facts satisfies all predicates in the set of predicates. The one or more facts are grouped by a point of evidence to generate one or more groups of facts. The one or more groups of facts are sorted based on a number of predicates that have been satisfied. One or more duplicate groups of facts are rejected from the one or more groups of facts. One of group containment and group domination of the one or more groups of facts is designated as a partial order of the predicate lattice.
6 Citations
20 Claims
-
1. A computer-implemented method to form a predicate lattice, the method comprising:
-
initializing, by an information resource manager executed in a memory by a processor of a data processing system, a set of one or more predicates, wherein each predicate represents at least one of a property, attribute, trait, characteristic, function, relation, relationship, measurement, constraint, semantic property, action, coding sequence, objective, goal, and criteria; identifying, by the information resource manager, one or more facts that satisfy each of the one or more predicates in the set, wherein each predicate in the set of predicates is satisfied by at least one of the one or more facts; grouping the one or more facts by a point of evidence to generate one or more groups of facts; sorting the one or more groups of facts based on a number of predicates that have been satisfied; rejecting one or more duplicate groups of facts from the one or more groups of facts; and designating one of group containment and group domination of the one or more groups of facts as a partial order of the predicate lattice. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13)
-
-
14. A data processing system, comprising:
-
a processor; a memory coupled to the processor; and an information resource manager executed in the memory by the processor, the information resource manager configured to perform operations, the operations including initializing a set of one or more predicates, wherein each predicate represents at least one of a property, attribute, trait, characteristic, function, relation, relationship, measurement, constraint, semantic property, action, coding sequence, objective, goal, and criteria, identifying one or more facts that satisfy each of the one or more predicates in the set, wherein each predicate in the set of predicates is satisfied by at least one of the one or more facts; grouping the one or more facts by a point of evidence to generate one or more groups of facts, sorting the one or more groups of facts based on a number of predicates that have been satisfied, rejecting one or more duplicate groups of facts from the one or more groups of facts, and designating one of group containment and group domination of the one or more groups of facts as a partial order of the predicate lattice. - View Dependent Claims (15, 16)
-
-
17. A non-transitory computer-readable medium having instructions stored therein, which when executed by a computer, cause the computer to perform a method of forming a predicate lattice, the method comprising:
-
initializing, by an information resource manager executed in a memory by a processor of a data processing system, a set of one or more predicates, wherein each predicate represents at least one of a property, attribute, trait, characteristic, function, relation, relationship, measurement, constraint, semantic property, action, coding sequence, objective, goal, and criteria; identifying by the information resource manager, one or more facts that satisfy each of the one or more predicates in the set, wherein each predicate in the set of predicates is satisfied by at least one of the one or more facts; grouping the one or more facts by a point of evidence to generate one or more groups of facts; sorting the one or more groups of facts based on a number of predicates that have been satisfied; rejecting one or more duplicate groups of facts from the one or more groups of facts; and designating one of group containment and group domination of the one or more groups of facts as a partial order of the predicate lattice. - View Dependent Claims (18, 19, 20)
-
Specification