| 1 |
LoadRelease |
Cargar release, digests y manifiesto de razonamiento. |
| 2 |
SyntaxValidation |
Validar JSON/RDF, IRIs, datatypes y language tags. |
| 3 |
CanonicalizeDataset |
Canonicalizar el dataset RDF cuando se requieran firmas o
diffs. |
| 4 |
SeparateNamedGraphs |
Separar hechos asserted, curated, inferred, validation y
provenance. |
| 5 |
CoreSHACL |
Ejecutar constraints estructurales antes de razonar. |
| 6 |
ProfileConformance |
Confirmar que la ontología satisface el perfil declarado. |
| 7 |
RDFSClosure |
Calcular cierre RDF/RDFS cuando el perfil lo requiera. |
| 8 |
OWL2RLClosure |
Aplicar reglas OWL 2 RL soportadas. |
| 9 |
DomainRuleExecution |
Ejecutar reglas monotónicas de dominio por orden y versión. |
| 10 |
ProofCapture |
Registrar inputs, outputs, regla, motor y digests. |
| 11 |
ContradictionDetection |
Detectar conflictos sin borrar aserciones. |
| 12 |
PostInferenceSHACL |
Validar grafo lógico combinado y grafos individuales. |
| 13 |
CompetencyQueries |
Ejecutar consultas de competencia y comparar contratos. |
| 14 |
PerformanceBudget |
Aplicar límites de memoria, tiempo, profundidad y cardinalidad. |
| 15 |
DeterminismCheck |
Repetir ejecución y comparar digests de los grafos inferidos. |
| 16 |
IncrementalCheck |
Comparar resultado incremental contra recomputación completa. |
| 17 |
PublishManifest |
Publicar manifiesto de perfiles, reglas, motores y tests. |
| 18 |
ArchiveAuditBundle |
Archivar inputs, outputs, reportes y trazas reproducibles. |