OWL本体语言边界

时间:2016-07-17 06:23:05

标签: owl ontology protege

OWL本体语言边界是什么?喜欢:

  1. 我可以使用不同父母的课程吗? (多重继承)Protege不允许这样做。
  2. 我可以使用或不使用哪些字符?例如不能使用'#'或者' ^'在Protege中。为什么?
  3. 区分大小写的课程?例如A级和A级是两个不同的类?
  4. 还有什么?

1 个答案:

答案 0 :(得分:3)

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

- 第一顺序逻辑

- SWRL / RIF

--- OWL DL

---- OWL EL,RL,QL

-----概念层次结构

- OWL Full

--- OWL DL

---- OWL EL,RL,QL

-----概念层次结构

--- RDFS

-----概念层次结构

您可以找到有关这些方言here的更多信息。

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

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

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

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

然后有以下扩展名:

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

“E” - 完全存在资格

“U” - 概念联盟。

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

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

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

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

“我” - 反向属性。

“N” - 基数限制(猫头鹰:基数,猫头鹰:maxCardinality),计算量化的特殊情况

“Q” - 合格的基数限制

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

根据该分类,OWL2-DL的表现力是(SHROIQ(D)),其中“S”代表具有传递作用的“ALC”的缩写。 (注意:DL和OWL之间存在术语差异,例如OWL规范使用“属性”,而DL使用“角色”)。

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

  

我可以使用不同父母的班级吗? (多重继承)   Protege不允许这个

尝试应用其他建模范例中的隐喻时应该小心。严格来说,“父母”和“继承”不适用于OWL。我们可以说存在类似属性的共享,但它的方向 - 与面向对象的范例不同 - 是向上的,而不是向下的。 OWL使用“类”,但您应该将它们视为集合,而不是OO中的“类”。作为集合,一个类可以作为不同类的子类,Protégé允许这样做。实际上它经常被使用。 “野猪”是“熊”和“雄性”的子类,正如“公牛”将成为“牛”和“雄性”的子类。我们总能找到一组属性来创建一个新类。到目前为止,所有的例子当然都是“哺乳动物”的子类,然后是“动物”的子类,但它们也可以是例如子类。 “双眼剂”,一类,可以有不属于动物的亚类,例如“双眼机器人”。

  

我可以使用或不使用的字符

OWL有不同的序列化,如OWL / XML,Turtle等。每个都有它自己的语法。

当你要求提供有用的资源时,其中一个当然是OWL primer。我还建议this free course