2016-07-30 27 views
0

Nehmen wir an, ich habe eine Ontologie mit einigen Klassen (: A und: B) und einer Objekteigenschaft (: x, die die Domäne A und den Bereich B haben) und ich importiere diese Ontologie in einen Triple-Store ohne Inferenzmechanismus oder Nehmen wir an, dass Inferenz deaktiviert ist.Wie genau muss eine Beschreibung von Ressourcen in einem Triple-Store sein, bei dem Inferenz deaktiviert ist?

Danach, wenn ich einfügen ein dreifach in die dreifache Speicher wie folgt aus:

<http://instanceOfAClass.com> :x <http://instanceOfBClass.com> 

Für eine gültige und eine korrekte Beschreibung der beiden Fälle ist es in Ordnung, nur die oben triple einfügen zu erklären, dass http://instanceOfAClass.com ist vom Typ A und http://instanceOfBClass.com ist vom Typ: B, oder müssen auch die folgenden zwei Tripel hinzugefügt werden?

<http://instanceOfAClass.com> rdf:type :A. 
<http://instanceOfBClass.com> rdf:type :B. 
+2

Gültig und korrekt in Bezug auf _what_, genau? Ein Triple-Store mit deaktivierter Inferenz wird die zwei von Ihnen genannten Tripel nicht schließen (duh ...) und sie werden daher nicht in den Abfrageergebnissen erscheinen. Aber das bedeutet nicht, dass das Abfrageergebnis irgendwie ungültig oder falsch ist. –

Antwort

0

Eine vollständige Antwort - unter der Annahme, dass die gewünschte Expressivität mindestens Domäne und Bereich Axiome umfasst - die beiden zusätzlichen Axiome sind notwendig, wenn keine Folgerung aktiviert ist.