三、KSL的研究

美国斯坦福大学的知识系统实验室 ^［30］ （Knowledge Systems，Artificial Intelligence Laboratory，简称KSL）无论是在本体建模工具领域还是在本体应用层面的研究方面都站在了知识工程领域的最前沿，其代表项目是DAML Project（DARPA Agent Markup Language Project），该项目研究重点是DAML语言研究，DAML网络服务研究，DAML工具研究和基于DAML的查询应答研究。其主要成果是创建了一种本体描述语言——DAML ^［31］ ，该语言允许用户在其数据上标记语义信息，从而使计算机能对所标注的信息资源进行“理解”。该实验室的Ontolingua server是第一个本体构建工具，这个工具允许分散团体通过Web发表、浏览、创立和编辑存储在Ontolingua server上的本体，从而辅助了协作开发。

目前，KSL的研究主题主要有以下三大方面：

（1）知识共享技术（Knowledge Sharing Technologies），包括：

· 本体的合并及诊断（Ontology Merging and Diagnosis）

· 语义网技术

· 混合推理（Hybrid reasoning）

· 解释异构应用的答案（Explaining answers from heterogeneous applications）

（2）物理系统的建模与分析（Modeling and Analysis of Physical Systems），包括：

· 异构系统的建模、分析和控制（Modeling，Analysis and Control of Hybrid Systems）

· 基于建模支持的分布式协作设计（Model-Based Support of Distributed Collaborative Design）

· 演绎问答（Deductive question-answering）

（3）应用性智能系统（Adaptive Intelligent Systems），包括：

· 知识集成（Knowledge aggregation）

· 本体工程（Ontology engineering）

· 智能分析（Intelligent analysis）

在上述研究主题中，知识共享技术居于研究的首位。而在知识共享技术的研究中，有关本体和以本体为基础的语义网技术的研究又处于首位。由此可见KSL对本体研究的重视程度。目前在研的项目除DAML外，还有CALO，NIMD，RKF，Aquaint，KD-D，Ultralog，NASA等。 L9uXv+QyNYzcVgEw7G4PBTmAG/ZXcsqFFjgSjLpyf34hBxNunNslm6k6um+Qd54I