Constraints of the PROV data model

item.page.title.alternative
item.page.description.statementofresponsibility
W3C
relationships.isAuthorOf
World Wide Web Consortium
item.page.date
2013-04-30
item.page.publisher
World Wide Web Consortium
item.page.citation
item.page.relation.ispartofseries
W3C Recommendation
item.page.description.rango
item.page.abstract
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.
item.page.description.tableofcontents
item.page.description
item.page.relation.publisherversion
item.page.relation.haspart
item.page.relation.hasversion
item.page.relation.isformatof
item.page.relation.ispartof
item.page.relation.isreferencedby
item.page.relation.references
item.page.relation.isreplacedby
item.page.relation.hasformat
item.page.relation.conformsto
item.page.relation.isbasedon
item.page.relation.isversionof
item.page.relation.replaces
item.page.relation.requires
item.page.relation.isrequiredby
item.page.subject
Modelos de datos
Web semántica
item.page.collections