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" 中完成。