Creo que entiendo el significado de estas palabras en los lenguajes de programación, pero no está claro con respecto a RDF y triples. ¿Hay algún ejemplo que me ayude a entender?¿Qué significa "reificar" y "reificar" en relación con RDF?
Gracias
Una declaración estándar RDF consiste en:
SUBJECT PREDICATE OBJECT
pensar en él como afirma un hecho.
ROVER IS-A DOG
Ahora bien, ¿y si la situación que tiene a mano es, en realidad,
GEORGE SAYS-THAT 'ROVER IS-A DOG'
En RDF, se escribe esto como
STMTID IS-A STATEMENT
STMTID HAS-SUBJECT ROVER
STMTID HAS-PREDICATE IS-A
STMTID HAS-OBJECT DOG
GEORGE SAYS-THAT STMTID
Los primeros cuatro triples aquí están, de manera formal y oficialmente, la reificación del primero.
Tenga en cuenta que la declaración original NO está en el modelo, ya que el propósito de la reificación es evitar la afirmación, sino hablar indirectamente sobre ella.
Tenga en cuenta además que he elideado los IRI de ROVER y amigos para mayor claridad.
Para el cogniscenti en la audiencia:
Hay una variedad de cosas que puede hacer con la cosificación. Como se indicó anteriormente, puede usarlo para describir una afirmación sin indicarla, manteniéndola así alejada de la inferencia.
También puede usarlo para agregar hechos adicionales, tales como procedencia, a una declaración. En ese caso, tienes el triple original, y también la reificación. Sin embargo, acabo de obtener una larga explicación de alguien que parece saber mucho sobre RDF (uno de los líderes de la especificación SPARQL). Su explicación es que la reificación formal (incluido el cuarto triple que dice que la cosa 'es-una afirmación ') no se supone que se use junto con afirmar el triple en sí mismo. Si miras los comentarios sobre esta respuesta, verás que su opinión no es universal, pero es posible que aún quieras tenerla en cuenta.
(+1) Nota secundaria: su ejemplo parece retrospectivo ya que, por convención, la reificación se usa con mucha frecuencia para procedencia, y en ese caso la reificación sería por la procedencia, no por el hecho, el rover es un perro. – harschware
Acabo de tener una de las pistas de especificaciones del estándar SPARQL en mi oficina, y fue bastante insistente en el punto de vista que afirmé :-) – bmargulies
No, por supuesto que tiene toda la razón, lo leí demasiado rápido y me confundí. :-) Difícil de creer que lo ignoré. Aquí, su procedencia es GEORGE DICE que debe aplicarse al triple de alguna manera, por lo tanto el triple debe ser reificado. Gack, voy a dormir ahora. – harschware
¿Cuáles son los significados de estas palabras, tal como las entiende? –
En el ámbito de los lenguajes de programación, un objeto reificado es aquel cuyo tipo no se pierde en el tiempo de compilación, sino que se mantiene en tiempo de ejecución. No estoy seguro de cómo esto me ayudará. :( –