ontology - Protege swrl タブを使用してルールヘッドを null として保持する方法

Question

SWRL ルールを使用して競合をキャプチャしようとしています。SWRL が空の head(consequent) を持つルールをサポートしていることを知りました。しかし、保護者はそのようなルールを定義することを許可していません。私が達成しようとしていることのダミーの例は

Person(?x)^hasSon(?x,?y)^hasDaughter(?x,?y)->

hasSon プロパティと hasDaughter プロパティの両方によって、個人を同じ個人と関連付けることはできないことを意味します。プロテジでそれが不可能な場合は、代わりにこれを達成する方法を教えてください。

Answer 1

ルール本体は空にすることができますが、あなたの意図のように矛盾を意味するものではありません。ルールが適用されないと解釈されます。スペックはこちら。

私があなたの意図を正しく理解していれば、2 つのクラスを作成することで目的をhasSon達成hasDaughterできhasDaughterますhasSon。

このように、A hasSon BandA hasDaughter Bを指定すると矛盾が生じます。