Constraints of the PROV data model
Archivos
Otros títulos
Mención de responsabilidad
W3C
Autores
World Wide Web Consortium
Fecha
2013-04-30
Editor
World Wide Web Consortium
Citación
Serie
W3C Recommendation
Rango
Resumen
Este documento define un subconjunto de instancias PROV llamados instancias PROV válidas, por analogía con las nociones de validez para otros estándares Web. La intención de la validación es asegurarse de que una instancia de PROV representa un historial consistente de objetos y de sus interacciones que es seguro de utilizar para el propósito de razonamiento lógico y otros tipos de análisis. Las instancias PROV válidas satisfacen ciertas definiciones, inferencias y restricciones. Estas definiciones, inferencias y restricciones proporcionan una medida de coherencia para comprobar la procedencia y el razonamiento sobre la procedencia. También se pueden utilizar para normalizar instancias PROV a formularios que se pueden comparar fácilmente con el fin de determinar si dos instancias PROV son equivalentes. Validez y equivalencia también se definen para paquetes PROV y documentos.