提问者:小点点

OWL本体论语言边界


OWL本体语言边界是什么?比如:

    < li >我可以使用不同家长的班级吗?(多重继承)Protege不允许这样。 < li >我可以或不可以使用哪些字符?例如,不能在Protege中使用' # '或'^'。为什么? < li >区分大小写的类?A班和A班是两个不同的班级?

还有什么?


共1个答案

匿名用户

OWL的边界由各个OWL方言的逻辑边界决定。这是OWL2方言的分类:

-一阶逻辑

--SWRL/RIF

---猫头鹰DL

----猫头鹰EL、RL、QL

-概念层次

--猫头鹰满

---猫头鹰DL

----猫头鹰EL、RL、QL

-概念层次

---RDFS

-概念层次

你可以在这里找到更多关于这些方言的信息。

最常用的方言是OWL-DL,因为它在表现力和可判定性之间提供了良好的平衡。描述逻辑有一个分类系统来确定表达能力:

“AL”允许:原子否定;概念交叉;普遍限制;有限的存在量化

“FL”允许:概念交叉;普遍限制;有限的存在量化;角色限制

“EL”允许:概念交集;存在限制

然后有以下扩展:

“F” - 功能属性,唯一性量化的特例。

“E”——完全存在资格

“U”-概念联合体。

“C”——复杂的概念否定。

“H”-角色层次结构(子属性-rdfs: subProperty tyOf)。

“R”-有限复杂角色包含公理;自反性和非自反性;角色脱节。

" O" -名词。(对象值限制的枚举类- owl:oneOf,owl:hasValue)。

“我”——逆性质。

N-基数限制(owl: cardinality,owl:maxCardinality),计数量化的特殊情况

“Q”-限定基数限制

“D”-使用数据类型属性、数据值或数据类型。

根据这种分类,OWL2-DL的表达性是(SHROIQ(D)),其中“S”代表具有及物角色的“ALC”的缩写。(注意:DL和OWL之间有术语上的区别,例如OWL规范使用“属性”,而DL使用“角色”)。

所以,对你的问题的简短回答是:OWL2-DL的边界是(SHROIQ(D))。

可以用不同家长的班级吗?(多重继承)Protege不允许这样

当你试图应用其他建模范例的隐喻时,你应该小心。严格地说,“父母”和“继承”在OWL中是不适用的。我们可以说有类似于属性共享的东西,但是它的方向——不像面向对象的范例——是向上的,而不是向下的。OWL使用“类”,但是你应该把它们看作集合,而不是OO中的“类”。作为集合,一个类可以作为不同类的子类,而被保护者允许这样做。事实上,它经常被使用。“公猪”是“熊”和“雄”的子类,就像“公牛”是“牛”和“雄”的子类一样。我们总能找到一组属性来创建一个新类。到目前为止,所有的例子当然是“哺乳动物”的子类,然后是“动物”的子类,但是它们也可以是例如“双眼代理”的子类,一个可以具有非动物的子类的类,例如“双眼机器人”。

我可以或不能使用哪些字符

OWL有不同的系列,如OWL/XML,Turtle等。每一种都有自己的语法。

当您需要有用的资源时,OWL初级读本就是其中之一。我也推荐这个免费课程。