自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(18)
  • 资源 (14)
  • 收藏
  • 关注

转载 WEB设计经验--来自微软设计主管

 作为设计主管,Peter Stern 已经领导 microsoft.com重新设计了主页并且开发了五个不同的交互工具,这些工具被用于下载中心、产品目录、配置文件中心、 搜索 和注册等联机功能。他为几个内部工具设计了用户界面,并且正致力于创建将于今年晚些时候发布的下一代主页。 从头衔上,您可能认为我主要关心的是 microsoft.com Web 站点几千个网页的版面设计。的确

2009-02-26 16:19:00 480

转载 JavaScript不能做到的事

 虽然在很多方面,JavaScript可用于改进您的网页并提高您的访问网站的效率,但是也有几件事的JavaScript不能做到的。其中的一些限制是由于该脚本浏览器窗口运行,因此无法访问服务器,而另一些则是出于安全性的考虑,以阻止网页篡改您的计算机。对于这些局限性还没有可以解决的办法,而任何抱怨其电脑不能通过JavaScript执行下列任务的人,是因为没有对所要做的事情考虑周全。  没有

2009-02-26 09:17:00 390

转载 .NET牛人应该知道些什么

原文地址:http://www.hanselman.com/blog/WhatGreatNETDevelopersOughtToKnowMoreNETInterviewQuestions.aspx 作者:Scott Hanselman译文出自:http://www.cnblogs.com/tonyqus/archive/2008/02/22/1043005.html译者:Tony Qu前些日子我发

2009-02-25 22:23:00 493

转载 电子书籍下载大汇总,超级经典,超级汇总!

 电子书籍下载大汇总,超级经典,超级汇总!《Visual C++ 2005入门经典中文版 红皮书 PDF》 java爱好者必备--JAVA解惑(中文版PDF) 一本关于Solaris系统的基本管理指南(高清PDF) Windows平台Oracle RAC 集群安装过程(PDF) Building.Embedded.Linux.Systems(PDF)

2008-12-14 14:30:00 771

转载 Asp.Net 学习资源列表

Asp.Net 学习资源列表名称:快速入门 地址:http://chs.gotdotnet.com/quickstart/ 描述:本站点是微软.NET技术的快速入门网站,我们不必再安装.NET Framework中的快速入门示例程序,直接在网上查看此示例即看。 名称:微软官方.NET指导站点 地址:http://www.gotdotnet.com/ 描述

2008-12-14 14:01:00 381

转载 切换Word 2007 窗口后出现鼠标无法使用

a。打开word选项,选择“加载项”  c.如下图,在最下端的"管理"右侧的下拉框中选择"COM加载项",然后点击"转到按钮",就会出现你的word的COM加载项列表,取消了(把前面的勾去掉即可,不用删除)所有不必要的加载项。      取消了所有不必要的加载项后重新打开word,问题解决。  PS:经过测试,导致该问题的加载项是PowerDesigner12的加载项,所以只要

2008-12-12 22:31:00 470

转载 ASP.NET中如何防范SQL注入式攻击

一、什么是SQL注入式攻击?      所谓SQL注入式攻击,就是攻击者把SQL命令插入到 Web表单的输入域或页面请求的查询字符串,欺骗服务器执行恶意的SQL命令。在某些表单中,用户输入的内容直接用来构造(或者影响)动态SQL命令,或作为存储过程的输入参数,这类表单特别容易受到SQL注入式攻击。常见的SQL注入式攻击过程类如:      ⑴ 某个ASP.NET Web应用有一个登录页面,这个登录

2008-12-12 21:20:00 343

转载 正则表达式全部符号解释

正则表达式全部符号解释 字符 描述/ 将下一个字符标记为一个特殊字符、或一个原义字符、或一个 向后引用、或一个八进制转义符。例如,n 匹配字符 "n"。/n 匹配一个换行符。序列 // 匹配 "/" 而 "/(" 则匹配 "("。^ 匹配输入字符串的开始位置。如果设置了 RegExp 对象的 Multiline 属性,^ 也匹配 /n 或

2008-12-12 13:31:00 385

转载 c/c++常用资源 c/c++书籍下载

c/c++常用资源 aix在线文档: http://publib16.boulder.ibm.com/cgi-bin/ds_rslt#1 各种c/c++编译器 http://www.clipx.net/norton.php UNIX Programming FAQ v1.37 http://www.erlenstar.demon.co.uk/unix/faq_toc.html UNIX Progr

2007-07-29 10:20:00 1031

转载 c/c++面试题

