OWL existentielle Beschränkungen und notwendige Bedingungen

Question

Ich erstelle eine Ontologie mit protege05 und ich habe eine Frage in Bezug auf die Eigenschaftseinschränkungen. Was ich aus dem Protege-Tutorial gelernt habe, ist, dass, wenn wir einer Klasse eine Eigenschaft unter Verwendung von Restriktionen zuweisen, dies bedeutet, dass diese Eigenschaft notwendig ist, um diese Klasse zu definieren.

zum Beispiel Angenommen, ich habe Klassen „orthodoxe Kirche“ und „Sanctuary“ und eine Eigenschaft „hasPart und ich möchte sagen, dass‚eine orthodoxe Kirche hasPart Sanctuary‘.

Wenn ich es will offenbar existentielle Einschränkung verwenden bedeutet, dass "Sanctuary" notwendig ist, damit ein Gebäude eine orthodoxe Kirche ist oder wenn ein Gebäude eine orthodoxe Kirche ist, muss es IMMER ein Sanctuary haben. (aber es ist nicht immer richtig).
so meine Frage ist, wie sollte das eingefügt werden Eigenschaft, ohne dass es notwendig ist, meine Klasse zu definieren, mit anderen Worten, wie kann ich sagen, dass diese Eigenschaft manchmal für meine Klasse korrekt ist, aber nicht IMMER?

Danke

Answer 1

Sie möchten die orthodoxe Kirche als Domäne für Ihr Eigentum verwenden - also, wenn Sie verwendet werden, werden Sie das Gebäude als eine Kirche ableiten. Es wird dich nicht davon abhalten, Kirchen ohne Heiligtümer zu schaffen.

Ohne die Domäne zu ändern, könnten Sie eine Klasse mit 'hasPart Sanctuary' als Unterklasse von 'Orthodoxe Kirche' erstellen - eine ausreichende, aber nicht notwendige Bedingung.