专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US09372938B2 Augmenting queries when searching a semantic database 有权
标题翻译：在搜索语义数据库时增强查询
公开(公告)号：US09372938B2
公开(公告)日：2016-06-21
申请号：US13529696
申请日：2012-06-21
申请人： David Mizell , Christopher D. Rickett , Andrew S. Kopser
发明人： David Mizell , Christopher D. Rickett , Andrew S. Kopser
IPC分类号： G06F7/00 , G06F17/00 , G06F17/30
CPC分类号： G06F17/30554 , G06F17/30339 , G06F17/30477 , G06F17/30908
摘要： 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.
摘要翻译：提供了一种用于识别包含类型谓词的查询结果的方法和系统。搜索系统维护一系列事实，其中包括每个事实的三元组和将事实实体映射到其对应类型的类型表。当查询包括非类型查询三元组和类型查询三元组时，搜索系统使用类型表来加快标识搜索结果的过程。类型查询三元组是具有类型谓词而不是非类型谓词的三元组。要执行包含非类型查询三元组和类型查询三元组的查询，搜索系统将标识与非类型查询三元组匹配的集合的三元组。然后，搜索系统使用类型表来确定哪些标识的三元组与搜索结果中包含的类型查询三元组匹配。

2. 发明申请

US20130346445A1 AUGMENTING QUERIES WHEN SEARCHING A SEMANTIC DATABASE 有权
标题翻译：搜索语义数据库时的查询问题
公开(公告)号：US20130346445A1
公开(公告)日：2013-12-26
申请号：US13529696
申请日：2012-06-21
申请人： David Mizell , Christopher D. Rickett , Andrew S. Kopser
发明人： David Mizell , Christopher D. Rickett , Andrew S. Kopser
IPC分类号： G06F17/30
CPC分类号： G06F17/30554 , G06F17/30339 , G06F17/30477 , G06F17/30908
摘要： 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.
摘要翻译：提供了一种用于识别包含类型谓词的查询结果的方法和系统。搜索系统维护一系列事实，其中包括每个事实的三元组和将事实实体映射到其对应类型的类型表。当查询包括非类型查询三元组和类型查询三元组时，搜索系统使用类型表来加快标识搜索结果的过程。类型查询三元组是具有类型谓词而不是非类型谓词的三元组。要执行包含非类型查询三元组和类型查询三元组的查询，搜索系统将标识与非类型查询三元组匹配的集合的三元组。然后，搜索系统使用类型表来确定哪些标识的三元组与搜索结果中包含的类型查询三元组匹配。

3. 发明申请

US20130346354A1 FORWARD INFERENCING OF FACTS IN PARALLEL 有权
标题翻译：并发事件的前瞻性感染
公开(公告)号：US20130346354A1
公开(公告)日：2013-12-26
申请号：US13529672
申请日：2012-06-21
申请人： David Mizell , Christopher D. Rickett
发明人： David Mizell , Christopher D. Rickett
IPC分类号： G06N5/02
CPC分类号： G06N5/04 , G06N5/02 , G06N5/025
摘要： 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.
摘要翻译：提供了一种用于在多处理器计算环境中并行推断事实的方法和系统。推理系统通过对现有事实的集合应用规则来推断事实。对于每个现有事实，推理系统调度线程以将规则应用于现有事实。作为一个线索推断出一个新的事实（即，一个尚未收集事实的事实），该线程将该推断的事实添加到事实的收集中。当一个线程向集合添加一个新的事实时，该线程也将规则应用于新的事实。在线程完成执行之后，推理系统可以通过再次为每个事实启动线程来应用规则来应用规则到收集的事实，包括新推断的事实。推理系统迭代地执行该处理直到满足终止条件。

4. 发明授权

US08832014B2 Forward inferencing of facts in parallel 有权
标题翻译：平行推理事实
公开(公告)号：US08832014B2
公开(公告)日：2014-09-09
申请号：US13529672
申请日：2012-06-21
申请人： David Mizell , Christopher D. Rickett
发明人： David Mizell , Christopher D. Rickett
IPC分类号： G06N5/02
CPC分类号： G06N5/04 , G06N5/02 , G06N5/025
摘要： 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.
摘要翻译：提供了一种用于在多处理器计算环境中并行推断事实的方法和系统。推理系统通过对现有事实的集合应用规则来推断事实。对于每个现有的事实，推理系统调度线程以将规则应用于现有事实。作为一个线索推断出一个新的事实（即，一个尚未收集事实的事实），该线程将该推断的事实添加到事实的收集中。当一个线程向集合添加一个新的事实时，该线程也将规则应用于新的事实。在线程完成执行之后，推理系统可以通过再次为每个事实启动线程来应用规则来应用规则到收集的事实，包括新推断的事实。推理系统迭代地执行该处理直到满足终止条件。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式