16.57 15.3.8 Mundo abierto, negación y contradicciones
- La ontología usa semántica de mundo abierto como baseline.
- La ausencia de un triple no demuestra que el triple sea falso.
- Unknown, NotObserved y ObservedNegative son estados distintos.
- Las negaciones explícitas deben ser aserciones con procedencia.
- Una contradicción no elimina automáticamente ninguna de las aserciones.
- La lógica explosiva no se utiliza para publicar cualquier consecuencia desde una inconsistencia.
- NOT EXISTS puede filtrar resultados, pero no crear hechos de dominio en perfiles de producción.
- Negation-as-failure queda restringida a RP6 y a grafos experimentales.
- Los candidatos provisionales no se promueven por repetición o frecuencia.
- Una confianza numérica baja no equivale a falsedad.
- Un alias inexistente no significa que el término sea inválido.
- No observar vuelo por oclusión no autoriza clasificar el movimiento como estático.
- No encontrar un fallo relacionado no prueba que la técnica esté libre de fallos.
- Las restricciones SHACL validan estructura; no cambian por sí mismas el significado ontológico.
- Las facetas derivadas pueden retirarse sin retirar el concepto canónico.
- Todo resultado no monotónico debe declarar orden de evaluación y snapshot de entrada.
La semántica RDF es monotónica: añadir hechos no invalida consecuencias anteriores bajo el mismo régimen. Las reglas no monotónicas requieren políticas adicionales de orden, snapshot y retractación, por lo que se aíslan del baseline [P52-R1].
missing(contact) != no-contact
occluded(contact) != no-contact
unknown(classification) != background
contradicted(assertion) != deleted(assertion)