The formal definitions of OWL ontology and relational database(RDB) schema were given.
给出了OWL本体和关系数据库模式的形式定义；
Listing 2 is an excerpt from ibm-20081028_def.xml, which provides links to formal definitions of terms.
清单2摘录自ibm- 20081028_def . xml文件，它提供了到术语的正式定义的链接。
I don't always strictly define the programming concepts, because formal definitions can be distracting.
我不总是严格定义编程概念，因为形式位址可能正转移。
In many cases, there is lack of formal definitions and dependencies associated with most of a company's data.
在许多情况下，公司的大多数数据都缺少正式的定义和相关的依赖性。
Most of present workflow models lack formal definitions. So it is difficult to support the analysis on correctness and validity of process.
而且现有的工作流模型普遍缺乏严密的定义，很难支持对流程正确性、有效性的分析验证。
This paper presents the formal definitions of predicate transformer seman-rics for both direct and indirect recursive procedures using the concept of WP.
本文对直接递归过程与间接递归过程的谓词变换语义给出了形式化的定义。
In addition, these models still exist a common weakness, that these models lack strict formal definitions. So it is difficult to support the analysis and validity on correctness of process.
此外，这些模型还存在一个共同的缺点，缺乏严格的形式化定义，很难支持对学习过程的正确性的分析与验证。
To solve the problem, the concepts and formal definitions including direct classification schema, tree classification schema, classification rule, and family constraining expression were presented.
为了解决这个问题，给出了直接分类模式、树分类模式、分类法则和科目约束表达式等概念和形式化定义。
From the point of view of program structure and program running, the formal definitions about SIMD and MIMD parallelism are presented clearly, which are criteria of extracting program heterogeneity.
从程序结构和程序运行的观点出发，清楚地给出了SIMD,MIMD并行性的形式定义，它是提取程序异构性的依据。
Formal architectural definitions of the term allow multiple operations, but do not mandate it.
这个术语的正式定义允许但并不强制有多个操作。
By replacing formal function definitions with anonymous functions, you simplify code.
通过用匿名函数来替换正式函数定义，您可简化代码。
It needn't be expensive or rigidly formal; memory-neutral segments can be left uncommented as always, and memory-impacting definitions surely deserve explicit comment.
它不需要昂贵的代价或严格的形式；可以始终取消与内存无关的段的注释，但影响内存的定义当然需要显式注释。
There are many (more or less formal) definitions of what a components is.
对于什么是组件存在着许多种(或正式或非正式)定义。
It is a process framework within which you can formulate process definitions, which can range from very formal, or "heavy," to very flexible, or "lightweight."
它是一个过程框架，您可以在其中制定过程定义，这些定义从非常正式的，或“重型的”，到非常灵活的，或“轻量的”。
This, in short, expresses that the common shares outstanding fact is in the domain of entity information line items, an expression made formal by links to definitions in XBRL taxonomy Web resources.
简而言之，这表示普通股事实位于实体信息行项目范围内，通过链接到XBRL分类Web资源中的定义可以使表达式更加正式。
Notice that page elements such as the div IDs and classes use terminology from the concept definitions, and that the annotations use a direct, formal expression of the terms.
注意，divID和classe等页面元素使用概念定义中的术语，而标注则使用这些术语的直接的、正式的表达。
In doing so, a formal definition of the service can be extended to support policies based upon endpoint definitions.
完成这些之后，服务的标准定义可以被扩展为多个端点之上策略支持。
If we consider the denotation of fictitious concept not to exists, it will result in a series of contradictions of many definitions and rules of formal logics.
如果将虚构概念的外延视作零，将使普通逻辑的许多定义、规则产生一系列的矛盾。
The definitions of informal finance, formal finance and illegal finance are different.
非正式金融、正式金融与违法金融有着不同的界定。
The formal concept definitions of Grid and resource are given and the Grid resource real concept lattice model is proposed.
给出了网格、资源的形式概念定义，建立了网格资源实概念格模型。
The formal concept definitions of grid and resource are given and the fuzzy concept lattice for the grid resources is constructed.
给出了网格、资源的形式概念定义，构造了网格资源模糊概念格。
The formal concept definitions of grid and resource are given and the fuzzy concept lattice for the grid resources is constructed.
给出了网格、资源的形式概念定义，构造了网格资源模糊概念格。
应用推荐