|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- [求助]用OWL表达推理的问题 (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=76049) |
|
-- 作者：叮咚新 -- 发布时间：7/16/2009 4:11:00 PM -- [求助]用OWL表达推理的问题 OWL新手~~~ 因为爱好数学，所以想通过使用Protege创建一个抽象代数的本体库来熟悉一下OWL的各种规则。 现在遇到的一个问题就是：我想要表示“群里的每一个元素都可逆（存在逆元素）”，却不知应该如何表示。 创建一个类是“群”，再创建一个类“元素”，还有一个对象属性“互逆”，怎么表示一个推理：若“元素”属于“群”，则存在另外一个“元素”，二者满足“互逆”的关系？ 请高手指教 ORZ~~~ |
|
-- 作者：phyjl -- 发布时间：7/20/2009 12:41:00 PM -- 我认为：定义一个该属性的逆属性，并将它们设为互逆，然后将这两个属性里面的值域和定义域设置成一样。试试看？ |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
23.438ms |