Horn子句,horn clause
1)horn clauseHorn子句
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.Based on the work of Motik,Horn-extended DL,by extending description logic with Horn clauses,was proposed.在Motik工作的基础上,提出了对描述逻辑进行Horn子句拓展的Horn-Extended DL,并给出了Horn-Extended DL的Tableau算法,最后通过一个算例验证了算法的正确性和效率。
英文短句/例句

1.Fuzzy Horn Clause Rules and Its Discovery Algorithm模糊Horn子句规则及其发现算法
2.Research on Tableau algorithm for Horn-Extended DLHorn-Extended DL的Tableau算法研究
3.I. Listen and match.听句子,连线并写出句子。
4.Sentences break up into clauses句子可分成若干子句。
5.Sentences break up into clauses and clauses into phrases.句子可以分成子句,子句可以分成短语。
6.Rewrite the following sentences with It is ... that...用Itis…that…句型改写句子。
7.Rewrite the following sentences with it is ... to ...用Itis…to…句型改写句子。
8.analyse the syntax of(a sentence)对(句子)作句法分析.
9.This sentence is an atributive clause.这个句子是定语从句。
10.Union Clause of Visual FoxPRO SQL Language;SQL语句中UNION子句的使用
11.To learn the structure of the compound sentences and know how to make compound sentences.掌握复合句句子的结构,学会写复合句的句子。
12.A four-line stanza is common, but couplets, triplets, and stanzas of five, six or more lines also occur.一段歌词通常有四句,但也有二句、三句、五句、六句,甚至更多句子的。
13.(grammar)a complex sentence,ie one containing subordinate clauses主从复合句(含有从句的句子).
14.a sentence composed of at least one main clause and one subordinate clause.至少包含一个主句和一个从句的句子。
15.Sentences can be broken up into clauses, and clauses into phrases.句子可以分成从句,从句又可分成短语。
16.Make these sentences negative and interrogative.将这些句子改成否定句和疑问句。
17.Sentences can be broken up into clauses, and clauses can be divided into phrases.句子可以分成分句,分句能分成短语。
18.There are three forms of the sentences affirmative, interrogative, and negative.句子有三种形式:肯定句、否定句和疑问句。
相关短句/例句

Horn clause setHorn子句集
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子句集的神经网络的归结算法,最后证明了该算法的完备性,并用实例进行了验证。
3)fuzzy Horn clause rules模糊Horn子句规则
1.However,it is more difficult to discover fuzzy Horn clause rules and its implication degree.模糊Horn子句规则可以用自然语言来表达人类知识。
4)sentence[英]['sent?ns][美]['s?nt?ns]句子
1.Bilateral Causality of Sentences——On "WANG MIAN SI LE FUQING"句子的双向因果链——解读“王冕死了父亲”
2.Results show that it can correctly,exactly judge a statement whether a given sentence belongs to a grammar or not.结果表明:该方法可以正确、准确地识别指定文法的句子。
3.A sentence object and a kind of data structure of model object based on sentences are designed.提出一种基于句子的模型数据结构,实现了基于句子的图文动态编辑与转换;提出用于存储模型层次信息的三叉树结构,实现了基于实体集的模型子部件的块表达,以及系统模型库中可重用模型(部件)的拖放式建模。
5)clause[英][kl?:z][美][kl?z]子句
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)sentences[英]['sent?ns][美]['s?nt?ns]句子
1.Expressional Functions of Modal verb in Sentences;谈能愿动词在句子表达中的作用
2.Many titles in the contributions fail to be precise,abstracts are treated as guidelines,sentences do not conform to publication standard,etc.在来稿中不少稿件标题不确切 ,摘要、提要混淆 ,句子有语病。
3.Frost believed that poetry is a kind of way to express what life is through sounds and the meaning of a poem always contains in the “sounds”of the poem’s sentences.弗罗斯特认为“诗歌是通过喉咙表达生活的一种方式”,诗歌的意义蕴藏在句子的“声音”之中。
延伸阅读

pilos deer horn分子式:分子量:CAS号:性质:鹿科鹿属动物梅花鹿和马鹿尚未骨化的幼角。含色氨酸、赖氨酸等多种氨基酸、前列腺素、性激素等。味甘、咸,性温。能温肾壮阳、生精益血、强筋补髓。主治虚劳羸瘦、血虚眩晕、腰膝酸痛、阳痿滑精。