search

ExarcaFidalgo / Shumlex

Integración ShEx - UML
MIT License
4 stars 0 forks source link

Node constraint as top-level shape #14

Closed ExarcaFidalgo closed 4 years ago

ExarcaFidalgo commented 4 years ago

El siguiente código define dos formas, :HomePage and :CanVoteAge, definidas como restricciones de nodos. La primera declara que los nodos deben ser IRIs, mientras que la segunda declara que deben ser xsd:integer valores mayores que 18.

:HomePage IRI

:CanVoteAge xsd:integer MinInclusive 18

Aportando el siguiente mapa formal a un procesador:

http://example.org/alice@:HomePage, 23@:CanVoteAge, 45@:HomePage, 14@:CanVoteAge

El resultado sería que los dos primeros nodos son conformes, mientras que los dos últimos no.

https://book.validatingrdf.com/bookHtml010.html

ExarcaFidalgo commented 4 years ago

También es posible combinar restricciones nodales de máximo nivel con formas más complejas.

:User IRI { schema:name xsd:string }

Nota: el parser ignora esta última opción. Solo toma el IRI

ExarcaFidalgo commented 4 years ago

Ya es posible realizar restricciones nodales de tipo a este nivel (IRI, Literal...). Quedaría permitir aplicar otras restricciones como:

:CanVoteAge xsd:integer MinInclusive 18

Para lo cual sugiero habilitar primeramente las facetas de literales.