Fragen zu Modellvariante 1

Axiom: Es gibt x und y, für die gilt: Wenn y gndo2:architect x (und gndo2:architect wahr ist), dann ist x rdf:type gndo2:Architect,
wobei rdf:type eine Eigenschaft (Property) ist, die aussagt, dass eine Ressource eine Instanz einer Klasse ist.
Aus der Aussage: (y) Bibliotheksbau gndo:2architect (x) Bazzani, Cesare folgt, dass Bazzani, Cesare ein Architekt ist.

Hinweis: Im Folgenden sind die Eigenschaften (Properties) zur besseren Unterscheidbarkeit von Klassen kursiv gesetzt. Ein senkrechter Pfeil (→) weist auf eine verlinkte Seite in diesem Wiki hin.

Wie funktioniert die Inferenz? Woraus kann geschlossen werden, dass die Ressource "Bazzani, Cesare" eine Instanz (rdf:type) von "gndo2:Architect" ist?
Impliziert dieser Vorschlag ein Modellierungsverfahren, das für jede Objekteigenschaft (Object Property), die eine Rolle ausdrückt, eine entsprechende Klasse definiert?
(Zum Beispiel: gndo2:Artist zu gndo2:artist, gndo2:Choreographer zu gndo2:choreographer und so weiter für alle etwa 80 Objekteigenschaften in der GNDO, die Berufe und Rollen ausdrücken?)
Wenn es eine Klasse gndo2:Architect gibt, sollte dann Range für gndo2:architect nicht gndo2:Architect sein?
Ist die beschriebene "Inferenz" nicht einem Zirkelschluss ähnlich? Die in der Eigenschaft gndo2:architect implizierte Aussage wird zur Voraussetzung für die Schlussfolgerung gndo2:Architect.
gndo:architect ist definiert als (hier wegen der besseren Lesbarkeit verkürzt wiedergegeben): "Eine Person, die für eine architektonische Gestaltung verantwortlich ist". Wenn diese Definition auch für gndo2:Architect gilt, lautet bei Substitution von Bauwerk B_gndo2:architect_gndo2:Architect durch die natürlichsprachigen Ausdrücke die Aussage:
(a) Bauwerk B_ Eine Person, die für eine architektonische Gestaltung verantwortlich ist_Eine Person, die für eine architektonische Gestaltung verantwortlich ist.
Wie ist der Bezug zwischen gndo2:Architect und der Aussage, die durch gndo:professionOrOccupation beschrieben wird? Dass Cesare Bazzani ein Architekt ist, ist in der Aussage (Assertion) über Bazzani, Cesare gndo:professionOrOccupation <Architekt> enthalten. (In dieser Aussage wird auf das GND-Schlagwort Architekt referenziert. Die Referenz auf ein GND-Schlagwort ist sinnvoll, um die begriffsbezogenen Informationen und Relationen für das Information-Retrieval und weitere Inferenzen zu nutzen, siehe 10. unten.)
Die Aussage unter 4. (a) ist tautologisch und daher wahr. Ist die Aussage in jedem Fall semantisch richtig? Es müsste die Annahme gelten: Jedes x, das mit der Eigenschaft gndo2:architect verbunden ist, ist ein Beispiel für "Architekt". (gndo2:architect beschreibt eine Rolle, die eine Person in Bezug zu einem Gegenstand spielt. Diese Person muss nicht Architekt (diplomiert?, eingetragen?, Amateur?) sein, sondern kann auch Baumeister oder Bauingenieur sein.)
Wie lässt sich in diesem Modell die Umkehrbeziehung ausdrücken? Siehe auch → Umkehrbeziehungen für Modellvariante 2.
Welche zusätzliche Information lässt sich aus der beschriebenen "Inferenz" gewinnen?
(Mit einer Sparql-Abfrage lässt sich dasselbe Ergebnis folgern. Siehe auch → Äquivalenz der Aussagen zum bestehenden Modell für Modellvariante 2.)
Wie lässt sich diese "Inferenz" praktisch nutzen? Lässt sie sich für Plausibilitätsprüfungen oder Konsistenzprüfungen einsetzen?
(Siehe → Restriktionen und Konsistenzprüfungen für Modellvariante 2. Siehe auch → Anwendungsfälle für Plausibilitätsprüfungen.)
Werden die Axiome, die in der GND enthalten sind, genutzt?
(Zum Beispiel wäre bei Verwendung einer als transititv deklarierten Objekteigenschaft gndo:broaderTermGeneric die Inferenz Kinderbauchautor A isA Autor möglich (Peter Härtling gndo:professionOrOccupation Kinderbuchautor gndo:broaderTermGeneric Schriftsteller gndo:broaderTermGeneric Autor).

Zum Vergleich Modellvariante 2 (siehe auch → Modellvariante 2):