Fragen zu Modellvariante 1

Frage von Valentina Engelhardt:

Warum ein Axiom einen aussagenlogischen Ausdruck beinhaltet, ist mir nicht ganz klar. Den Ausdruck kann man anhand von Wahrheitstafeln ausrechnen.

Ich lese Folgendes: Es gibt x und y, für die gilt:
Wenn y gndo2:architect x ist, dann ist x rdf:type gndo2:Architect.

Mehr verstehe ich da auch nicht.

Fragen von Jutta:
Hinweis: Im Folgenden sind die Properties zur besseren Unterscheidbarkeit von Klassen kursiv gesetzt.

Impliziert dieser Vorschlag ein Modellierungsverfahren, das für alle Objekt-Properties, die Rollen ausdrücken, eine entsprechende Klasse definiert?
Zum Beispiel: gndo2:Artist zu gndo2:artist, gndo2:Choreographer zu gndo2:choreographer.
Wenn es eine Klasse gndo2:Architect gibt, sollte dann Range für gndo2:architect nicht gndo2:Architect sein?
Inwiefern handelt es sich um eine Inferenz? Was wird wie inferiert? Wo sind die Beziehungen definiert, die die beschriebene Schlussfolgerung erlauben?
Die "Inferenz" gndo2:BuildingOrMemorial gndo2:architect gndo2:Architect ist tautologisch und daher logisch wahr.
gndo:architect ist definiert als "Eine Person, Familie oder Körperschaft, die für eine architektonische Gestaltung verantwortlich ist (...)". Diese Definition würde auch für gndo:Architect gelten, sodass die Aussage in natürlicher Sprache lautet:
Bauwerb B Eine Person, Familie oder Körperschaft, die für eine architektonische Gestaltung verantwortlich ist (...) Eine Person, Familie oder Körperschaft, die für eine architektonische Gestaltung verantwortlich ist (...)
Ist die Aussage in jedem Fall semantisch richtig? Es müsste das Axiom gelten: Jedes x, das mit der Eigenschaft gndo2:architect verbunden ist, ist ein (isA) Architekt.
gndo2:architect beschreibt eine Rolle, die eine Person in Bezug zu einem Gegenstand spielt. Diese Person kann auch ein Baumeister sein oder ein Bauingenieur.
Welchen Nutzen hat die "Inferenz"? Welche zusätzliche Information lässt sich daraus gewinnen?
Mit einer Sparql-Abfrage ... lässt sich dasselbe Ergebnis folgern.
Lässt sich die "Inferenz" für Plausibilitätsprüfungen oder Konsistenzprüfungen einsetzen?