-- 发布时间：4/19/2006 11:30:00 AM
-- DL Handbook中命题2.9的错误
我的一位已毕业的师兄处得知，广西师范大学的王驹教授（软件所的研究员）与他的学生们证明了DL Handbook中命题2.9的错误，举出了反例（反例是什么，我也不知道）。与DL Handbook的主要Editor Franz Baader女士交流之后，Ms. Baader也改正了错误。现上传命题2.9的修改版。
|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- DL Handbook中命题2.9的错误 (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=30843) |
|
-- 作者：river_hh -- 发布时间：4/19/2006 11:30:00 AM -- DL Handbook中命题2.9的错误 我的一位已毕业的师兄处得知，广西师范大学的王驹教授（软件所的研究员）与他的学生们证明了DL Handbook中命题2.9的错误，举出了反例（反例是什么，我也不知道）。与DL Handbook的主要Editor Franz Baader女士交流之后，Ms. Baader也改正了错误。现上传命题2.9的修改版。
|
|
-- 作者：wolfel -- 发布时间：4/19/2006 12:32:00 PM -- Franz Baader是女的？？有没有搞错！ |
|
-- 作者：river_hh -- 发布时间：4/19/2006 12:56:00 PM -- 是女士，我老板见过她 |
|
-- 作者：iamwym -- 发布时间：4/19/2006 6:02:00 PM -- 天哪，franz baader是女的？？？！！！ 这个⋯⋯这个⋯⋯我简直没有语言能力了 http://lat.inf.tu-dresden.de/~baader/index-en.html google一下什么都出来了，天，怎么会有这么荒谬的事情！ |
|
-- 作者：wason21cn -- 发布时间：4/19/2006 6:06:00 PM -- God, I will tell Franz Baader this great news definitely. |
|
-- 作者：iamwym -- 发布时间：4/19/2006 6:26:00 PM -- 这里我想不止一个人和franz有直接联系吧，我已经发了邮件给franz，wason也去问问吧，我想会水落石出的 |
|
-- 作者：river_hh -- 发布时间：4/19/2006 6:41:00 PM -- 你们是去问什么？我有点害怕，该不是我散布了rumor？是性别还是命题2.9？ |
|
-- 作者：wason21cn -- 发布时间：4/19/2006 7:05:00 PM -- From sexual identification point of view, I promise what I saw about "Franz Baader" is "HE". |
|
-- 作者：iamwym -- 发布时间：4/19/2006 7:20:00 PM -- 哈哈，这让我有了一些不好的联想。 不用担心，性别搞错最多是个笑话，命题2.9有没有问题，问问便知 |
|
-- 作者：river_hh -- 发布时间：4/19/2006 7:36:00 PM -- oh, my god, what was I talking about? I am so sorry about the wrong message I have posted. May I delete this topic? |
|
-- 作者：river_hh -- 发布时间：4/19/2006 7:47:00 PM -- iamwym版主，还是请您吧这个帖子删了，真的很抱歉，我没有证实消息的正确性就随意发帖子，真的很抱歉。 |
|
-- 作者：iamwym -- 发布时间：4/19/2006 7:55:00 PM -- 没关系，没人追究责任的，放心好了，关于命题的问题，说不定还真的错了，呵呵，先等等吧 |
|
-- 作者：river_hh -- 发布时间：4/19/2006 8:04:00 PM -- 我不是担心命题，那个对错还不一定，我还是相信我师兄的话，但现在已有一个在gender方面的错误了。那个命题我可以重传一次。 |
|
-- 作者：wason21cn -- 发布时间：4/19/2006 8:12:00 PM -- Don't worry about river_hh, some of my comments just kidding, so let it be. About the DL handbook proposition 2.9 mistake, that will be great useful for everyone if you are right. However it would be better confirmed by the author, I will ask Franz Baader later and give his feedback immediately. Anyway, if some of theses comments make you uncomfortable, just accept my apologies. |
|
-- 作者：river_hh -- 发布时间：4/19/2006 8:12:00 PM -- 我要晕了。实际上不只一个人提及Prof. Baader是lady，开始我也很诧异，但是没怀疑，毕竟我老板和师兄这么说的。同时，I felt proud of "her", any way, "she" is one of the not-so-many but so-famous ladies in a leading role in DL. |
|
-- 作者：river_hh -- 发布时间：4/19/2006 8:15:00 PM -- 打死我也不能说我是谁 |
|
-- 作者：iamwym -- 发布时间：4/19/2006 8:27:00 PM -- > I heard from some people in China that there is a mistake of > Proposition 2.9 in DL Handbook, and they provide the attached file. > They said they contacted you already and you agreed their opinion. I > am very curious about whether it is true? Thanks! Yes, the original version of Proposition 2.9 in the handbook is indeed The pdf-file attached to your mail is the correction, which will be Best regards, -Franz |
|
-- 作者：iamwym -- 发布时间：4/19/2006 8:27:00 PM -- > I heard from some people in China that there is a mistake of > Proposition 2.9 in DL Handbook, and they provide the attached file. > They said they contacted you already and you agreed their opinion. I > am very curious about whether it is true? Thanks! Yes, the original version of Proposition 2.9 in the handbook is indeed The pdf-file attached to your mail is the correction, which will be Best regards, -Franz |
|
-- 作者：iamwym -- 发布时间：4/19/2006 8:32:00 PM -- 所以有几点要澄清一下，这个的确是错误，但第一个发现错误的，是franz的学生。 性别问题，我觉得大家就当笑料好了，呵呵。 另外早期有人和我提过这个问题，我当时由于版上经常出现很无谓的置疑，比如对于owl semantics的置疑，认为其自相矛盾，所以很武断地回复说让仔细看书。在此道歉一下。 |
|
-- 作者：pascal1977 -- 发布时间：4/20/2006 11:49:00 AM -- 版主做得很好，这个问题是我们上学期讨论的，是王老师的学生发现的，然后向作者确认过了，不过我们搞计算机的数学基础还是不够强。 |
|
-- 作者：river_hh -- 发布时间：4/20/2006 12:14:00 PM -- 我向师兄求证了，原来他也是听老板说的。我老板年纪有些大，也许是看到长头发的就以为是女生。有机会我一定告诉他Prof. Baader不是女生，免得闹笑话。 |
|
-- 作者：kolapig -- 发布时间：4/20/2006 11:59:00 PM -- Baader 无语 |
|
-- 作者：马克 -- 发布时间：4/24/2006 5:33:00 PM -- 今天向Franz Baader求证过了。他给我了一份由他修改过新版本，需要的xdjm跟贴留email，我来寄。 Proposition 2.9 ist in der Tat falsch. Der Fehler wird in der Mit freundlichen Gruessen, -Franz Baader On 4/22/06, mak@in.tum.de <mak@in.tum.de> wrote:
|
|
-- 作者：wason21cn -- 发布时间：4/24/2006 6:25:00 PM -- Es gibt schon Loesung fuer dieses Problem. Prof Franz Baader hat geantwortet und ist sich ueber diesen Fehler einverstanden, ich glaube,was du bekommst,das korrigiert wird,ist ganz genau wie das Attachment. Danke schoen. |
|
-- 作者：wolfel -- 发布时间：4/24/2006 8:01:00 PM -- Baader最近恐怕收到不少这样的信件，都是从这个帖子传出去的，呵呵 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
109.375ms |