turtle - statement über 3 Aussagen

Früchtemüsli

Hi

Wie kann man denn mittels Turtle eine Aussage über eine Aussage über eine Aussage treffen?

Bsp: "Sherlock Holmes vermutet, dass der Postmann weiß, dass der Gärtner den Butler ermordet hat."

Da gibts folgende 3 Aussagen:

1) "Sherlock Holmes hat eine Vermutung".
2) "Der Postmann weiß etwas".
3) "Der Gärtner hat den Butler ermordet".

Für 2 Aussagen bekomm ich die Turtle-Befehle hin. Aber bei mehr als 2 komm ich nicht weiter
Kann mir da bitte wer so ein Beispiel zeigen?

Paulchen

Zitat von Früchtemüsli

2) "Der Postmann weiß etwas".
3) "Der Gärtner hat den Butler ermordet".

Nein, das stimmt nicht ganz.

Eigentlich sind die Aussagen:

2) "Der Gärtner hat den Butler ermordet."
3) "Der Postmann weiß, dass der Gärtner den Butler ermordet hat."

Was du suchst, nennt sich Reification, damit lassen sich Statements formulieren, die Eigenschaften von Statements näher beschreiben. Aus

Code

holmes:Gardener      holmes:killed  holmes:Butler .

wird dann:

Code

holmes:triple12345   rdf:type       rdf:Statement .
holmes:triple12345   rdf:subject    holmes:Gardener .
holmes:triple12345   rdf:predicate  holmes:killed .
holmes:triple12345   rdf:object     holmes:Butler .

Und damit kannst du folgende Aussage formulieren:

Code

holmes:postman       holmes:knows   holmes:triple12345 .

Früchtemüsli

Naja, das sind jetzt nur 2 Aussagen. Das schaff ich eh auch.

Aber bei dir fehlt noch die dritte Aussage, also mein 1) "Sherlock Holmes hat eine Vermutung".

Ich habe in diesem Beispiel doch hintereinander 2 statements, oder?

Aber wie kann man von einem statement auf ein anderes statement verweisen?

Früchtemüsli

Also ich rate einfach mal drauf los:

HTML

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xy: <http://x.at/Person#> .
@base <http://x.at/>


<SherlockHolmes> 
   xy:hatVermutung 
   <StatementAufPostmann> .


<StatementAufPostmann>
   a rdf:Statement ;
   rdf:subject <Postmann> ;
   rdf:predicate xy:weiszEtwas ;
   rdf:object <StatementAufGaertner> .


<StatementAufGaertner>
   a rdf:Statement ;
   rdf:subject <Gaertner> ;
   rdf:predicate xy:hatErmordet ;
   rdf:object <Butler> .

Alles anzeigen

Macht das irgendwie Sinn?

Paulchen

Zitat von Früchtemüsli

Aber bei dir fehlt noch die dritte Aussage, also mein 1) "Sherlock Holmes hat eine Vermutung".

Auch das ist ja wieder nur eine genauere Beschreibung der Aussage "Der Postmann weiß, dass der Gärtner den Butler ermordet hat.", und zwar, dass Sherlock Holmes das vermutet. Hier kannst du nach demselben Schema vorgehen wie von mir beschrieben, d.h. das Statement wird wieder explizit als rdf:Statement definiert und Subjekt, Prädikat und Objekt werden jeweils in einem eigenen Statement beschrieben.

Zu beachten ist übrigens, dass in meinem oberen Beispiel nicht die Aussage "Der Gärtner hat den Butler ermordet." als wahr definiert wird; es werden lediglich Eigenschaften der Aussage "Der Gärtner hat den Butler ermordet" beschrieben, unabhängig vom Wahrheitsgehalt dieser Aussage. Und wenn du dir den Satz "Sherlock Holmes vermutet, dass der Postmann weiß, dass der Gärtner den Butler ermordet hat." ansiehst, weißt du ja auch nur das; du weißt ja nicht, ob der Gärtner nun tatsächlich den Butler ermordet hat oder nicht.

Zitat von Früchtemüsli

Macht das irgendwie Sinn?

Genau so meine ich das.

Früchtemüsli

Juhu, danke!

Jetzt mitmachen!