Horn 子句,Horn clauses,在线英语词典,英文翻译,专业英语

1) Horn clauses

Horn 子句

In this paper,formal description of Horn clauses is investigated.

本文研究了 Horn 子句的形式描述,分析了 PROLOG 语言的归结机制,探讨了有选择线性归结及其不完备性,提出的改进技术引入了宽度优先搜索机制,并在理论上作了探讨,解决了使搜索陷入无穷分枝的问题。

2) horn clause

Horn子句

The services available are translated into a set of Horn clause-like rules.

首先,注册服务被转化为一组Horn子句形规则,用户的输入和输出请求分别被转化为Horn子句中的事实和目标,从而将寻找满足用户输入/输出请求的合成服务问题转化为Horn子句的逻辑推理问题;然后,用Petri网来为该Horn子句集建模,T-不变量技术被用来判定是否存在满足用户输入/输出请求的合成服务;最后给出了两种算法来获取既满足用户输入/输出请求又满足用户行为约束的合成服务的Petri网模型。

This paper proposes to construct β-PSML by combining OWL with Horn clauses.

提出了将OWL和Horn子句相结合构建β-PSML语言,它既可以表示OWL中不能表示的多元关系,又可以表示Horn子句难以表示的有丰富等级结构的领域模型。

3) Horn clause set

Horn子句集

Then we use the two neurons to construct a neural network structure of clause set S, and give the resolution algorithm on NN for Horn clause set S.

首先将子句集S表示为δ形,并且用算子对(⊙, )引入两种类型的神经元,然后用这两种神经元构造子句集S的神经网络结构,而后给出基于Horn子句集的神经网络的归结算法,最后证明了该算法的完备性,并用实例进行了验证。

4) Horn's

Horn's法

5) clause

子句

Method of creating ontologies for Prolog clauses;

一种构造Prolog程序子句本体的方法(英文)

As the tableau algorithm would produce a lot of description overlaps when judging the satisfiabilities of concepts(thus wasting much space),a clause-based enhancing mode designed for the language ALCN is proposed.

由于目前tableau算法在判断概念可满足性时会产生大量的描述重复(因而浪费了很多空间),针对描述逻辑语言ALCN提出了一种基于子句重构的tableau增强方式。

This article first discusses the history of the development of SQL,given its characteristics,to discuss the form of examples of the SQL language in the clause"where"and clause"having"the similarities and differences,and elaborated on their use.

先论述了SQL语言的发展历史,列举其特点,以实例形式讨论了SQL语言中的where子句和having子句的异同,并详细阐述了它们的用途。

6) Horn-Schunck method

Horn-Schunck法

参考词条

子句规则 order子句子句模板递归子句一阶子句 SPREADSHEET子句子句权重条件子句 WHERE子句 FROM子句子句关系关系子句驴子句语义子句社会行为生态学政治德性

补充资料：Keratins,cattle horn,saponified and neutralized

CAS: 69430-36-0

中文名称: 角蛋白水解物；水解蛋白；动物蛋白

英文名称: Keratins, hydrolyzates；Cattle hair；Keratin hydrolyzate；Keratins,hydrolyzates；Keratins,cattle horn,saponified and neutralized

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

首页 \| 翻译 \| 影视 \| 论坛 \| 索引 Horn公式 Horn两原则 Horn规则空子句子句集查询子句

1) Horn clauses Horn 子句 1. In this paper,formal description of Horn clauses is investigated. 本文研究了 Horn 子句的形式描述,分析了 PROLOG 语言的归结机制,探讨了有选择线性归结及其不完备性,提出的改进技术引入了宽度优先搜索机制,并在理论上作了探讨,解决了使搜索陷入无穷分枝的问题。 2) horn clause Horn子句 1. The services available are translated into a set of Horn clause-like rules. 首先,注册服务被转化为一组Horn子句形规则,用户的输入和输出请求分别被转化为Horn子句中的事实和目标,从而将寻找满足用户输入/输出请求的合成服务问题转化为Horn子句的逻辑推理问题;然后,用Petri网来为该Horn子句集建模,T-不变量技术被用来判定是否存在满足用户输入/输出请求的合成服务;最后给出了两种算法来获取既满足用户输入/输出请求又满足用户行为约束的合成服务的Petri网模型。 2. This paper proposes to construct β-PSML by combining OWL with Horn clauses. 提出了将OWL和Horn子句相结合构建β-PSML语言,它既可以表示OWL中不能表示的多元关系,又可以表示Horn子句难以表示的有丰富等级结构的领域模型。 3) Horn clause set Horn子句集 1. Then we use the two neurons to construct a neural network structure of clause set S, and give the resolution algorithm on NN for Horn clause set S. 首先将子句集S表示为δ形,并且用算子对(⊙, )引入两种类型的神经元,然后用这两种神经元构造子句集S的神经网络结构,而后给出基于Horn子句集的神经网络的归结算法,最后证明了该算法的完备性,并用实例进行了验证。 4) Horn's Horn's法 5) clause 子句 1. Method of creating ontologies for Prolog clauses; 一种构造Prolog程序子句本体的方法(英文) 2. As the tableau algorithm would produce a lot of description overlaps when judging the satisfiabilities of concepts(thus wasting much space),a clause-based enhancing mode designed for the language ALCN is proposed. 由于目前tableau算法在判断概念可满足性时会产生大量的描述重复(因而浪费了很多空间),针对描述逻辑语言ALCN提出了一种基于子句重构的tableau增强方式。 3. This article first discusses the history of the development of SQL,given its characteristics,to discuss the form of examples of the SQL language in the clause"where"and clause"having"the similarities and differences,and elaborated on their use. 先论述了SQL语言的发展历史,列举其特点,以实例形式讨论了SQL语言中的where子句和having子句的异同,并详细阐述了它们的用途。 6) Horn-Schunck method Horn-Schunck法参考词条子句规则 order子句子句模板递归子句一阶子句 SPREADSHEET子句子句权重条件子句 WHERE子句 FROM子句子句关系关系子句驴子句语义子句社会行为生态学政治德性补充资料：Keratins,cattle horn,saponified and neutralized CAS: 69430-36-0 中文名称: 角蛋白水解物；水解蛋白；动物蛋白英文名称: Keratins, hydrolyzates；Cattle hair；Keratin hydrolyzate；Keratins,hydrolyzates；Keratins,cattle horn,saponified and neutralized 说明：补充资料仅用于学习参考，请勿用于其它任何用途。
©2008 dictall.com