我已阅读 W3C 文档,但我不明白它们为何不同。我将在 W3C 文档中给出它们的定义:
功能属性是对于每个实例 x 只能具有一个(唯一)值 y 的属性。
IFP (owl:InverseFunctionalProperty) :
如果一个属性被声明为反函数,那么属性声明的对象唯一地确定了主体(某个个体)。
这里还有一个区别:函数属性的一个区别是,对于反函数属性,不需要额外的对象属性或数据类型属性公理:反函数属性是根据定义对象属性。您可以在上面的 IFP 链接中看到这些词。
但是我不明白,你能不能给我详细解释一下?
例子:
http://data.doremus.org/activity/587ae689-790e-3525-9e3a-dac63f449a03
Run Code Online (Sandbox Code Playgroud)
我认为它是一个IRI,也是一个URI。(我对吗?)
我使用 OWL API 来解析它。在“IRI”类中,有一个方法getShortForm(),当我使用它时,我得到“ae689-790e-3525-9e3a-dac63f449a03”。
关于URI,我认为它的本地名称是“587ae689-790e-3525-9e3a-dac63f449a03”。我不太确定。其实我是从别人的博客上知道“土名”这个词的。我在 URI 的结构中找不到“本地名称”,如下所示。
Run Code Online (Sandbox Code Playgroud)scheme:[//[user[:password]@]host[:port]][/path][?query][#fragment]
所以,我有两个问题:
IRI 的简称是什么?为什么示例的简写形式不是“587ae689-790e-3525-9e3a-dac63f449a03”?
URI 的本地名称是什么?示例的本地名称是什么?