W3CHINA.ORG讨论区--请教Description Logics推理的问题！

新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚

XML论坛

>>W3CHINA.ORG讨论区<<

计算机科学论坛

SOAChina论坛

Blog

开放翻译计划

新浪微博

首页

软件下载

资料下载

核心成员

帮助

>> 本版讨论Semantic Web(语义Web,语义网或语义万维网, Web 3.0)及相关理论，如：Ontology(本体,本体论), OWL(Web Ontology Langauge,Web本体语言), Description Logic(DL, 描述逻辑),RDFa,Ontology Engineering等。

[返回] W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL → W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体』 → 请教Description Logics推理的问题！

◇查看新帖 ◇ 用户列表 ◇

(订阅本版)

您是本帖的第 25127 个阅读者　　

*	贴子主题：请教Description Logics推理的问题！	举报打印推荐 IE收藏夹
	本主题类别:

GoogleAdSense

  等级：大一新生
  文章：1
  积分：50
  门派：无门无派
  院校：未填写
  注册：2007-01-01

	广告

2024/6/15 21:09:30

本主题贴数41，分页： [1] [2] [3] [4] [5]

*树形目录（最近20个回帖）	顶端
主题：请教Description Logics推理的问题！(347字) － Leon.Essence，2007年10月29日
回复：这个帖子从本质上来讲,一开始的错误就是把 ''A is satisfiable with K'..(1432字) － kolapig，2007年11月4日
回复： [quote][b]以下是引用[i]kolapig在2007-11-4 6:02:00[/i]的发..(1602字) － zhaonix，2007年11月4日
回复：你说的没错。。。应该是这样的。 FK。。。怎么老说不清楚 [quote][b]以下是..(1778字) － kolapig，2007年11月5日
回复： [quote][b]以下是引用[i]kolapig在2007-11-5 1:06:00[/i]的发..(164字) － zhaonix，2007年11月5日
回复： A相应于K可满足的时候，~A相应于K也有可能可满足最明显的是例子是{p\/q}中，p和~p都是..(194字) － wolfel，2007年11月3日
回复：阿，傻啊，你说的没错。。。。。抱歉了，各位。自己糊涂了。应该是这样的：A is satis..(735字) － kolapig，2007年11月4日
回复： [quote][b]以下是引用[i]kolapig在2007-11-3 2:32:00[/i]的发..(449字) － zhaonix，2007年11月3日
回复：对不住阿, 这边上网好慢,好像baojie和其他几位已经点出这个问题了. [quote][b]..(858字) － kolapig，2007年11月3日
回复：你是想说 K={ \top subclassof \bot} is “consistent” by..(63字) － baojie，2007年11月3日
回复：是的。(6字) － Yuejian，2007年11月3日
回复： kAON2 也有一个显然的reasoning BUG: K={ \top subclassof \..(87字) － Yuejian，2007年11月2日
回复： To: [B]Leon.Essence&wolfel[/B]：你们是对的，我的说法错了。tau..(698字) － wjwenoch，2007年11月2日
回复： [quote][b]以下是引用[i]wjwenoch在2007-11-2 11:26:00[/i]..(822字) － zhaonix，2007年11月2日
回复：我认为，如果K\|=C的话（无论C是一个concpet还是axiom），这说明C是为universa..(678字) － Leon.Essence，2007年11月1日
回复： [quote][b]以下是引用[i]Leon.Essence在2007-11-1 21:36:00..(1084字) － wolfel，2007年11月1日
回复：我觉得问题还是出在楼主的 K\|=C 表示方法。通用的描述逻辑语法里，是没有这样的形式的。如果写在文..(116字) － baojie，2007年11月1日
回复： [quote][b]以下是引用[i]Leon.Essence在2007-10-29 16:43:0..(1740字) － Leon.Essence，2007年10月31日
回复： wjwenoch 说得不错。“现在假设K为{A subclassof B, D subclas..(224字) － baojie，2007年10月31日
回复：咳咳，针对LZ的问题，5楼我的回答是错误的，特此更正～(51字) － wolfel，2007年10月30日


	W 3 C h i n a ( since 2003 ) 旗下站点苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》	78.125ms