World Wide Web Consortium2014-01-282014-01-282013-04-30https://hdl.handle.net/10421/7485Este 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.enhttp://creativecommons.org/licenses/by-nc-nd/4.0/TextModelos de datosWeb semántica