2

Protégé 4.3 を使用して OWL の学習を始めたばかりですが、現在、難しい問題に直面しています。各 A が P1 と P2 からのプロパティ値を持ち、各 P1 と P2 が double の値を持つことを保証するいくつかの制限スーパークラスでクラス A を定義しました。

A ⊑ ∃hasProperty.(P1 ⊓ ∃hasValue.xsd:double)
A ⊑ ∃hasProperty.(P2 ⊓ ∃hasValue.xsd:double)

A の P1 値がすべて P2 値よりも小さいと断言するにはどうすればよいですか?

4

1 に答える 1