Comprobar la interoperabilidad con Visual Paradigm

[ExarcaFidalgo]

Edit: Está instalado. Parece que, cuanto menos, reconoce los elementos básicos, de modo que voy a listar aquí el resultado que da cada uno de los ejemplos que ofrezco y qué se debe arreglar.

[ExarcaFidalgo]

ShEx Básico

• [x] Las IRIs con <> en ShEx se muestran sin ellos. Añadirlos.

Versión actual

Puesto que hemos reconfigurado los AND, Titanuser se conforma ahora de la herencia de User y un AND con una shape vacía que contiene el string. USER AND {titancode xsd:string}

[ExarcaFidalgo]

Herencia

La herencia en sí no da problema. Aparece aquí un error que tendrá su propio apartado, lo señalo igualmente:

• [x] EXTRA se mostrará como una enumeración con los pertinentes valores, referenciada por la clase como atributo extra.

Versión actual

[ExarcaFidalgo]

Tipo de nodo / nodeKind

Nada reseñable.

Versión actual

De nuevo, consecuencia de los cambios en los AND, estos también cambian. Por ejemplo, BNode AND { } ahora tiene un nodeKind BNode y un AND con una Shape vacía.

Queda extraño, pero verdaderamente, es coherente con el modo que tenemos de expresar los AND en UML. Lo que no es coherente es la representación del grafo, donde optábamos por una representación más simple y simplemente indicabamos el nodeKind, obviando estos AND al vacío.

Será cuestión de explicarse.

[ExarcaFidalgo]

Facetas

Nada reseñable

[ExarcaFidalgo]

Rangos y exclusiones

Nada reseñable

[ExarcaFidalgo]

Conjuntos genéricos - Wildcard

Nada reseñable

[ExarcaFidalgo]

Etiquetas de lenguaje

Nada reseñable

[ExarcaFidalgo]

Cardinalidad

Tras los nuevos cambios, nada reseñable

Versión actual

Ahora, con < >

[ExarcaFidalgo]

OneOf

Nada reseñable

Versión actual

El contador de Blank se salta uno, pero no afecta más que visualmente. Admisible por ahora

[ExarcaFidalgo]

Shapes anidadas

Me parece correcto. Ahora permite distinguir entre una referencia a una shape anónima expresada explícitamente:

:Car { :name xsd:string ; :belongs @_:1 }

_:1 { a [ :Garage ] }

Y una shape anidada:

:User { :name xsd:string ; :worksFor { a [ :Company]; } }

Había planteado la relación de contención, pero parece requerir de alguna condición más allá de dos clases cualesquiera. De modo que nos quedamos con la composición, más sencillo y seguramente claro.

Lo que esto plantea ahora es la posibilidad de:

• [x] En el XMI-ShEx, de hacer la Shape anidada si la relación a una clase que representa shape anónima es de tipo Composite.

[ExarcaFidalgo]

Shapes cerradas

Los closed aparecen como elementos aparte. Abriendo su especificación se indican los elementos restringidos, que se corresponden con las shapes de ShEx. Asimismo en la clase se listan las restricciones que le afectan. Está correcto.

Como nota, en PlantUML optamos por indicar el CLOSED junto al nombre de la clase, por claridad. Tratándose de una imagen no disponemos de la opción de los programas de poner la restricción aparte y analizar sus elementos restringidos.

Versión actual

De nuevo, el AND cambia algunas cosillas.

[ExarcaFidalgo]

Restricción triple inversa

La enumeración, al tomar el nombre del atributo, toma también el símbolo de inverso. Estaría bien quitar eso, pero ahora mismo es un detalle bastante menor.

[ExarcaFidalgo]

Extra

[ExarcaFidalgo]

Expresiones etiquetadas

Mayormente bien. Quedaría realizar el mismo movimiento que en la generación del grafo:

• [x] Hacer de la expresión etiquetada un blanco.

Versión actual

[ExarcaFidalgo]

Conjunciones

• [x] Pendiente de modificar a imagen y semejanza de la generación del grafo.

[ExarcaFidalgo]

Cambio el título por uno algo más sutil.

[ExarcaFidalgo]

Disyunciones