中文XML论坛 - 专业的XML技术讨论区--显示贴子

以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  protege4.1中怎么限定一个类的数据类型  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=89666)

--  作者：2010JLJ
--  发布时间：3/12/2011 3:45:00 PM

--  protege4.1中怎么限定一个类的数据类型

我想建一个类（FirstSegment）表示一个区间，例如（1，3】，而且是float型的，怎么给这个类添加限制条件呢？
把我自己添加的粘说一下：
   1.给FirstSegment添加SuperClasses：hasValue max 1 float）和hasValue max 3 float（我不知道这里添加的float能不能限定值为浮点型的）
   2.通过creat new defined class给hasValue max 1 float一个新的名字MaxIs1，并从SuperClasses中删除hasValue max 1 float
   3.给FirstSegment再次添加父类：not MaxIs1（这样相当于>1,自己认为）
   4.选中not MaxIs1和hasValue max 3 float，通过右键的convert selected rows to defined class将这两个父类转化为FirstSegment的等价类，从而实现对FirstSegment的取值限定（1，3】
以上是我自己做的，刚接触protege，希望大家能给我指点指点，说下可不可行，错误在哪里，先谢过了！

--  作者：2010JLJ
--  发布时间：3/12/2011 8:27:00 PM

--
我又改了下：
1  先定义一objectproperty:hasType,通过它来限定类的取值类型
2  为FirstSegment添加父类hasType only float
3  添加父类not MaxIs1（其中MaxIs1=hasValue max 1）和hasValue max 3
4  将三个父类通过convert selected rows to defined class
  最后结果是给FirstSegment添加了等价类(not(MaxIs1))and (hasValue max 3 Thing)and(hasType only float)
不知道上边这样有没有什么问题，怎么用推理机来验证它的正确性，大家帮帮忙啊！！！

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

125.000ms