Resumen Técnico: Enunciados Mejorados por Procedencia en Grafos de Conocimiento

1. Planteamiento del Problema

Los Grafos de Conocimiento (KG) contemporáneos contienen cada vez más Enunciados Mejorados por Procedencia (PES)—afirmaciones calificadas por una atribución (p. ej., "Según X, $\phi$"). Estos enunciados son prevalentes en dominios que tratan con capta (datos interpretados, hipótesis y afirmaciones académicas) en lugar de data (datos objetivos, hechos independientes del observador).

Las tecnologías actuales de la Web Semántica (p. ej., PROV-O, clasificaciones de Wikidata, RDF-star) tratan la procedencia como metadatos semánticamente neutros. Registran quién afirmó qué, pero no logran caracterizar el estatus epistémico de la afirmación. Esta neutralidad conduce a varias limitaciones:

• Pérdida de Divergencia Significativa: Los desacuerdos y las teorías contrapuestas suelen colapsar en inconsistencias o relegarse a mecanismos de clasificación informales, oscureciendo la dinámica del debate académico.
• Razonamiento Inadecuado: Tratar la procedencia como algo neutro impide un razonamiento principista sobre el contenido atribuido. No logra distinguir entre un hecho, una creencia, una hipótesis y un delirio, lo que genera problemas como la Paradoja de Superman (donde la sustitución de identidad falla a través de fronteras cognitivas).
• Falta de Modelado Estructural: Los modelos actuales se centran en enunciados individuales en lugar de mundos cognitivos—conjuntos homogéneos de enunciados que comparten una procedencia y un compromiso epistémico (p. ej., una teoría específica o el punto de vista de un autor).

2. Metodología: El Marco DEC

Los autores proponen DEC (Doxástico, Epistémico, Conjetural), un marco que interpreta los predicados de procedencia como indicadores de postura epistémica y agrupa los enunciados en mundos cognitivos.

2.1 Fundamentación Teórica

DEC se basa en la lógica modal cognitiva, específicamente en:

• Lógica Doxástica (KD45): Modela la creencia. Los agentes pueden mantener creencias inconsistentes con la realidad, pero las creencias deben ser internamente consistentes (racionalidad).
• Lógica Epistémica (S5): Modela el conocimiento. Las afirmaciones se tratan como hechos; estas permean hacia la realidad.
• Lógica Conjetural (KDC): Modela las hipótesis. Los agentes adoptan hechos establecidos y añaden suposiciones no verificadas.

Conceptos lógicos clave aplicados a los KG incluyen:

• Localidad (Axioma K): El razonamiento se confina dentro de un mundo cognitivo; las inferencias no cruzan automáticamente las fronteras.
• Racionalidad (Axioma D): Los mundos cognitivos no pueden contener contradicciones internas.
• Permeación:
  • De adentro hacia afuera (Axioma T): Las afirmaciones epistémicas permean hacia el núcleo factual (Realidad).
  • De afuera hacia adentro (Axioma C): Los hechos establecidos permean hacia los mundos conjeturales.
• Intensionalidad: La identidad y la equivalencia (p. ej., owl:sameAs) no cruzan libremente las fronteras modales, resolviendo la Paradoja de Superman al tratar la identidad como dependiente del contexto.

2.2 Formalización para RDF

Los autores definen una interpretación-DEC para conjuntos de datos RDF que es conservadora sobre la semántica de RDF 1.2:

• Mundos Cognitivos: Representados como grafos con nombre, triples entrecomillados (RDF-star) o enunciados reificados.
• Grafo de la Realidad ($r$): Un grafo distinguido construido a partir de la unión de todos los mundos Epistémicos.
• Satisfacción: Una interpretación DEC satisface un grafo $g$ si la interpretación subyacente de RDF satisface el grafo de la realidad $r$. Los mundos no epistémicos (creencias, conjeturas) no afectan las condiciones de verdad del conjunto de datos a menos que sean epistémicos.
• Resolución (Settlement): Un operador dinámico (settle) permite que las afirmaciones conjeturales transicionen hacia la capa epistémica (Realidad) tras su validación, sin eliminar la hipótesis original.

