以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  请问owl中datatype属性能不能定义公理？  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=44649)

--  作者：fishinfire
--  发布时间：3/30/2007 4:59:00 PM

--  请问owl中datatype属性能不能定义公理？
我们知道owl的属性有三种：object datatype annotation。其中annotation属性是注释，我们可以不去管他。另外两种属性中，object属性的语义表达能力很强，可以通过对object属性的限制制定关于类的等价公理。但是不知道datatype属性能不能进行限制呢？
举个例子说，我想定义食肉动物，只要定义两条限制就可以制定了食肉动物这个类的等价公理，即：1、是animal的子类；2、eat allvaluefrom animal。这是object属性的典型应用。
当我想定义成人（区别于儿童）这个类时，定义了一个datatype属性age（整形），想描述如下限制：1、是human的子类；2、年龄大于等于18。第二条怎么描述呢？ 我想OWL应该能表达这种很简单的逻辑关系，但我不知道它是如何做到的。

敬请指教。

--  作者：iamwym
--  发布时间：3/31/2007 12:44:00 AM

--  
datatype的宾语就是字符串⋯⋯
--  作者：wjwenoch
--  发布时间：4/7/2007 11:43:00 AM

--  
以下是引用fishinfire在2007-3-30 16:59:00的发言：
我们知道owl的属性有三种：object datatype annotation。其中annotation属性是注释，我们可以不去管他。另外两种属性中，object属性的语义表达能力很强，可以通过对object属性的限制制定关于类的等价公理。但是不知道datatype属性能不能进行限制呢？
举个例子说，我想定义食肉动物，只要定义两条限制就可以制定了食肉动物这个类的等价公理，即：1、是animal的子类；2、eat allvaluefrom animal。这是object属性的典型应用。
当我想定义成人（区别于儿童）这个类时，定义了一个datatype属性age（整形），想描述如下限制：1、是human的子类；2、年龄大于等于18。第二条怎么描述呢？ 我想OWL应该能表达这种很简单的逻辑关系，但我不知道它是如何做到的。

敬请指教。



关于datatype可以看官方说明：http://www.w3.org/TR/owl-guide/#Datatypes1

现在的OWL对于你说的“年龄大于等于18”没有很好的表示方式，因为OWL里头只可以说明DATATYPE的值是多少，也就是说有“等于”，却没有“大于”或者“小于”。。。。。。

要想推理这个，你就要自己把数值1－18都做nominal，然后判断某个实例的hasAge的range是不是在这个NOMINAL类里头。。。

我们上次就做了1－100个nominal用来推理人的年龄，还好大多数人都活不过100岁。。。晕。。。

--  作者：fishinfire
--  发布时间：4/9/2007 3:46:00 PM

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