...
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.
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.
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 etc. für alle etwa 80 Berufe und Rollen als Objekt-Properties in der GNDO? - 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 "Inferenz" nicht ähnlich einem Zirkelschluss? Die in der Eigenschaft gndo2:architect implizierte Aussage wird zur Voraussetzung für die Schlussfolgerung gndo2:Architect. - 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 aus der Inferenz gewinnen?
Mit einer Sparql-Abfrage ... lässt sich dasselbe Ergebnis folgern. - Wie lässt sich diese Inferenz praktisch nutzen? Lässt sie sich für Plausibilitätsprüfungen oder Konsistenzprüfungen einsetzen?
Siehe auch Anwendungsfälle ...