Key points are not available for this paper at this time.
Das Semantische Web basiert auf der Idee, mehr maschinenlesbare Semantik zu Webinformationen hinzuzufügen, über Annotationen, die in einer Sprache namens Resource Description Framework (RDF) verfasst sind. RDF ähnelt einer Teilmenge der binären Prädikatenlogik erster Ordnung, einschließlich der Fähigkeit, auf anonyme Objekte zu verweisen. Seine erweiterte Version, RDFS, unterstützt Reifikation, Typisierung und Vererbung. Diese Merkmale stellen neue Herausforderungen für das formale Studium von Mengen von RDF/RDFS-Aussagen und Sprachen zu ihrer Abfrage dar. Obwohl mehrere solche Abfragesprachen vorgeschlagen wurden, wurde wenig an grundlegenden Aspekten gearbeitet. Wir untersuchen diese, einschließlich der rechnerischen Aspekte des Testens von Folgerung und Redundanz. Wir schlagen eine Abfragesprache mit gut definierten Semantiken vor und untersuchen die Komplexität der Abfrageverarbeitung, der Abfrageenthaltbarkeit und der Vereinfachung von Antworten.
Gutiérrez et al. (Mon,) haben diese Frage untersucht.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: