Inicio · Capítulos · 15. Ontología y relaciones entre movimientos
15.1.14 Reglas de inferencia
permitidas
- Generar relaciones inversas declaradas.
- Cerrar transitivamente sólo predicados marcados como
transitivos.
- Propagar tipos por jerarquía de clases.
- Inferir
hasFailureMode desde la inversa
affectsMovement.
- Materializar relaciones simétricas en exportaciones que lo
requieran.
- No inferir intención, causalidad, calidad técnica ni equivalencia
desde proximidad estadística.
- No convertir coocurrencia frecuente en composición obligatoria.
- No convertir similitud de embeddings en relación ontológica sin
revisión.