Inicio · Capítulos · 15. Ontología y relaciones entre movimientos
15.3.6 Contrato de regla de
inferencia
id |
stable INF-nnn |
name |
human-readable |
family |
controlled value |
profile |
reasoning profile id |
body |
ordered patterns and filters |
head |
triples or diagnostics |
guards |
preconditions |
monotonicity |
Monotonic|Diagnostic|ExperimentalNonMonotonic |
materializationPolicy |
controlled value |
confidencePolicy |
Deterministic|Bounded|Heuristic|N/A |
prohibitedConsequences |
explicit safety constraints |
sourceIds |
normative or informative references |
Ejemplo
rule INF-001
profile RP2-OWL2RL
body: ?x broaderTechnique ?y
head: ?y narrowerTechnique ?x
materialize: inferred-owlrl
proof: inputs + rule digest + engine version