1.已知strcpy函数的原型是:        char * strcpy(char * strDest,const char * strSrc);    1.不调用库函数,实现strcpy函数。    2.解释为什么要返回char *。解说:    1.strcpy的实现代码        char * strcpy(char * strDest,const char * strSrc) 

2007-07-29 10:16:00 1109

转载 VC中ASSERT的用法

ASSERT(    pcage!=    NULL    )      ASSERT(    pcage->IsKindOf(    RUNTIME_CLASS(    CAge    )    )    )      编译过程中判断语句的成功(合法)函数是一种断言语句。主要用来调试程序就是说Debug(调试)的时候,ASSERT(    *******)    这句要运行,    

2007-07-26 14:17:00 2471

转载 MFC窗口的颜色和字体的设置

1、改变对话框的底色在对话框的类中添加一个 private : CBrush m_brush;的成员变量。在类的构造函数中添加如下代码:m_brush.CreateSolidBrush(RGB(0,0,255));    //初始化为蓝色为对话框添加一个WM_CTLCOLOR消息响应函数,专门为控件着色的消息响应函数,代码如下:HBRUSH CSettingDlg::OnCtlCo

2007-07-26 14:15:00 3341

转载 添加消息处理函数或重载MFC类

目标在类中,添加一个消息处理函数或者重载一个M F C成员函数。策略首先,用Class Wi z a r d自动地添加一个消息处理函数或重载成员函数;然后,讨论当需要的处理函数或重载函数在Class Wi z a r d指令系统的外面时,怎样手工完成该工作。步骤1. 利用Class Wi z a r d添加消息处理函数或重载类1) 单击Developer Studio的View/Class W

2007-07-26 14:12:00 2728 1

转载 可改变颜色的文本,可实现透明文本

首先有个问题必须弄明白:消息反射——允许控件在给父窗口发送OnCtlColor消息前就自行处理的消息几种属性——前景色,背景色,背景刷。                          一个CStaitc控件在UI表现上有以上3种属性。前景色即文本颜色,背景色是文本背后的颜色。                          画刷则控制整个控件区域的色彩显示,如果控件区域比文本

2007-07-26 11:33:00 757

转载 通用对话框函数说明(CFileDialog,CColorDialog,CFontDialog)

在Windows系统中提供了一些通用对话框如:文件选择对话框如图,颜色选择对话框如图,字体选择对话框如图。在MFC中使用CFileDialog,CColorDialog,CFontDialog来表示。一般来讲你不需要派生新的类,因为基类已经提供了常用的功能。而且在创建并等待对话框结束后你可以通过成员函数得到用户在对话框中的选择。CFileDialog文件选择对话框的使用:首先构造一个对象并提供

2007-07-26 11:31:00 1081

原创 CEdit & CRichEdit 使用技巧

设置edit只读属性    方法一:                m_edit1.SetReadOnly(TRUE);    方法二:                ::SendMessage(m_edit1.m_hWnd, EM_SETREADONLY, TRUE, 0);2.判断edit中光标状态并得到选中内容(richedit同样适用)        int nStart, nEnd;  

2007-07-26 11:04:00 703

转载 VC++简单介绍

一、VC是什么?学VC是学什么? 首先VC是一个软件(IDE集成开发环境)(编译、编辑、调试) C和C++。但C++中的有些特性是不用的,例如I/O流,多态继承 WindowsSDK(软件开发工具) VC的灵魂:MFC(微软基础类库) ATL(ActiveX模板类库) 其他的SDK,如OpenGL,DirectX,ActiveMoive,DrawDib(WinG) VC是许许多多技术的综合,就好象

2007-07-26 09:39:00 1770

转载 一段男孩与女孩的对话

男孩是个北漂的程序员,薪水微薄,但又想在北京买车、买房……        女孩很漂亮,但家境不太好。男孩心疼她,平时在花钱方面不太约束女孩,一来怕委屈了女孩,二来是因为比较爱面子、怕别人(特别是女孩的朋友们)说自己是个白领还那么寒酸。        女孩花钱越来越没有节制。        男孩的生活负担越来越重。        女孩开始透支未来,甚至盯上了男孩尚未结算的挑灯熬夜挣来的私活钱

2007-07-24 13:53:00 594

Handbook on Ontologies (International Handbooks on Information Systems)