2.3 Fenómenos Epistémicos

El marco define y detecta formalmente:

• Desacuerdos: Dos mundos cognitivos están en desacuerdo si su unión es lógicamente inconsistente.
• Delirios: Un mundo es delirante si discrepa con el grafo de la Realidad establecido.
• Opiniones Personales: Mundos que contienen afirmaciones desvinculadas de la realidad verificable (p. ej., preferencias) que no están ni apoyadas ni refutadas por $r$.

3. Implementación y Resultados

Los autores implementaron un prototipo de Razonador DEC como un módulo para Apache Jena Fuseki.

• Arquitectura: El razonador actúa como una capa supervisora sobre la inferencia estándar de RDF/RDFS/OWL. No reemplaza al razonador subyacente, sino que prepara los grafos aplicando políticas de permeación basadas en el tipo epistémico del mundo (p. ej., duplicando hechos en mundos conjeturales o promoviendo hechos epistémicos al grafo de la realidad).
• Representaciones Soportadas: El sistema maneja Grafos con Nombre, RDF-star (triples entrecomillados) y Reificación clásica.
• Detección de Inconsistencias: El prototipo soporta dos mecanismos para detectar conflictos:
  1. Inconsistencia Lógica: Utilizando el razonador OWL subyacente para verificar la satisfacibilidad de las uniones de mundos.
  2. Restricciones de Clausura (dec:closedFor): Declarar explícitamente que ciertos predicados (p. ej., dc:creator) no pueden tener múltiples valores para el mismo sujeto a través de los mundos, permitiendo la detección de desacuerdos incluso cuando la inconsistencia lógica no es inmediatamente derivable.
• Resultados: El prototipo demuestra con éxito:
  • La capacidad de mantener teorías contrapuestas (p. ej., la autoría de Salvator Mundi o Hamlet) sin colapsar el conjunto de datos en una inconsistencia.
  • La detección de afirmaciones delirantes (p. ej., una creencia que contradice los hechos establecidos).
  • La preservación de la "verdad de atribución" (la afirmación de que X dijo Y) incluso cuando el contenido Y es falso o delirante.

4. Contribuciones Clave

1. Caracterización Epistémica de los PES: Mover la procedencia de metadatos neutros a un operador semántico que define la relación entre una afirmación y la realidad.
2. Mundos Cognitivos: Introducir una unidad estructural (el mundo cognitivo) para agrupar enunciados con procedencia homogénea, permitiendo modelar teorías y debates académicos como unidades cohesivas.
3. Resolución Formal de Problemas de Sustitución: Proporcionar un tratamiento intensional y principista de la identidad y la equivalencia en los KG, evitando la Paradoja de Superman mediante la imposición de la localidad.
4. Prototipo Operativo: Demostrar que estos conceptos teóricos pueden implementarse como una capa práctica sobre la infraestructura existente de la Web Semántica (Jena/Fuseki) sin redefinir la entalpía estándar de RDF.

5. Significado y Reivindicaciones

El artículo afirma que DEC aborda una brecha semántica crítica en los Grafos de Conocimiento: la incapacidad de razonar formalmente sobre la divergencia de las afirmaciones. Al distinguir entre data (hechos) y capta (afirmaciones), DEC permite que los KG:

• Representen el estado de un debate en lugar de solo una única visión "factual".
• Soporten un razonamiento controlado donde los desacuerdos son características explícitas, no errores a resolver.
• Permitan la evolución epistémica, donde las afirmaciones pueden ser rastreadas a medida que pasan de la conjetura a la resolución (hecho) o son identificadas como delirios.

Los autores enfatizan que DEC es conservador: no altera la semántica fundamental de los términos de RDF u ontologías, sino que añade una metacapa de interpretación. Esto permite la coexistencia de perspectivas contrapuestas sin sacrificar la capacidad de realizar inferencia estándar sobre hechos establecidos. El trabajo sugiere que los futuros KG en dominios como el patrimonio cultural y la investigación científica deben ir más allá de la procedencia neutral para soportar el modelado explícito de las posturas epistémicas.