关注此问题:Difference between domain and range in rdf schema?
我一直在和我的主管讨论,他告诉我这个范围可能有几个值。我同意这一点,但在谓词作为Literal(最终值)(非类)并且范围是数据类型的上下文中,可能有各种数据类型?。
我举一个例子:我们有谓词" ... / name"所以在名称中我们找到值为xsd:String的属性范围。我可以表达价值" Mary"作为二进制例如" 1010100101"并添加数据类型二进制文件?
我的参数是最终值,属性范围不能与多个值(数据类型)相关联。
提前致谢。
答案 0 :(得分:1)
可以使用数据类型union或checkout_date
限制作为范围,以允许属性具有不相交数据类型的填充。否则,就不可能有两个公理,如:
dataOneOf
没有这暗示
p range xsd:int
p range xsd:string
即,该属性不能出现在断言中(类似于不可满足的类)。
这是因为范围断言旨在作为AND - 推理者推断p subPropertyOf owl:bottomDataProperty
的填充符属于所有断言范围。只要文字具有兼容的数据类型并且值适合所有范围断言的值空间,这都可以正常工作;如果不是这样,那就是冲突。
(至少对OWL和OWL2来说是这样)