公开(公告)号：US10789260B2

公开(公告)日：2020-09-29

申请号：US15090754

申请日：2016-04-05

Applicant: Cray Inc.

Inventor： David Mizell ,  Christopher Douglas Rickett ,  Andrew Steven Kopser

IPC: G06F16/248 ,  G06F16/80 ,  G06F16/22 ,  G06F16/2455

Abstract: A method and system for identifying results of a query that includes a type predicate is provided. A search system maintains a collection of facts that includes a triple for each fact and a type table that maps entities of the facts to their corresponding type. The search system uses the type table to speed up the process of identifying the search results when the query includes a non-type query triple and a type query triple. A type query triple is a triple that has a type predicate, rather than a non-type predicate. To execute a query that contains a non-type query triple and a type query triple, the search system identifies the triples of the collection that match the non-type query triple. The search system then uses the type table to determine which of the identified triples match the type query triple for inclusion in the search results.

公开(公告)号：US20160217189A1

公开(公告)日：2016-07-28

申请号：US15090754

申请日：2016-04-05

Applicant: Cray Inc.

Inventor： David Mizell ,  Christopher Douglas Rickett ,  Andrew Steven Kopser

IPC: G06F17/30

CPC classification number: G06F16/248 ,  G06F16/2282 ,  G06F16/2455 ,  G06F16/80

Abstract: A method and system for identifying results of a query that includes a type predicate is provided. A search system maintains a collection of facts that includes a triple for each fact and a type table that maps entities of the facts to their corresponding type. The search system uses the type table to speed up the process of identifying the search results when the query includes a non-type query triple and a type query triple. A type query triple is a triple that has a type predicate, rather than a non-type predicate. To execute a query that contains a non-type query triple and a type query triple, the search system identifies the triples of the collection that match the non-type query triple. The search system then uses the type table to determine which of the identified triples match the type query triple for inclusion in the search results.

公开(公告)号：US10296834B2

公开(公告)日：2019-05-21

申请号：US14458509

申请日：2014-08-13

Applicant: Cray Inc.

Inventor： David Mizell ,  Christopher Douglas Rickett

IPC: G06N5/04 ,  G06N5/02

Abstract: A method and system for inferring facts in parallel in a multiprocessor computing environment is provided. An inference system infers facts by applying rules to a collection of existing facts. For each existing fact, the inference system schedules a thread to apply the rules to that existing fact. As a thread infers a new fact (i.e., one that is not already in the collection of facts), the thread adds that inferred fact to the collection of facts. When a thread adds a new fact to the collection, the thread also applies the rules to that new fact. After the threads complete execution, the inference system may apply the rules to the facts of the collection, including the newly inferred facts, by again launching a thread for each fact to apply the rules to that fact. The inference system performs this processing iteratively until a termination condition is satisfied.

公开(公告)号：US20140351195A1

公开(公告)日：2014-11-27

申请号：US14458509

申请日：2014-08-13

Applicant: Cray Inc.

Inventor： David Mizell ,  Christopher Douglas Rickett

IPC: G06N5/04

CPC classification number: G06N5/04 ,  G06N5/02 ,  G06N5/025

Abstract: A method and system for inferring facts in parallel in a multiprocessor computing environment is provided. An inference system infers facts by applying rules to a collection of existing facts. For each existing fact, the inference system schedules a thread to apply the rules to that existing fact. As a thread infers a new fact (i.e., one that is not already in the collection of facts), the thread adds that inferred fact to the collection of facts. When a thread adds a new fact to the collection, the thread also applies the rules to that new fact. After the threads complete execution, the inference system may apply the rules to the facts of the collection, including the newly inferred facts, by again launching a thread for each fact to apply the rules to that fact. The inference system performs this processing iteratively until a termination condition is satisfied.

Abstract translation: 提供了一种用于在多处理器计算环境中并行推断事实的方法和系统。 推理系统通过对现有事实的集合应用规则来推断事实。 对于每个现有事实，推理系统调度线程以将规则应用于现有事实。 作为一个线索推断出一个新的事实（即，一个尚未收集事实的事实），该线程将该推断的事实添加到事实的收集中。 当一个线程向集合添加一个新的事实时，该线程也将规则应用于新的事实。 在线程完成执行之后，推理系统可以通过再次为每个事实启动线程来应用规则来应用规则到收集的事实，包括新推断的事实。 推理系统迭代地执行该处理直到满足终止条件。