什么是数据范围表达蛋白？

Question

可能的问题有点基本。但是我不知道当我们在protege中定义“数据范围表达式”时会发生什么？它是否仅限于写在那里的文字？在什么情况下我们可以使用“数据范围表达式？”

下面是我在本体论中看到的一个示例：

​

Answer 1

数据属性域和范围的语义由

​

您可以在OWL 2的直接语义中找到它。

这意味着，对于数据属性x和y相关的每2个个体，x是CE类型，y是DR类型。

在您的示例中，这意味着如果x和y是通过test type关联的，那么推理者将推断x是Concrete placement OR Test类型，y是{"Self-inspection", "Third-Party Monitoring"}类型。

基于注释的更新

这意味着，如果单个y做而不是具有"Self-inspection"或"Third-Party Monitoring"的值，则会导致本体不一致。

所以，是的，用户必须在这两个值之间进行选择。