OWL Class 对象属性的表达式语法最小和最大基数
OWL Class Expression Syntax Minimum and Maximum Cardinality for Object Properties
我目前正在尝试在 Protégé 中为 ontology 建模。在 documentation 中我可以找到所有类型的 class 表达式,但是有没有办法同时定义最小基数和最大基数?
如果这不可能,你能告诉我为什么会这样吗?
如果你想在不同的关系上创建两个基数,没有问题:
(Owner owns min 2 Cats) and (Owner owns max 3 Dogs)
而且也可能只有一个关系:
(Owner owns min 2 Cats) and (Owner owns max 3 Cats)
只需确保值是逻辑值 (min < max
) 并注意基数的包含和排他条件。
这可以在 "Class Expression Editor" 中完成。
我目前正在尝试在 Protégé 中为 ontology 建模。在 documentation 中我可以找到所有类型的 class 表达式,但是有没有办法同时定义最小基数和最大基数?
如果这不可能,你能告诉我为什么会这样吗?
如果你想在不同的关系上创建两个基数,没有问题:
(Owner owns min 2 Cats) and (Owner owns max 3 Dogs)
而且也可能只有一个关系:
(Owner owns min 2 Cats) and (Owner owns max 3 Cats)
只需确保值是逻辑值 (min < max
) 并注意基数的包含和排他条件。
这可以在 "Class Expression Editor" 中完成。