查询词典 owl

OWL DL supports those users who want the maximum expressiveness while retaining computational completeness (all conclusions are guaranteed to be computable) and decidability (all computations will finish in finite time).

OWL DL 支持那些需要最强表达能力的推理系统的用户，且这个推理系统能够保证计算的完备性（computational completeness，即所有的结论都能够保证被计算出来）和可判定性（decidability，即所有的计算都在有限的时间内完成）。

OWL DL '' supports those users who want the maximum expressiveness while retaining computational completeness (all conclusions are guaranteed to be computable) and decidability (all computations will finish in finite time).

OWL DL 支持那些需要最强表达能力的推理系统的用户，且这个推理系统能够保证计算的完全性（computational completeness，即所有的结论都能够保证被计算出来）和可判定性（decidability，即所有的计算都在有限的时间内完成）。

OWL DL supports those users who want the maximum expressiveness without losing computational completeness (all entailments are guaranteed to be computed) and decidability (all computations will finish in finite time) of reasoning systems.

OWL DL 支持那些需要最强表达能力的推理系统的用户，且这个推理系统能够保证计算的完全性（computational completeness，即所有的结论都能够保证被计算出来）和可判定性（decidability，即所有的计算都在有限的时间内完成）。

In order to assert that a set of classes is mutually disjoint, there must be an owl:disjointWith

为了声明一组类是互不相交的，我们必须对每两个类都使用owl：disjointWith来声明。

He owns an eagle owl who makes almost daily deliveries of sweets from home.

他拥有一头大雕(译者：虽然人文版中仍译为"猫头鹰"，但eagle owl在字典中的解释是"欧洲产之大雕"，个人认为这里应该有别于普通的猫头鹰)，这头雕几乎每天都从家里给他捎来各式糖果。

Taking the well-performed missile ontology as an example, the author introduces a universal method of constructing Chinese domain ontology, which could hopefully give some suggestions to the basic research on OWL ontology construction and the intelligent information search in semantic Web.

为对第二代网络——语义Web的发展提供一个良好的中文信息组织机制，尝试在现有相关理论研究的基础上，利用OWL网络本体语言建立一个完整的中文领域本体——导弹领域本体，并从中归纳构建中文领域本体的通用性方法，以期为OWL本体构建提供一条可行的实践路径，并为未来语义Web智能化检索提供服务。

The existing dichotomous division and trichotomous division of Chinese complex sentence can not meet the needs of description of the relationship of logic-semantic between relation words,for their logic foundation and the basis of the logic of OWL DL vary greatly.

如果要用OWL DL来表达关系词语本体，就必须保证OWL DL对关系词语间逻辑语义关系的描写，这需要外界为OWL DL提供一个具有合适逻辑基础的分类系统。

Secondary, the paper design a system model of the OWL reasoning based on Lisa reasoning engine(reasoning engine based on an object-oriented implementation of the Rete algorithm).

设计一个OWL推理系统原型：在基于Rete算法的Lisa推理引擎的基础上设计了一个基于规则的OWL推理系统原型。

And a new mechanism is provided to store the data of OWL in relational database, the hierarchy structures of classes and properties defined in the OWL are also kept through views of the database system. 2、 Proposed a new method of using Finite State Machine and execution tag tree to describe the excution logic of existing grid service and the goal service specified by users, using Deterministic Propositional Dynamic Logic and FSM to determine the composable of goal service and make the composition plan. The computation complex is also discussed 3、 Designed some algorithms to compose existing grid services according to user requirement.

同时提出了一种新的机制，使用关系型数据库来存储OWL定义的实体，使用视图表示OWL中定义的类之间和属性之间的层次关系； 2、提出了使用有限状态自动机和执行标记树，表示网格系统中存在的网格服务和代表用户需求的目标服务的执行概要和逻辑，结合确定性动态命题逻辑，研究了目标服务的可组合性和自动组合模型，并讨论了组合模型的计算复杂度； 3、设计了一种根据用户需求来组合已存在的网格服务的算法。

OWL adds more vocabulary for describing properties and classes: among others, relations between classes (e.g. disjointness), cardinality e.g.

XML è訨±¤§è RDF éè°è訨 RDF ééè¨è°è°é¨èéè訤¤¨·è¨éééè訰±éèè RDF ¨è§OWL èé±°¨±°éè° OWL è¨è¨é±è¨è°éèè Web éèè¨é±+语意网是网站未来的展望﹐届时网路上的资讯都会被赋予明确的意义﹐让机器可以自动处理并加以整合。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。