Vi föreslår form uttryck schema (ShEx), en ny schema formalism för att beskriva topologin för en RDF graf som använder regelbundna påse uttryck (RBEs) för att definiera begränsningar på den tillåtna grannskapet för noderna av en viss typ. Vi tillhandahåller två alternativa semantik, multi-och en-type, beroende på om en nod kan ha mer än en typ eller inte. Vi studerar ShEx uttryckskraft och hur komplext valideringsproblemet är. Vi visar att semantiken av en enda typ är strikt mer uttrycksfull än semantiken av multityp, validering av en enda typ är i allmänhet oåtkomlig och validering av flera typer är möjlig för en liten klass av RBE. För att ytterligare begränsa valideringens höga beräkningskomplexa komplexitet föreslår vi en naturlig uppfattning om determinism och visar att validering av flera typer av deterministiska scheman med hjälp av reguljära påseuttryck (SORBEs) kan styras. Slutligen anser vi att problemet med att validera endast ett fragment av en graf med preassignerade typer för några av dess noder, och hävdar att för deterministiska ShEx med SORBEs, kan validering av flera typer utföras effektivt och validering av en enda typ kan utföras med ett enda pass över grafen.
I REF-författare definieras en schemaformalism för att beskriva topologin för en RDF-graf som använder reguljära påsuttryck (RBEs) för att definiera begränsningar.
Validating RDF with Shape Expressions
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}