非常难找,我想大家也有同样的苦处吧。找到的也大部分是收费的。所以就10分了。希望大家谅解! Handbook on Ontologies (International Handbooks on Information Systems) By Steffen Staab, Rudi Studer Publisher: Springer 2009 | 811 Pages | ISBN: 3540709991 | File type: PDF | 7 mb An ontology is a formal description of concepts and relationships that can exist for a community of human and/or machine agents. The notion of ontologies is crucial for the purpose of enabling knowledge sharing and reuse. The Handbook on Ontologies provides a comprehensive overview of the current status and future prospectives of the field of ontologies considering ontology languages, ontology engineering methods, example ontologies, infrastructures and technologies for ontologies, and how to bring this all into ontology-based infrastructures and applications that are among the best of their kind. The field of ontologies has tremendously developed and grown in the five years since the first edition of the quot;Handbook on Ontologiesquot;. Therefore, its revision includes 21 completely new chapters as well as a major re-working of 15 chapters transferred to this second edition.

2010-06-15

《Java 2 图形设计卷Ⅱ- SWING》-电子书下载(机械工业出版社)(CHM)

书名:Java 2 图形设计卷Ⅱ- SWING(电子书) 格式:CHM 出版色:机械工业出版社 作者:(美)David M.Geary 著 李建森 蒋欣军 龚尧莞 等译 目录 序   前言   第一部分 Swing基础   第1章 简介    1.1 Swing的历史    1.2 轻量组件与重量组件的比较    1.3 Swing组件     1.3.1 AWT的替代组件 第3章 Swing组件的体系结构    3.1 典型的“模型-视图-控制器”体系结构     3.1.1 插入式视图和控制器     3.1.2 视图更新    3.2 Swing MVC     3.2.1 Swing组件  第9章 反转按钮、复选框和单选框    9.1 JToggleButton类     9.1.1 JToggleButton属性     9.1.2 JToggleButton事件     9.1.3 JToggleButton类总结     9.1.4 AWT兼容    9.2 按钮框    9.3 复选框     9.3.1 JCheckBox属性     9.3.2 JCheckBox事件     9.3.3 JCheckBox类总结

2010-05-30

正则表达式 功能比较齐全

正则表达式 说明 验证工具 安装程序 PDF教程 各种事实举例 可以 使用myeclipse 6.5 jdk1.5版本试试 正则表达式.CHM;正则表达式帮助.chm;正则表达式工具.msi;正则表达式验证器下载.exe;正则代表式.pdf; .project;.classpath......

2010-05-23

C#毕业设计和源码(论文)

包含4个非常经典的C#毕业设计课题,包括设计源码和论文 非常值得下载! 仓库管理系统;MailManageSystem;毕业说明书;C#连连看”作品及论文;仓库管理系统.ppt;教师意见.doc;开题报告.doc......

2010-05-23

css网站设计模板及超级多的资源

超多很漂亮的CSS后台模板,是web开发设计者的很好的参考,很有实用价值: 用户登录;一款漂亮实用的OA系统左侧DIV+CSS菜单;一款非常漂亮的后台管理模板;一款不错的物业管理系统全套html模板;学校管理系统后台模板;网站后台管理系统模板;通用后台管理系统;三款简单通用的后台管理模板;漂亮的深蓝色登陆界面;绿色经典后台模板,适合开发CMS、HR、OA、CRM等;JQUERY结合CSS实现页内数据滚屏分页效果;CSS样式表单美化系列(1)-(9).....

2010-05-23

史上最全的系统分析师新技术应用资料

未来企业信息化的基石—能力服务体系基础 信息集成与信息网格研究进展 基于极限编程的测试分析 基于中间件的分布式系统开发过程的研究 基于XML的三层结构的WEBGIS系统 基于WEB的多层分布式物流管理系统 EAI技术在电信运营支撑系统中的应用 ......

2010-05-21

中国系统分析师经典论文五篇

超级经典的5篇,看了之后,套路就明白了。很多人看了这个论文一般不成问题,即使没做过项目,也能应付得来。

2010-05-20

最新系统分析师希赛模拟试题

最新系统分析师希赛模拟试题.命中率超高。学内花高价内部最新押题。

2010-05-20

家庭本体推理的一个含源代码的学习例子

压缩包含有java实现代码、OWL本体文件、推理规则文件三个文件。 运行前提是需要自己搭建基于Jena的java工作环境。这个网上有很多,自己可以去找。也很容易。 提供给大家分享学习。欢迎拍砖!

2010-05-10

Jerome和Pavel的《Ontology Matching》(2007英文版)

