OWL本体语言边界是什么?喜欢:
还有什么?
答案 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。