Inicio · Capítulos · 15. Ontología y relaciones entre movimientos
15.1.15 Ciclos,
contradicciones y consistencia
- Detectar ciclos en
broaderTechnique,
hasPrerequisite, supersedes y
deprecatedInFavorOf.
- Permitir ciclos en relaciones asociativas o simétricas.
- Rechazar self-loops en relaciones irreflexivas.
- Conservar aserciones disputadas, pero impedir que una inferencia
rechazada alimente el grafo publicado.
- Ejecutar reasoner OWL y validación SHACL como pasos distintos.
- Emitir reporte con triple problemática, ruta de evidencia y versión
introductora.