1st Weekend Workshop on Semantic Web *主题： DL Reasonsing
*时间： 2005-7-22，北京时间22:00~24：00
*地点：Semantic Web QQ群(5150641)
*参加人数：20（不包括潜水的）
*技术统计：
一一 177 （注：即iamywm）
jiexincao 41
risesun 38
茜子 37
admin 25
我想去看海 21
microw 19
朝发夕至 16
北冥鲲 16
方便面 12
第一片晨光 11
反方向的钟/$ 10
David 9
happy无限 9
吃好子包家那 6
moshushu 4
Ontology 3
soap 1
+ 1
王创 1
* 以下是讨论记录（略作调整和删节）
===================================
2005-07-22 20:37:08 第一片晨光(64013204)
有人吗？是不是晚上要讨论推理啊
2005-07-22 20:37:32 jiexincao(9177025)
好像说是22：00开始的
2005-07-22 20:38:06 方便面(18313554)
是吗，在哪里啊，我好感兴趣
2005-07-22 20:39:29 第一片晨光(64013204)
就在这里吧
2005-07-22 20:43:04 jiexincao(9177025)
就在这里
2005-07-22 20:43:34 方便面(18313554)
都有谁参与讨论啊
2005-07-22 20:44:02 jiexincao(9177025)
这就不知道了，等版主到了可能会揭晓，呵呵
2005-07-22 20:45:26 jiexincao(9177025)
我也是来听听的，呵呵
2005-07-22 20:46:08 王创(9072306)
我也听
2005-07-22 20:59:35 admin(19364440)
大家都准备好了吗？
2005-07-22 20:59:46 Ontology(33952084)
好了
2005-07-22 20:59:55 +(41483353)
大家都热身完毕了.:)
2005-07-22 20:59:58 北冥鲲(25461865)
[:D]洗耳恭听
2005-07-22 21:00:23 北冥鲲(25461865)
主角还没来吧哈哈阿~
2005-07-22 21:00:24 admin(19364440)
嘿嘿。就等待iamwym的出场了
2005-07-22 21:12:11 David(342223008)
来早了，各位大虾都还没到呢[:P]
2005-07-22 21:17:24 我想去看海(125521406)
大家都准备了哪些问题呢 ？
2005-07-22 21:17:31 我想去看海(125521406)
先热热身
2005-07-22 21:48:42 我想去看海(125521406)
Ian Horrocks，一一的导师？
2005-07-22 21:49:28 jiexincao(9177025)
一一就是斑竹？
2005-07-22 21:49:37 我想去看海(125521406)
对
2005-07-22 21:49:58 朝发夕至(41782783)
一一的导师不是Ian,不过他说今天会把Ian的PHD拉来
2005-07-22 21:50:29 jiexincao(9177025)
万事具备，只等斑竹
2005-07-22 21:50:58 Ontology(33952084)
ian啊跟一一是师兄第，对不？
2005-07-22 21:51:20 Ontology(33952084)
师出同门
2005-07-22 21:51:36 jiexincao(9177025)
斑竹，对你钦佩的如滔滔江水，连绵不绝，可否介绍一下自己？
2005-07-22 21:51:39 朝发夕至(41782783)
强啊，羡慕
2005-07-22 21:52:06 一一(13176246)
-,=
2005-07-22 21:52:15 我想去看海(125521406)
一一先介绍一下
2005-07-22 21:52:41 一一(13176246)
Ian是Alan Rector 97年的Phd，偶是Alan 04年的master，差距不是一点点
2005-07-22 21:58:47 一一(13176246)
大家准备好了不？
2005-07-22 21:58:52 茜子(31679387)
我问一个最基本的问题，推理能干嘛？最好举个例子说下
2005-07-22 21:59:08 我想去看海(125521406)
先给大家普及一下推理工具
2005-07-22 21:59:22 反方向的钟/$(32039359)
我就知道fact jena
2005-07-22 21:59:37 反方向的钟/$(32039359)
jena是一个api，开发包
2005-07-22 21:59:37 jiexincao(9177025)
推理能干嘛在DL handbook里有
2005-07-22 22:00:13 David(342223008)
pellet
2005-07-22 22:00:20 我想去看海(125521406)
Reasoners
KAON2 is a reasoner for OWL extended with the DL-safe subset of SWRL; it also provides an OWL API.
FaCT -- a DL reasoner. see WonderWeb project, Bechhofer 15 Sep.
Racer -- a DL reasoner. see Horrocks 12Sep
Cerebra from Network Inference - owl syntax checker, nearly complete OWL DL Horrocks 12Sep
cwm -- useful but incomplete OWL Full
Euler -- useful but incomplete OWL Full,see De Roo 11 Jul: 51 / 234 tests
surnia -- OWL full reasoner based on otter. Hawke 26Aug
Jena/HP ( Reynolds/HP 7 May)will support OWL reasoning.
Vampire Horrocks 17 Jul - uses a first-order theorem prover to do OWL DL
Pellet is a reasoner built in Java that was designed specifically for OWL reasoning. Hendler/Sirin/Parsia 15Sep).
SWI-Prolog Semantic Web Library contains owl.pl - an OWL reasoning package.
F-OWL is an f-logic based Owl tool from UMBC.
E-wallet is an e-commerce and mobile computing tool based on a rule-based OWL reasoner.
2005-07-22 22:00:32 admin(19364440)
这个全了。呵呵
2005-07-22 22:01:07 jiexincao(9177025)
protege本身还可以推理，算到jena里？
2005-07-22 22:01:35 microw(156660252)
1. 为什么已经有了owl标准，还有那么多reasoner的实现和owl标准有差别呢？原因是技术上的还是？
2005-07-22 22:01:55 我想去看海(125521406)
protege不能推理把
2005-07-22 22:02:01 一一(13176246)
因为每个人都想用自己的reasoner啊
2005-07-22 22:02:02 jiexincao(9177025)
推理在OWL之前很多年就研究了啊
2005-07-22 22:02:04 方便面(18313554)
protege本身不能推理，只是调用别的推理机的接口
2005-07-22 22:02:07 反方向的钟/$(32039359)
我觉得大家还是听一个人说比较好
2005-07-22 22:02:12 一一(13176246)
可以得，监测consistency咯
2005-07-22 22:02:24 我想去看海(125521406)
一致性检测
2005-07-22 22:02:34 反方向的钟/$(32039359)
然后大家再讨论，要不会很乱的
2005-07-22 22:02:49 一一(13176246)
是的，谁先发言？
2005-07-22 22:02:49 第一片晨光(64013204)
谁研究多本体协作推理的？
2005-07-22 22:02:54 我想去看海(125521406)
还是一一主持好了
2005-07-22 22:03:12 一一(13176246)
行，我来主持
2005-07-22 22:03:34 一一(13176246)
大家安静一下噢
2005-07-22 22:03:34 反方向的钟/$(32039359)
一一 再次鼓掌[v]
2005-07-22 22:04:06 一一(13176246)
首先，对这次活动有准备的，举手一下
2005-07-22 22:04:06 admin(19364440)
(鼓掌)
2005-07-22 22:04:20 microw(156660252)
[v]
2005-07-22 22:04:23 反方向的钟/$(32039359)
[weak]
2005-07-22 22:04:34 jiexincao(9177025)
准备学习，正好在看dl
2005-07-22 22:04:37 我想去看海(125521406)
准备不多
2005-07-22 22:04:47 北冥鲲(25461865)
是准备了一些问题
2005-07-22 22:04:50 David(342223008)
看过一些
2005-07-22 22:04:53 第一片晨光(64013204)
我有准备
2005-07-22 22:04:54 茜子(31679387)
借这个机会入门
2005-07-22 22:05:08 一一(13176246)
等等我记一下
2005-07-22 22:05:23 microw(156660252)
有准备
2005-07-22 22:05:27 admin(19364440)
继续呀！
2005-07-22 22:05:37 反方向的钟/$(32039359)
有一点准备，但是了解的不多
2005-07-22 22:06:37 happy无限(34277245)
大家好。
2005-07-22 22:06:50 一一(13176246)
microw(156660252) 15:04:20
反方向的钟 (32039359) 15:04:23
我想去看海(125521406) 15:04:37
David(342223008) 15:04:5
北冥鲲(25461865) 15:04:47第一片晨光(64013204)
2005-07-22 22:07:02 一一(13176246)
除了这几位，还有没有准备过的？
2005-07-22 22:07:02 反方向的钟/$(32039359)
恩，不过我改群名了
2005-07-22 22:07:07 反方向的钟/$(32039359)
我现在叫贝塔
2005-07-22 22:07:47 一一(13176246)
microw(156660252) 15:04:20
反方向的钟 (32039359) 15:04:23
我想去看海(125521406) 15:04:37
David(342223008) 15:04:5
北冥鲲(25461865) 15:04:47 第一片晨光(64013204)
2005-07-22 22:07:52 一一(13176246)
"除了这几位，还有没有准备过的？
2005-07-22 22:10:19 microw(156660252)
[:|]
2005-07-22 22:10:48 David(342223008)
go on
2005-07-22 22:11:08 第一片晨光(64013204)
想问一下多本体推理研究的最前沿是什么？
2005-07-22 22:11:14 一一(13176246)
如果没有的话，就从microw开始吧
2005-07-22 22:11:17 一一(13176246)
一个个来，呵呵
2005-07-22 22:11:18 第一片晨光(64013204)
推理是不是大家都用DL吧
2005-07-22 22:11:28 第一片晨光(64013204)
OK，microw先。。。
2005-07-22 22:11:51 microw(156660252)
好的
2005-07-22 22:12:31 microw(156660252)
which provides functionalities to
see the species validation,
check consistency of ontologies,
classify the taxonomy,
check entailments
answer a subset of RDQL queries (known as ABox queries in DL terminology).你觉得目前每个小topic有更好研究的建议吗？细节一些
2005-07-22 22:12:52 microw(156660252)
前面是推理提供了
2005-07-22 22:14:37 一一(13176246)
一般现在的dl研究方向上，大家都很不统一
2005-07-22 22:15:00 一一(13176246)
主要两个大方向就是TBox和ABox的推理
2005-07-22 22:15:05 一一(13176246)
一般现在的dl研究方向上，大家都很不统一
2005-07-22 22:15:08 一一(13176246)
主要两个大方向就是TBox和ABox的推理
2005-07-22 22:15:32 一一(13176246)
分下去的话，TBox关心的东西就是怎么提高性能
2005-07-22 22:15:48 一一(13176246)
ABox就是怎么样使得DL能推理的跟细节化的关系
2005-07-22 22:15:58 一一(13176246)
但是具体到研究上，往往就不是这样子
2005-07-22 22:16:13 一一(13176246)
大家可以看看iswc 2005 reasoning方向中的论文
2005-07-22 22:17:00 一一(13176246)
主要是Ian，Uli, huang zhisheng, frank, pascal
2005-07-22 22:17:37 一一(13176246)
他们很喜欢把一些现有的logic引入到本体推理中
2005-07-22 22:18:10 一一(13176246)
比如那个关于temporal logic推理ontology versioning那篇
2005-07-22 22:18:30 一一(13176246)
所以从小方向来说，可以做得东西几乎是没什么限制的
2005-07-22 22:18:56 一一(13176246)
比如那个关于temporal logic推理ontology versioning那篇
2005-07-22 22:19:12 一一(13176246)
我个人感觉现在dl的发展有点乱
2005-07-22 22:19:33 一一(13176246)
不过我局的这好像有点偏题，我们要谈的是reasoner的比较
2005-07-22 22:19:48 一一(13176246)
这里有没有谁对某个reasoner能够说上两句的？
2005-07-22 22:19:55 microw(156660252)
对，我才看了，我现在看e-connection，它的目的是想将各种逻辑同一起来，但是感觉不现实
2005-07-22 22:20:08 一一(13176246)
这里有没有谁对某个reasoner能够说上两句的？
2005-07-22 22:20:16 jiexincao(9177025)
我来问一个问题啊
2005-07-22 22:20:18 jiexincao(9177025)
＝“protege本身不能推理，只是调用别的推理机的接口 ”我上次使用protege建了一个OWL File，指定了一个属性R为symmetric属性，建了实例a以后，说明（a，R，b），那么protege里自动出现（b，R，a）,是不是也可以说protege可以推理，不是根据规则表达出了隐含语义了？
2005-07-22 22:21:11 一一(13176246)
protege的推理功能有限
2005-07-22 22:21:22 一一(13176246)
并不是不能推理，谁说不能推理的？
2005-07-22 22:21:46 一一(13176246)
protege不能检测可满足性
2005-07-22 22:21:52 方便面(18313554)
呵呵 好像是我说的，因为我就是外挂了一个racer推理机的
2005-07-22 22:21:55 admin(19364440)
推理能力有限
2005-07-22 22:21:55 risesun(124660801)
protege包含很多owl插件，可以利用jena，可是实现一定的推理功能
2005-07-22 22:22:08 我想去看海(125521406)
这个应该是symmetric属性本身的性质把
2005-07-22 22:22:28 jiexincao(9177025)
不是吧，属性本身没有什么性质——对于机器而言
2005-07-22 22:22:30 risesun(124660801)
我觉得推理的机制是dl
2005-07-22 22:22:58 我想去看海(125521406)
对逻辑而言的
2005-07-22 22:23:11 risesun(124660801)
推理是建立在逻辑的基础上的，一个软件本身不能说明问题
2005-07-22 22:23:21 一一(13176246)
protege调用了jena的api，进行了初步的推理
2005-07-22 22:23:48 一一(13176246)
可是推理显然不够强悍
2005-07-22 22:23:56 jiexincao(9177025)
jena本身的规则的推理就不够强悍
2005-07-22 22:24:11 一一(13176246)
所以咯
2005-07-22 22:24:12 risesun(124660801)
owl支持描述逻辑，protege可以对owl进行表达，所以它可以用来进行推理开发
2005-07-22 22:24:22 方便面(18313554)
jena可以用来编写推理规则吧
2005-07-22 22:24:38 jiexincao(9177025)
protege里可以自定义规则？
2005-07-22 22:24:38 我想去看海(125521406)
可以
2005-07-22 22:24:50 我想去看海(125521406)
jena里面可以
2005-07-22 22:24:50 一一(13176246)
不行
2005-07-22 22:24:56 北冥鲲(25461865)
是编写规则然后用jena 来实现吧
2005-07-22 22:25:00 jiexincao(9177025)
jena不是用来编写规则，而是写好规则让jena用
2005-07-22 22:25:08 北冥鲲(25461865)
恩，同意jiexincao
2005-07-22 22:25:22 risesun(124660801)
jena应该不能定义规则
2005-07-22 22:25:51 risesun(124660801)
规则和具体的领域关系密切，所以不同领域要求不同
2005-07-22 22:25:52 方便面(18313554)
那么JESS和这些推理机的区别是不是它可以自定义推理规则？
2005-07-22 22:26:51 一一(13176246)
定义规则，你用中文都可以规则的
2005-07-22 22:26:57 jiexincao(9177025)
上次论坛里谁说的protege自带的推理机是不是就是基于jena开发的啊？
2005-07-22 22:27:25 一一(13176246)
它不能算是一个推理机
2005-07-22 22:27:26 jiexincao(9177025)
不过在jena里使用中文自定义规则会乱码，
2005-07-22 22:27:35 一一(13176246)
应该是基于jena的
2005-07-22 22:27:47 David(342223008)
我来问一个：
推理机的推理和查询之间关系是如何？可以对现有的这些reasoner的查询语言作个比较吗？
2005-07-22 22:27:49 方便面(18313554)
我的意思是，本体专用推理机一般是用tableau算法，这样不能自定义规则推理
可是一般的推理机，如JESS就可以自定义规则推理
2005-07-22 22:27:56 一一(13176246)
我的意思是定义规则和使用什么开发包无关
2005-07-22 22:28:31 我想去看海(125521406)
本体专用推理机？
2005-07-22 22:28:45 risesun(124660801)
我觉得描述逻辑以及对owl的表达（当然有包括rdf）这是根本，至于是jena或者其他什么开发包只是工具而已
2005-07-22 22:29:07 risesun(124660801)
当然，我们实现需要一个比较好用的工具
2005-07-22 22:29:08 happy无限(34277245)
同意risesun
2005-07-22 22:29:10 茜子(31679387)
同问：
推理机的推理和查询之间关系是如何？
推理到底对于语义web的实现起了什么作用？
2005-07-22 22:29:40 risesun(124660801)
语义查询需要一定的推理
2005-07-22 22:29:41 一一(13176246)
回茜子：去找一个叫做manchester pizza finder的东西
2005-07-22 22:29:49 jiexincao(9177025)
推理得作用可以见DL手册得的二章啊，
2005-07-22 22:30:11 一一(13176246)
用一下你就知道了
2005-07-22 22:30:18 happy无限(34277245)
推理可以利用更多的语义信息。
2005-07-22 22:30:24 risesun(124660801)
语义查询不同于全文查询和关键词查询
2005-07-22 22:30:55 risesun(124660801)
他的特点是对术语体系（或者说知识体系）的表达
2005-07-22 22:30:56 jiexincao(9177025)
“推理可以利用更多的语义信息” 推理是获得更多的语义信息吧？
2005-07-22 22:31:25 risesun(124660801)
我认为推理可以获得一些隐含的语义信息（知识）
2005-07-22 22:31:32 茜子(31679387)
大家说的都是理论理解，有没有谁体验过推理带来的好处？
2005-07-22 22:31:33 jiexincao(9177025)
利用规则获取隐含信息
2005-07-22 22:31:40 一一(13176246)
感觉还是有点乱啊
2005-07-22 22:31:44 北冥鲲(25461865)
我做的主要是集中在基于本体的移动信息检索。
这里面要用到扩展查询需要推理，我想知道把一个概念的子概念，同位概念，父概念以及别的相关信息等信息都检索出来是属于推理的范畴吗？
owl和dl的关系是什么？看论文觉得比较虚。
刚接触问题比较饼呵呵。
2005-07-22 22:31:46 happy无限(34277245)
推理是基于语义信息的推理。
2005-07-22 22:32:12 risesun(124660801)
你说的查找
2005-07-22 22:32:15 jiexincao(9177025)
检索出来不算推理吧
2005-07-22 22:32:17 一一(13176246)
大家先停一停~
2005-07-22 22:32:21 方便面(18313554)
但是要结合规则库进行推理的话，racer这些推理机是做不到的吧
2005-07-22 22:32:22 北冥鲲(25461865)
恩，是有点乱，需要后面整理啊
2005-07-22 22:32:24 happy无限(34277245)
应该不算。
2005-07-22 22:32:45 一一(13176246)
我先对你们这个话题稍微总结一下
2005-07-22 22:32:52 我想去看海(125521406)
推理可以获得一些隐含的语义信息
2005-07-22 22:33:30 risesun(124660801)
里面有没有研究空间信息语义的?
2005-07-22 22:33:39 方便面(18313554)
实际上推理的目的就是实现语义检索
2005-07-22 22:34:19 一一(13176246)
基于推理的查询，实际上就是根据查询的关键词，和预设的语义，在现有知识库中进行查询，这个查询的过程就是利用推理机实现的
2005-07-22 22:34:34 happy无限(34277245)
谁利用dl自己开发过东东。
2005-07-22 22:34:55 risesun(124660801)
语义查询需要知识库支持
2005-07-22 22:34:56 jiexincao(9177025)
那么在查询的时候推理，查询的效率会不会很低啊？
2005-07-22 22:34:58 一一(13176246)
别偏题了
2005-07-22 22:35:03 茜子(31679387)
我形象地理解下，比如我检索计算机，如果基于关键词匹配，就只能计算机了。但是通过推理可以知道，计算机就是电脑，所以关于电脑的信息也被检索到了。
2005-07-22 22:35:25 risesun(124660801)
可以看一下owl-ql
2005-07-22 22:35:28 一一(13176246)
会的，现在推理其，就是效率不高，所以大家都在改进
2005-07-22 22:36:04 吃好子包家那(68797877)
那你怎么推理计算机＝电脑呢？
要用到知识库吧
2005-07-22 22:36:10 jiexincao(9177025)
回茜子：我觉得这个问题不用推理实现，而是语义网环境下得知是表达的问题，你可以看看KIM
2005-07-22 22:36:12 risesun(124660801)
不仅仅是效率不高，具体讲是查准率和查全率的问题
2005-07-22 22:36:27 一一(13176246)
我提议说说大家对每个推理器的认识吧
2005-07-22 22:36:28 一一(13176246)
我提议说说大家对每个推理器的认识吧
2005-07-22 22:36:28 risesun(124660801)
计算机 sameas 电脑
2005-07-22 22:36:39 risesun(124660801)
利用owl可以表达
2005-07-22 22:36:42 北冥鲲(25461865)
计算机-》电脑，这样的查询在词典，叙词表等都可以做到。
现在用本体是为了更多的关系吧
2005-07-22 22:36:53 一一(13176246)
我提议说说大家对每个推理器的认识吧
2005-07-22 22:37:01 一一(13176246)
先从racer开始
2005-07-22 22:37:16 茜子(31679387)
我是举个简单的例子，但是实在不明白推理能干嘛
2005-07-22 22:37:25 happy无限(34277245)
我给大家聚个例子。如何区分计算机中的病毒和医学中的病毒。
2005-07-22 22:37:46 jiexincao(9177025)
namespace
2005-07-22 22:37:46 risesun(124660801)
很简单，就是不同分类体系
2005-07-22 22:37:49 一一(13176246)
先从racer开始
2005-07-22 22:37:52 茜子(31679387)
得有语义环境才能区别啊
2005-07-22 22:38:05 jiexincao(9177025)
还是回到推理机吧其他问题改天啊
2005-07-22 22:38:10 北冥鲲(25461865)
背景知识。
大家有对推理机了解的发言吧
2005-07-22 22:38:22 happy无限(34277245)
对，如何去运用于以推理呢。
2005-07-22 22:38:42 我想去看海(125521406)
问题：基于dl的推理机有racer，fact,pellet,kao2,先谈谈这几个把
2005-07-22 22:38:45 第一片晨光(64013204)
推理的作用分为两大类，一类是为了对建立的本体进行一致性检验，另外就是能够发现人工不好发现的隐含信息，特别是在语义检索中，隐含信息往往是最重要的
2005-07-22 22:39:22 risesun(124660801)
看见看看一些语义网的基本东西
2005-07-22 22:39:28 一一(13176246)
我来说还是有谁了解的来说？
2005-07-22 22:39:31 David(342223008)
Racer支持Abox的推理，提供对property的否定推理
2005-07-22 22:40:02 我想去看海(125521406)
racer是用lisp语言
2005-07-22 22:40:16 一一(13176246)
这些难道fact kaon2就不支持科么？
2005-07-22 22:40:26 方便面(18313554)
lisp和prolog这两种语言有什么区别啊
2005-07-22 22:40:31 北冥鲲(25461865)
一一，先以一个例子开始好吧？
2005-07-22 22:40:40 risesun(124660801)
哈哈，真乱
2005-07-22 22:40:47 一一(13176246)
还是我来说吧
2005-07-22 22:41:13 一一(13176246)
Racer是两个德国佬开发的，在TUHH，汉堡工大
2005-07-22 22:41:54 risesun(124660801)
安装过，没觉得好用
2005-07-22 22:41:55 一一(13176246)
其实racer有很多不足之处，比如对abox的推理
2005-07-22 22:42:06 一一(13176246)
而且推理速度也不快
2005-07-22 22:42:11 一一(13176246)
racer怎么来的呢？
2005-07-22 22:42:20 我想去看海(125521406)
唯一名假设
2005-07-22 22:42:27 一一(13176246)
Ian Horrock 97年的phd论文
2005-07-22 22:42:53 一一(13176246)
对于tableaux算法的优化，然后那两个德国佬就把racer根据这个开发出来了
2005-07-22 22:43:21 一一(13176246)
现在racer因为可以通过protege直接查询，所以在普通用户中比较广泛
2005-07-22 22:43:23 admin(19364440)
哪个instance store部分解决了Abox推理。不知现在搞得怎么样了？
2005-07-22 22:43:34 jiexincao(9177025)
呵呵，原来也与你们家的人有关西啊？
2005-07-22 22:43:54 一一(13176246)
那个Instance store就是把Instance变成了类，速度非常慢，不可以接受
2005-07-22 22:43:56 我想去看海(125521406)
Ian Horrock 97年的phd论文 ，强人
2005-07-22 22:44:05 jiexincao(9177025)
推理机的DIG接口是什么，很多推理界都支持啊
2005-07-22 22:44:47 happy无限(34277245)
dig是一种协议。
2005-07-22 22:44:51 一一(13176246)
The DIG Interface is a standardised XML interface to Description Logics systems developed by the DL Implementation Group (DIG).
2005-07-22 22:45:03 一一(13176246)
DIG其实是为了统一借口用的
2005-07-22 22:45:12 一一(13176246)
The DIG Interface is a standardised XML interface to Description Logics systems developed by the DL Implementation Group (DIG).
2005-07-22 22:45:15 David(342223008)
使用DIG接口时，是否只能用DIG里规定的查询语言
2005-07-22 22:45:24 admin(19364440)
那个Instance store就是把Instance变成了类，速度非常慢，不可以接受
~~~~~class hierarchy的计算比Abox的计算要快些把?
2005-07-22 22:45:40 一一(13176246)
那显然了
2005-07-22 22:46:04 jiexincao(9177025)
那现在那种推理机的效率更好一些呢？
2005-07-22 22:46:16 一一(13176246)
admin，主要是转换的过程慢，因为需要把这个类的关系转化到每个instance上
2005-07-22 22:46:18 admin(19364440)
那显然了
~~~~~~~那就是说。虽然提高了一些效率，但还是不够？
2005-07-22 22:46:27 一一(13176246)
现在效率最好的FaCT
2005-07-22 22:46:28 admin(19364440)
哦。
2005-07-22 22:46:29 jiexincao(9177025)
推理机的效率受到什么的影响？
2005-07-22 22:46:31 admin(19364440)
明白了
2005-07-22 22:46:34 方便面(18313554)
说说这些推理机的区别行吗
2005-07-22 22:46:45 jiexincao(9177025)
FaCT支持Abox的推理？
2005-07-22 22:46:47 admin(19364440)
那么当时轰轰烈烈的iS，现在不做了？
2005-07-22 22:47:47 一一(13176246)
现在他们正在做FaCT abox的更好的推理，现在fact的abox，并不会比racer的要好
2005-07-22 22:48:10 admin(19364440)
Racer现在的商业化进程怎样了？
2005-07-22 22:48:20 一一(13176246)
Ian有个快毕业的phd，以前是ustc的，叫LEI LI，李磊，就是做abox推理的，可以查查他的论文
2005-07-22 22:49:00 一一(13176246)
这个我不清楚，人家的自己的商业秘密
2005-07-22 22:49:06 microw(156660252)
我现在看pellet，版主对它评价如何？
2005-07-22 22:49:19 一一(13176246)
这个我没用过，似乎不是很主流
2005-07-22 22:49:47 David(342223008)
pellet提供源码
2005-07-22 22:49:52 方便面(18313554)
我发现很多Web服务组合的推理机都是选择Pellet的
2005-07-22 22:50:32 一一(13176246)
呵呵，fact和kaon2也提供源码吧
2005-07-22 22:50:52 一一(13176246)
其实umbc做的事情，有点吃力不讨好……
2005-07-22 22:50:55 microw(156660252)
对，我看了一下，它实际上底层用了jena和owl api，然后自己又扩展了一些
2005-07-22 22:51:29 一一(13176246)
我个人不是很感冒umbc的东西
2005-07-22 22:51:52 一一(13176246)
我介绍一点背景资料吧，关于dl
2005-07-22 22:52:11 jiexincao(9177025)
支持，看DL正在郁闷中
2005-07-22 22:52:17 一一(13176246)
其实大家应该有感觉，世界上最牛的哲学家来自于哪个国家
2005-07-22 22:52:24 一一(13176246)
德国
2005-07-22 22:52:27 jiexincao(9177025)
德国
2005-07-22 22:52:50 David(342223008)
抽象、严谨
2005-07-22 22:52:51 一一(13176246)
那很显然的
2005-07-22 22:52:53 北冥鲲(25461865)
嘘！！！！
2005-07-22 22:52:56 一一(13176246)
逻辑学呢？
2005-07-22 22:53:10 一一(13176246)
也是德国，德国的逻辑是最牛的
2005-07-22 22:53:11 admin(19364440)
德国。比利时。
2005-07-22 22:53:16 一一(13176246)
荷兰也不错
2005-07-22 22:53:24 admin(19364440)
恩。荷兰
2005-07-22 22:53:28 一一(13176246)
记住，肯定是日尔曼的人
2005-07-22 22:53:46 一一(13176246)
这其实归咎于日尔曼语系的语法，逻辑非常严密
2005-07-22 22:54:19 一一(13176246)
大家会过来看dl界最牛B的几个人
2005-07-22 22:54:37 一一(13176246)
franz baader，tu dresden
2005-07-22 22:54:53 admin(19364440)
我只知道德国那一片的人logic都强。对于他们的语言还不熟悉。改天研究一下
2005-07-22 22:55:09 一一(13176246)
ulrike sattler, 以前是rwth aachen，现在被ian拖到了manchester
2005-07-22 22:55:57 一一(13176246)
frank van harmelen,在VU amsterdam，就是黄智生博士那个组
2005-07-22 22:56:01 一一(13176246)
ulrike sattler, 以前是rwth aachen，现在被ian拖到了manchester
2005-07-22 22:57:09 一一(13176246)
P. F. Patel-Schneider，贝尔实验室的牛人
2005-07-22 22:57:22 admin(19364440)
牛！！
2005-07-22 22:57:48 一一(13176246)
不过现在有点淡出DL界的感觉，毕竟在业界缘故吧，可能担任了什么主管之类的
2005-07-22 22:58:01 jiexincao(9177025)
好像德国人的名字
2005-07-22 22:59:04 一一(13176246)
Dieter A. Fensel，也是德国人，在因斯布鲁克，deri在那边也有一个实验室
2005-07-22 22:59:12 一一(13176246)
基本上就是这些人了
2005-07-22 22:59:28 jiexincao(9177025)
就是就是，我学过几天德语就只有指点印象了，汗
2005-07-22 23:00:05 一一(13176246)
还有个意大利人，名字想不起来，fraconi什么的
2005-07-22 23:00:49 一一(13176246)
所以呢，这些人，大家了解dl，就看这些人的paper咯
2005-07-22 23:01:11 一一(13176246)
dl是什么？
2005-07-22 23:01:24 一一(13176246)
dl不是为了语义网而设计出来的
2005-07-22 23:01:38 jiexincao(9177025)
它在语义网前面嘛
2005-07-22 23:01:45 一一(13176246)
dl本来就是一个逻辑学的分支
2005-07-22 23:02:06 一一(13176246)
它被人看中用来表示语义网的逻辑
2005-07-22 23:02:08 茜子(31679387)
据说有10多年的历史了
2005-07-22 23:02:19 jiexincao(9177025)
不是在semantic networks和Frame的基础上出来的？
2005-07-22 23:02:26 一一(13176246)
但dl不怎么强悍
2005-07-22 23:03:02 一一(13176246)
所以owl选用了，owl-full, owl-dl，和owl-lite
2005-07-22 23:03:03 admin(19364440)
据说f-logic比DL更弱，一一能谈谈么？
2005-07-22 23:03:24 一一(13176246)
等一下哈~
2005-07-22 23:03:54 一一(13176246)
最无聊的，owl-full和lite基本上没人用
2005-07-22 23:05:47 一一(13176246)
最后大家现在就是在研究owl-dl，就是基于dl的owl
2005-07-22 23:07:15 一一(13176246)
现在大家关心的，最前沿的东西，就是把其他各种逻辑，和dl结合起来，构建推理器
2005-07-22 23:07:29 microw(156660252)
版主，fact有maillist吗？维护的好吗？
2005-07-22 23:08:17 一一(13176246)
一个组就10来个人，一般是直接发邮件的……
2005-07-22 23:09:09 microw(156660252)
那多郁闷啊，
2005-07-22 23:09:55 一一(13176246)
一般他们在protege-owl这个mailist上面
2005-07-22 23:10:35 一一(13176246)
比如说有朋友想拒一个查询的例子
2005-07-22 23:10:45 茜子(31679387)
推理器能干嘛？一一，
我刚才看了你说得那个pizza finder实现的是一致性检测。
除了这个以外呢？
2005-07-22 23:11:02 一一(13176246)
pizza finder不是一致性，而是满足性
2005-07-22 23:11:16 一一(13176246)
我来举个例子，中国人熟悉一点的
2005-07-22 23:11:52 一一(13176246)
比如红酒吧
2005-07-22 23:12:24 一一(13176246)
红酒分为干红和桃红
2005-07-22 23:12:46 一一(13176246)
干红有长城干红，威龙干红
2005-07-22 23:12:53 一一(13176246)
桃红也是这两个
2005-07-22 23:13:27 一一(13176246)
长城干红，桃红，都是12度，威龙的都是14度
2005-07-22 23:13:48 一一(13176246)
那我现在要查一种红酒，14度的桃红
2005-07-22 23:14:24 一一(13176246)
推力器做的事情，就是把*满足*这个条件的所有的概念，全部找出来
2005-07-22 23:14:43 一一(13176246)
推理器找出来的，就是威龙桃红
2005-07-22 23:14:44 茜子(31679387)
怎么感觉像fril
2005-07-22 23:14:53 一一(13176246)
而，*语义
2005-07-22 23:15:01 risesun(124660801)
这需要什么推理啊，就是查询把
2005-07-22 23:15:14 吃好子包家那(68797877)
他还没讲完呢
2005-07-22 23:15:15 risesun(124660801)
rdf查询
2005-07-22 23:15:16 一一(13176246)
而，*语义*在这里，就是定义了“桃红”这个语义
2005-07-22 23:15:37 一一(13176246)
如果没有桃红这个语义，就不行
2005-07-22 23:15:47 一一(13176246)
对，这个是rdf，我还没说完呢
2005-07-22 23:15:58 一一(13176246)
如果没有桃红这个语义，就不行
2005-07-22 23:16:09 risesun(124660801)
那继续——
2005-07-22 23:16:14 一一(13176246)
那rdf和owl区别在哪里？
2005-07-22 23:16:20 一一(13176246)
就是那个关系的东西上
2005-07-22 23:16:25 北冥鲲(25461865)
关系
2005-07-22 23:16:27 一一(13176246)
关系的定义上
2005-07-22 23:16:33 risesun(124660801)
不是同一类东西
2005-07-22 23:16:41 吃好子包家那(68797877)
不错！我懂了
2005-07-22 23:16:44 risesun(124660801)
可以用rdfs和owl作比较
2005-07-22 23:16:59 茜子(31679387)
继续那个例子啊
2005-07-22 23:17:03 risesun(124660801)
rdf是一个数据模型
2005-07-22 23:17:24 一一(13176246)
威龙 具有度数 14
2005-07-22 23:17:25 吃好子包家那(68797877)
嗯，然后咧？
2005-07-22 23:17:31 一一(13176246)
长城 具有度数 13
2005-07-22 23:17:45 一一(13176246)
“具有度数”是一个关系，property
2005-07-22 23:17:54 一一(13176246)
就是一个属性
2005-07-22 23:18:16 吃好子包家那(68797877)
长城 是 主体？
13 是客体？
2005-07-22 23:18:19 一一(13176246)
具有度数，他加了限制
2005-07-22 23:18:37 茜子(31679387)
感觉owl比rdf规定了很多具有固定语义的关系
2005-07-22 23:18:50 一一(13176246)
subject就是酒，object就是度数
2005-07-22 23:18:51 risesun(124660801)
不是限制
2005-07-22 23:19:08 risesun(124660801)
属性
2005-07-22 23:19:08 茜子(31679387)
是限制
2005-07-22 23:19:09 一一(13176246)
现在我来提问
2005-07-22 23:19:30 risesun(124660801)
现在在owl里面有自己的东西
2005-07-22 23:19:39 一一(13176246)
如果长城干红解百衲这么一个概念，具有度数 13
2005-07-22 23:19:44 risesun(124660801)
基数限制之类的
2005-07-22 23:20:01 一一(13176246)
经过reasoner推理之后，长城干红解百衲，会被归类到哪里？
2005-07-22 23:20:14 朝发夕至(41782783)
长城干红解百衲？？？？
2005-07-22 23:20:35 茜子(31679387)
长城
2005-07-22 23:20:47 risesun(124660801)
当然干红
2005-07-22 23:20:55 一一(13176246)
答案就是，它会被自动归类到长城下
2005-07-22 23:20:57 茜子(31679387)
因为满足13度
2005-07-22 23:21:16 一一(13176246)
当然要注意universal restrictiond等问题
2005-07-22 23:21:23 茜子(31679387)
长城是一个本体，长城干红解百衲是满足条件的实例
2005-07-22 23:21:38 茜子(31679387)
对不？
2005-07-22 23:21:48 risesun(124660801)
干红也是一个本体
2005-07-22 23:22:03 茜子(31679387)
但是干红没有说一定要13度啊
2005-07-22 23:22:37 一一(13176246)
我说了，两种不同的条件设置，会造成不同的结果
2005-07-22 23:22:59 risesun(124660801)
instance也没说13度
2005-07-22 23:23:05 risesun(124660801)
就是一个实例，
2005-07-22 23:23:10 一一(13176246)
这里不是instance
2005-07-22 23:23:27 risesun(124660801)
是一个类
2005-07-22 23:24:21 一一(13176246)
如果把这个条件限制放到“存在”，就是作为充分条件，和放到“存在仅存在”，作为充要条件，reasoner的工作结果是不一样的
2005-07-22 23:24:40 一一(13176246)
这就是trival satisfiability的问题
2005-07-22 23:25:14 一一(13176246)
在这里，郑重向大家推荐protege owl tutorial
2005-07-22 23:25:26 一一(13176246)
花2天时间，把上面所有的例子做一下
2005-07-22 23:25:26 moshushu(15426061)
protege2000有个prolog插件和SWI-Prolog Semantic Web Library contains owl.pl是啥关系？还是没关系？
2005-07-22 23:25:57 一一(13176246)
这个偶没有研究过……
2005-07-22 23:26:22 moshushu(15426061)
那都是干吗使得的
2005-07-22 23:26:41 moshushu(15426061)
如果都是推理，有没有比较？
2005-07-22 23:26:42 一一(13176246)
dl其实很简单，但是有些在推理器和owl上面的应用，需要好好琢磨一下才能想通
2005-07-22 23:27:04 一一(13176246)
dl其实很简单，但是有些在推理器和owl上面的应用，需要好好琢磨一下才能想通
2005-07-22 23:27:15 一一(13176246)
好了，基本知识就讲这些了
2005-07-22 23:28:00 一一(13176246)
还有谁要发言的？
2005-07-22 23:29:03 朝发夕至(41782783)
一一前面所说现在前沿的研究是 用其他的逻辑方法+DL来构造推理机
2005-07-22 23:29:30 朝发夕至(41782783)
那么主要在研究用那些其他逻辑 呢
2005-07-22 23:29:41 一一(13176246)
茜子，看了多少paper啊？
2005-07-22 23:30:12 茜子(31679387)
觉得自己看了一些，但是比较杂，不系统。
2005-07-22 23:30:36 茜子(31679387)
感观认识比较多些。
2005-07-22 23:30:41 一一(13176246)
non-monotonic logic, temporal logic,
2005-07-22 23:31:07 一一(13176246)
non-monotonic logic, temporal logic,
2005-07-22 23:31:18 茜子(31679387)
我逻辑看得比较少，所以今天来学习下，发现真是汗颜啊
2005-07-22 23:31:33 一一(13176246)
所以茜子你可以找一个web course，做一下
2005-07-22 23:31:40 茜子(31679387)
？
2005-07-22 23:31:42 一一(13176246)
non-monotonic logic, temporal logic
2005-07-22 23:31:57 朝发夕至(41782783)
非单调逻辑
2005-07-22 23:32:06 朝发夕至(41782783)
temporal logic应该怎么译
2005-07-22 23:32:14 朝发夕至(41782783)
临时？ 临态
2005-07-22 23:32:15 茜子(31679387)
时态逻辑
2005-07-22 23:32:23 朝发夕至(41782783)
时序
2005-07-22 23:32:26 一一(13176246)
时序逻辑吧，不是很清楚
2005-07-22 23:33:08 admin(19364440)
时序
2005-07-22 23:34:26 朝发夕至(41782783)
一一(13176246) 23:31:33
所以茜子你可以找一个web course，做一下
具体一些吧
2005-07-22 23:34:56 一一(13176246)
Non-standard Logics
2005-07-22 23:35:19 一一(13176246)
很多Logic概念都可以借用一点的
2005-07-22 23:35:26 茜子(31679387)
其实对于逻辑，我一直在观望，是不是就一定要把逻辑弄得很透彻呢？
2005-07-22 23:35:31 一一(13176246)
如果借用进来，实现一下，就很不错了
2005-07-22 23:35:40 一一(13176246)
很多Logic概念都可以借用一点的
2005-07-22 23:36:44 一一(13176246)
茜子，http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/
2005-07-22 23:36:49 一一(13176246)
花两个礼拜
2005-07-22 23:37:00 朝发夕至(41782783)
我感觉还是应该把数理逻辑 好好学习，特别是集中在自己有想法的逻辑上
2005-07-22 23:37:08 茜子(31679387)
先谢了先
2005-07-22 23:37:45 microw(156660252)
嗯，这个不错，我前两天才发现，想好好看看
2005-07-22 23:38:02 朝发夕至(41782783)
还有其他火花吗
2005-07-22 23:38:32 朝发夕至(41782783)
还有其他做了准备的，介绍一下吧
2005-07-22 23:39:52 microw(156660252)
版主，我想通过推理对本体映射的结果进行校验，以提高精度，如何？
2005-07-22 23:40:49 一一(13176246)
完全可行啊
2005-07-22 23:41:10 microw(156660252)
但是没有下一步的想法，郁闷
2005-07-22 23:42:36 一一(13176246)
microw，你可以在本体映射前后都对同一个概念进行查询，看结果
2005-07-22 23:43:12 microw(156660252)
嗯，好的，我下面想想，到时候向你请教
2005-07-22 23:43:12 北冥鲲(25461865)
[strong]过一两个月应该再来一次讨论呵呵~~
2005-07-22 23:43:33 茜子(31679387)
不是每周讨论一次的吗？
2005-07-22 23:43:55 第一片晨光(64013204)
建立每周一次！！！！！！！！！！！！！！！！！
2005-07-22 23:44:04 北冥鲲(25461865)
那更好拉哈哈~推理专题还是所有的？
2005-07-22 23:44:04 茜子(31679387)
严重nod
2005-07-22 23:44:14 第一片晨光(64013204)
我反正天天在的
2005-07-22 23:44:26 茜子(31679387)
我也是，每天都挂着
2005-07-22 23:44:27 朝发夕至(41782783)
一一，有没有这种好的国外BBS推荐啊
2005-07-22 23:44:28 第一片晨光(64013204)
每周这时候也会按时来
2005-07-22 23:44:29 admin(19364440)
不过希望大家今后能带着经过一半思考过问题来
2005-07-22 23:44:33 一一(13176246)
下周题目，还是本体应用吧
2005-07-22 23:44:43 茜子(31679387)
好好，这个感兴趣
2005-07-22 23:44:44 一一(13176246)
没有，这里的人不用bbs
2005-07-22 23:44:44 microw(156660252)
对，还是准备的不充分
2005-07-22 23:44:47 admin(19364440)
国外人不用BBS
2005-07-22 23:44:50 茜子(31679387)
而且不会那么陌生了
2005-07-22 23:44:50 admin(19364440)
mailing list
2005-07-22 23:45:04 北冥鲲(25461865)
恩，确实啊。准备充分讨论得更有深度
2005-07-22 23:45:33 茜子(31679387)
但是本体应用范围太广了吧。。。
2005-07-22 23:46:39 一一(13176246)
基于本体的搜索引擎，怎么样？
2005-07-22 23:47:09 一一(13176246)
要不本体标注
2005-07-22 23:47:12 茜子(31679387)
本体标注？
2005-07-22 23:47:26 朝发夕至(41782783)
同意本体标注
2005-07-22 23:47:41 茜子(31679387)
感觉本体标注是搜索引擎的前奏啊
2005-07-22 23:47:49 茜子(31679387)
所以还是本体标注吧
2005-07-22 23:47:51 microw(156660252)
好，欢迎版主到上海
2005-07-22 23:47:54 admin(19364440)
看来碰不上拉
2005-07-22 23:48:13 朝发夕至(41782783)
欢迎欢迎
2005-07-22 23:48:33 茜子(31679387)
那还是下周5，这个时候？
2005-07-22 23:48:50 一一(13176246)
是的
2005-07-22 23:48:59 茜子(31679387)
确定主题？
2005-07-22 23:49:07 一一(13176246)
那就本体标注吧，这个其实还是比较容易理解
2005-07-22 23:49:32 jiexincao(9177025)
下周五22：00？
2005-07-22 23:49:49 jiexincao(9177025)
本体标注？
2005-07-22 23:50:30 一一(13176246)
要不周六？
2005-07-22 23:50:41 jiexincao(9177025)
随便，随时有空
2005-07-22 23:50:58 茜子(31679387)
啊，周六是我唯一的假期。
2005-07-22 23:53:21 一一(13176246)
周六22点咯，呵呵，大家到时见，主体本体标注
2005-07-22 23:53:47 北冥鲲(25461865)
好拉，没有具体讨论的问题了，先睡觉去啦。明天开题~~~
谢谢一一，谢谢大家~~~
2005-07-22 23:53:49 吃好子包家那(68797877)
慢走，不送了。
2005-07-22 23:53:58 admin(19364440)
wave~~
2005-07-22 23:54:06 admin(19364440)
版主辛苦了。。
2005-07-22 23:54:07 反方向的钟/$(32039359)
[bye]
2005-07-22 23:54:14 microw(156660252)
[share]辛苦了
2005-07-22 23:54:18 soap(6036864)
谢谢[bye]
2005-07-22 23:54:41 一一(13176246)
大家都加油~
2005-07-22 23:55:39 moshushu(15426061)
安
[返回] W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL →
W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → W3CHINA 1st Weekend Workshop on Semantic Web 讨论记录
(订阅本版)
2005/7/23 12:16:00
新浪微博
W3CHINA 1st Weekend Workshop on Semantic Web 讨论记录
