Den semantiska webben bygger på idén att lägga till fler maskinläsbara semantik till webbinformation via anteckningar skrivna på ett språk som kallas Resursbeskrivningsramen (RDF). RDF liknar en undergrupp av binär första ordningen logik inklusive förmågan att hänvisa till anonyma objekt. Dess utökade version, RDFS, stöder reifikation, maskinskrivning och arv. Dessa funktioner introducerar nya utmaningar i den formella studien av uppsättningar av RDF/RDFS uttalanden och språk för att fråga dem. Även om flera sådana frågespråk har föreslagits, har det inte gjorts mycket arbete med grundläggande aspekter. Vi undersöker dessa, inklusive beräkningsaspekter av testningsförutsättningar och redundans. Vi föreslår ett frågespråk med väldefinierad semantik och studerar komplexiteten i frågebehandling, frågebegränsning och förenkling av svar.
En tidig formalisering av RDF(S) grafer har presenterats i REF, där komplexiteten i frågeutvärdering och inneslutning också studeras.
Foundations of semantic web databases
{'venue': "PODS '04", 'journal': None, 'mag_field_of_study': ['Computer Science']}