学习本体映射本体匹配的入门经典书籍 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Part I The matching problem 1 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.1 Ontology engineering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.2 Information integration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.3 Peer-to-peer information sharing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 1.4 Web service composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 1.5 Autonomous communication systems . . . . . . . . . . . . . . . . . . . . . . . . . . 20 1.6 Navigation and query answering on the web . . . . . . . . . . . . . . . . . . . . 22 1.7 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 2 The matching problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 2.1 Vocabularies, schemas and ontologies . . . . . . . . . . . . . . . . . . . . . . . . . 29 2.2 Ontology language . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 2.3 Types of heterogeneity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 2.4 Terminology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42 2.5 The ontology matching problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 2.6 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 Part II Ontology matching techniques 3 Classifications of ontology matching techniques . . . . . . . . . . . . . . . . . . . . 61 3.1 Matching dimensions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 3.2 Classification of matching approaches . . . . . . . . . . . . . . . . . . . . . . . . . 63 3.3 Other classifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70 3.4 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 VIII Contents 4 Basic techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 4.1 Similarity, distances and other measures . . . . . . . . . . . . . . . . . . . . . . . 73 4.2 Name-based techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 4.3 Structure-based techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92 4.4 Extensional techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105 4.5 Semantic-based techniques. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110 4.6 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115 5 Matching strategies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 5.1 Matcher composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 5.2 Similarity aggregation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121 5.3 Global similarity computation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126 5.4 Learning methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133 5.5 Probabilistic methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141 5.6 User involvement and dynamic composition . . . . . . . . . . . . . . . . . . . . 142 5.7 Alignment extraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144 5.8 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149 Part III Systems and evaluation 6 Overview of matching systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153 6.1 Schema-based systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154 6.2 Instance-based systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169 6.3 Mixed, schema-based and instance-based systems . . . . . . . . . . . . . . . 176 6.4 Meta-matching systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 184 6.5 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186 7 Evaluation of matching systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193 7.1 Evaluation principles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193 7.2 Data sets for evaluation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198 7.3 Evaluation measures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203 7.4 Application-specific evaluation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 213 7.5 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 216 Part IV Representing, explaining, and processing alignments 8 Frameworks and formats: representing alignments . . . . . . . . . . . . . . . . 219 8.1 Alignment formats . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219 8.2 Alignment frameworks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 235 8.3 Ontology editors with alignment manipulation capabilities . . . . . . . . 241 8.4 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 243 Contents IX 9 Explaining alignments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 245 9.1 Justifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 245 9.2 Explanation approaches . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247 9.3 A default explanation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 249 9.4 Explaining basic matchers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 251 9.5 Explaining the matching process . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 252 9.6 Arguing about correspondences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 255 9.7 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 257 10 Processing alignments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 259 10.1 Ontology merging . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 260 10.2 Ontology transformation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 261 10.3 Data translation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 261 10.4 Mediation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262 10.5 Reasoning . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 264 10.6 Towards an alignment service . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 264 10.7 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265 Part V Conclusions 11 Conclusions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 269 11.1 A brief outlook of the trends in the field . . . . . . . . . . . . . . . . . . . . . . . . 269 11.2 Future challenges . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 270 11.3 Final words . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 274 Appendix A: Legends of figures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 275 Appendix B: Running example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 277 Appendix C: Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 289 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 297 Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 323

2010-05-10

Jena API英文版

All Classes AbstractDateTime AddDeniedException AddOne ALiteral AllDifferent AllValuesFromRestriction AlreadyExistsException AlreadyLinkedViewException AlreadyReifiedException Alt AltHasNoDefaultException AnnotationProperty AnonId Applyer AResource

2010-03-30

国际会议论文排版及格式要求

论文构成及顺序: 排版软件: 页面设置: 文档网格: 整篇文档段落设置: ......

2010-03-17

Introduction to Process Algebra(进程代数)

进程代数英文为:process algebra,在英文中,这个词组中的process代表一个system(系统的)behavior(行为);一个系统就是一个能表现出各种行为的事物,在计算机世界,process主要指一个软件系统的行为;这句话很抽象,说白了就是,一个软件系统可以表现为一个动作(action),比如转换一个文件的格式,也可以发生一个个事件(event),比如格式转换完毕,另外,一个软件系统也可以在一定的序列下完成一系列动作(action);我们可以从各个角度(aspect)去观察一个系统的行为。研究者往往会关注一个角度的系统行为,这是他们会把系统进行抽象,称这种抽象为对系统行为的一种观察(observation)

2010-03-02

描述逻辑手册中文版的第一章和第二章加个人PPT

描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。作为一种知识表示的有效机制,描述逻 辑被广泛地应用到计算机科学的许多领域中。

2010-03-02

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除