形式化

SHIQ,one of DLs,has been the basis of DAML+OIL which is an ontology language for semantic web and the core part of OWL DL.

与其前驱语义网和框架等不同，DLs具有形式化的、基于逻辑的语义。"形式化的语义和可靠的完全的推理算法是本体描述语言的重要特征"[1]。

Third, he has put forward a formalized OMT in order to solve the problems of equivocality brought about by a non-formalized OMT in its description and such deficiencies as automation's being not easy to realize.

再次，提出一个形式化的OMT(FOMT：Formal OMT)方法，以解决非形式化OMT在描述中所带来的二义性的问题和不便于实现设计的自动化等缺陷。

So it is necessary to research on the definition, classification, characteristics, calculation, and formal model of directional relationships.

因此得出结论：研究空间方向关系中的最基本问题，即空间方向关系的定义、性质、特点、分类、形式化描述机制、基本计算等，是研究工作的当务之急，研究新的空间方向关系形式化描述模型很有必要。

To establish a formal inferential system of intention consequences is an important issue in the formal study of intention.

建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题。

Therefore, for the sake of correct deployment of business processes, it is necessary to formalize WSCI and analyze its model.

本文主要给出了WSCI的分析方法，基于文献[1]给出了形式化模型，提出了该形式化模型下的一种网融合方法。

In order to formalize different types of network architectures, a network behavior formalization method independent of network model and network architecture should be established.

为了形式化不同类型的网络体系结构，必须建立一种独立于具体网络模型或者网络体系结构的网络行为形式化方法。

A universal concept model for policy is proposed, a general policy specification language GPSL is defined based on this model, and a dynamic description logic based goal planning algorithm is given.

我们给出了策略概念模型的形式化定义，把策略分为动作策略、目标策略、效用策略以及混和策略，并对动作做了形式化描述和分类。

Aimed to two major problems: one is not decidable and the other is no clear semantics. We construct a framework with explicit representation and formal semantics of goalsgoal description logics, which integrates two types of goals: declarative goals and procedural goals into one concept based on description logics. In addition, the goal plan is defined and analyzed, and some reasoning problems, such as goal consistency and goal satisfiability, are discussed. Contrary to traditional ways of goal description, GDLs can bridge the gap between theory and practice in a natural way.

针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题，在描述逻辑(description logics，DLs)上，将宣称型和过程型2种类型的目标描述有机地整合在一起，从而构建了具有清晰语义与可判定性的形式化框架--目标描述逻辑(goal description logics， GDLs)，在此基础上，定义了该框架下有关规划规则；建立了可用于判定目标一致性、目标可满足性的方法，与传统的目标描述方法相比，目标描述逻辑为主体领域模型提供了一种更有力的形式化工具，同时为智能主体的模型和设计提供了很好的理论工具。

Therefore, some these fields are thoroughly investigated in this dissertation, which are respectively mentioned as the following: 1. The Formal Description Language ISITL for Intrusion Signatures ISITL is a high-abstractive formal description language for representing intrusion signatures based on the interval temporal logic and first-order predicate calculus.

本论文对此展开了全面深入的研究，其内容主要包括： 1、基于时段时态逻辑和一阶谓词逻辑的入侵特征形式化描述语言ISITL ISITL克服了以往检测语言以"情景描述"为主的缺陷，转而采用形式化的方法来刻画入侵模式的入侵特征。

Combined with the application of OOD in formal specification of distributed multimedia system, a scheme building on ground of LOTOS/QTL (or Esterel/QL) and adopting the idea of OOD has been given. This method can be used to construct time model and synchronization model in distributed multimedia systems.

结合对面向对象技术在分布式多媒体的形式化描述中应用的方法分析，本文提出了一种以LOTOS/QTL或Esterel/QL为基础，融合面向对象技术的形式化描述方案，该方案可用于建立分布式多媒体系统的时间模型和同步模型。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了