OWL本体语言边界是什么?比如:
还有什么?
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初级读本就是其中之一。我也推荐这个免费课程。