Vi presenterar en formell semantik och bevis på ljud för former scheman, ett uttrycksfullt schema språk för RDF grafer som är grunden för Shape Expressions Language 2.0. Det kan användas för att beskriva ordförrådet och strukturen i en RDF-graf, och för att begränsa tillåtna egenskaper och värden för noder i den grafen. Språket definierar en maskinskrivningsmekanism som kallas former mot vilka noder i grafen kan kontrolleras. Det omfattar en algebraisk grupperingsoperatör, en valoperatör och kardinalitetsbegränsningar för antalet tillåtna förekomster av en egendom. Former kan kombineras med booleska operatörer, och kan använda rekursiva referenser till andra former. Vi beskriver språkets syntax och definierar dess semantik. Semantiken har visat sig vara väldefinierad för scheman som uppfyller en rimlig syntaktisk begränsning, nämligen stratifierad användning av negation och rekursion. Vi presenterar två algoritmer för validering av en RDF graf mot en form schema. Den första algoritmen är ett direkt genomförande av semantiken, medan den andra är en icke-trivial förbättring. Vi ger också kortfattat riktlinjer för genomförandet. 4 Formuttryck Språk 2.0.
I REF-författare beskrev semantik och validering av Shapes Schemas för RDF, och presenterade två algoritmer för validering av en RDF-graf mot ett formschema.
Semantics and Validation of Shapes Schemas for RDF
{'venue': 'International Semantic Web Conference', 'journal': None, 'mag_field_of_study': ['Computer Science']}