以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  DIG  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=17636)

--  作者：zzzliuyuan
--  发布时间：4/28/2005 4:08:00 PM

--  DIG
我在用reasoner作推理时，所有的datatype property都显示下面的warning：
Notable to convert datatype property cardinality restrictions to DIG(the language used to communicate with the reasoner)Jgn

请各位前辈指教，这是怎么回事，有碍结果吗。

--  作者：iamwym
--  发布时间：4/29/2005 12:01:00 AM

--  
应该是有非法的定义了，或者表达式太复杂了。
--  作者：zzzliuyuan
--  发布时间：4/29/2005 9:14:00 AM

--  
我只是定义了dataproperty如name dataproperty range:string    cardinality=1,这样定义有问题吗
--  作者：iamwym
--  发布时间：4/29/2005 5:22:00 PM

--  
是这样的，也许你定义的表面是合法的，但是racer无法推理，你这样写出来，谁都不知道你干了什么，要干什么。正确的做法是多尝试更换表达式，看看哪里出了问题。
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 27.344ms