Anwenden von Beschreibung Logik auf ein Modell

Question

im irgendwie neu zu dl. Ich habe versucht, das Wissen von diesem Beitrag anzupassen: How to express this individual in Description logic

AKSW freundlicherweise half mir, Axiome in dl zu beschreiben. Ich habe das Wissen auf mein Model angewendet. Ich wollte nur überprüfen, keine Designfehler (Sie müssen nicht jedes Detail überprüfen). Dies ist, wie das Modell wie BPMN aussieht: BPMN Model

Ich versuchte, es in dieser Frage für 10 Minuten zu kopieren, aber wenn es die formatation war völlig chaotisch Kopieren (eine andere Sache, die ich lernen müssen: P). Tut mir leid, dass ich diese Frage nicht direkt gestellt habe. DL Logic.doc

edit: wie kann ich eine Objekteigenschaft mit Domänen und Bereichen in dl beschreiben?

Objekteigenschaft: travelTo

mit der Domain: Frankreich, Deutschland

und Rang: Italien, Spanien

ich es als Brache tun würde:

travelTo (Frankreich, Italien)

travelTo (Frankreich, Spanien)

oder -------------------- -------

Frankreich (travelTo, Italien)

Frankreich (travelTo, Spanien)

Deutschland (travelTo, Italien)

Frankreich (travelTo, Spanien)

irgendwelche Vorschläge?

freundlichen Grüßen Richard

Answer 1

Domains und reicht von Objekteigenschaften sollen Klassen. Aus meiner Sicht ist es nicht sinnvoll, bestimmte Länder als Domäne oder Bereich zu verwenden. Bist du dir sicher?

Der typische Weg wäre, eine Klasse Country zu verwenden und diese als Bereich der Objekteigenschaft travelTo zu verwenden. Es gibt kein spezifisches Konstrukt für den Bereich in der DL-Syntax, aber ein Bereichsaxiom ist nur syntaktischer Zucker.

Da r die Objekt-Eigenschaft ist und C die Domäne (bzw. Bereich.), Können Sie es in DL-Syntax mit ausdrücken können:

Domain (r, C):

∃r.⊤ ⊑ C

Range (r, C):

⊤ ⊑ ∀ r.C