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.
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.
...
Zum Vergleich Modellvariante 2 (siehe auch → Modellvariante 2):
