Enciclopedia Boulder v1.0

Inicio · Capítulos · 15. Ontología y relaciones entre movimientos

En esta página

16.56 15.3.7 Catálogo de reglas

Se definieron 49 reglas. Todas declaran perfil, monotonicidad, política de materialización, restricciones y fuentes.

Familia Reglas
AssertionStatus 1
CollectionSafety 1
Composition 2
Contradiction 2
Dependency 1
Diagnostic 6
FacetProvenance 1
FailureLink 1
LexicalFallback 1
MappingSafety 2
OWLInverse 10
OWLSymmetric 7
OWLTransitive 3
Observation 1
OpenWorld 1
Provenance 1
ReleaseIntegrity 1
TaxonomyClosure 2
Temporal 3
Versioning 2

16.56.1 INF-001 — Materializar inversa broaderTechnique → narrowerTechnique

IF
  ?x climb:broaderTechnique ?y
THEN
  ?y climb:narrowerTechnique ?x

Guards - subject != object cuando cualquiera de las propiedades sea irreflexiva Fuentes: P52-R2, P52-R3

16.56.2 INF-002 — Materializar inversa narrowerTechnique → broaderTechnique

IF
  ?x climb:narrowerTechnique ?y
THEN
  ?y climb:broaderTechnique ?x

Guards - subject != object cuando cualquiera de las propiedades sea irreflexiva Fuentes: P52-R2, P52-R3

16.56.3 INF-003 — Materializar inversa hasVariant → variantOf

IF
  ?x climb:hasVariant ?y
THEN
  ?y climb:variantOf ?x

Guards - subject != object cuando cualquiera de las propiedades sea irreflexiva Fuentes: P52-R2, P52-R3

16.56.4 INF-004 — Materializar inversa variantOf → hasVariant

IF
  ?x climb:variantOf ?y
THEN
  ?y climb:hasVariant ?x

Guards - subject != object cuando cualquiera de las propiedades sea irreflexiva Fuentes: P52-R2, P52-R3

16.56.5 INF-005 — Materializar inversa hasPrerequisite → prerequisiteFor

IF
  ?x climb:hasPrerequisite ?y
THEN
  ?y climb:prerequisiteFor ?x

Guards - subject != object cuando cualquiera de las propiedades sea irreflexiva Fuentes: P52-R2, P52-R3

16.56.6 INF-006 — Materializar inversa prerequisiteFor → hasPrerequisite

IF
  ?x climb:prerequisiteFor ?y
THEN
  ?y climb:hasPrerequisite ?x

Guards - subject != object cuando cualquiera de las propiedades sea irreflexiva Fuentes: P52-R2, P52-R3

16.56.7 INF-007 — Materializar inversa typicallyPrecedes → typicallyFollows

IF
  ?x climb:typicallyPrecedes ?y
THEN
  ?y climb:typicallyFollows ?x

Guards - subject != object cuando cualquiera de las propiedades sea irreflexiva Fuentes: P52-R2, P52-R3

16.56.8 INF-008 — Materializar inversa typicallyFollows → typicallyPrecedes

IF
  ?x climb:typicallyFollows ?y
THEN
  ?y climb:typicallyPrecedes ?x

Guards - subject != object cuando cualquiera de las propiedades sea irreflexiva Fuentes: P52-R2, P52-R3

16.56.9 INF-009 — Materializar inversa hasFailureMode → affectsMovement

IF
  ?x climb:hasFailureMode ?y
THEN
  ?y climb:affectsMovement ?x

Guards - subject != object cuando cualquiera de las propiedades sea irreflexiva Fuentes: P52-R2, P52-R3

16.56.10 INF-010 — Materializar inversa affectsMovement → hasFailureMode

IF
  ?x climb:affectsMovement ?y
THEN
  ?y climb:hasFailureMode ?x

Guards - subject != object cuando cualquiera de las propiedades sea irreflexiva Fuentes: P52-R2, P52-R3

16.56.11 INF-011 — Cierre simétrico de relatedTechnique

IF
  ?x climb:relatedTechnique ?y
THEN
  ?y climb:relatedTechnique ?x

Guards - ?x != ?y Fuentes: P52-R2, P52-R3

16.56.12 INF-012 — Cierre simétrico de canCoOccurWith

IF
  ?x climb:canCoOccurWith ?y
THEN
  ?y climb:canCoOccurWith ?x

Guards - ?x != ?y Fuentes: P52-R2, P52-R3

16.56.13 INF-013 — Cierre simétrico de canComposeWith

IF
  ?x climb:canComposeWith ?y
THEN
  ?y climb:canComposeWith ?x

Guards - ?x != ?y Fuentes: P52-R2, P52-R3

16.56.14 INF-014 — Cierre simétrico de contrastsWith

IF
  ?x climb:contrastsWith ?y
THEN
  ?y climb:contrastsWith ?x

Guards - ?x != ?y Fuentes: P52-R2, P52-R3

16.56.15 INF-015 — Cierre simétrico de commonlyConfusedWith

IF
  ?x climb:commonlyConfusedWith ?y
THEN
  ?y climb:commonlyConfusedWith ?x

Guards - ?x != ?y Fuentes: P52-R2, P52-R3

16.56.16 INF-016 — Cierre simétrico de alternativeTo

IF
  ?x climb:alternativeTo ?y
THEN
  ?y climb:alternativeTo ?x

Guards - ?x != ?y Fuentes: P52-R2, P52-R3

16.56.17 INF-017 — Cierre simétrico de coOccursWithFailure

IF
  ?x climb:coOccursWithFailure ?y
THEN
  ?y climb:coOccursWithFailure ?x

Guards - ?x != ?y Fuentes: P52-R2, P52-R3

16.56.18 INF-018 — Cierre transitivo de broaderTechnique

IF
  ?x climb:broaderTechnique ?y
  ?y climb:broaderTechnique ?z
THEN
  ?x climb:broaderTechnique ?z

Guards - ?x != ?z - sólo para predicados declarados transitivos Fuentes: P52-R2, P52-R3

16.56.19 INF-019 — Cierre transitivo de derivedFrom

IF
  ?x climb:derivedFrom ?y
  ?y climb:derivedFrom ?z
THEN
  ?x climb:derivedFrom ?z

Guards - ?x != ?z - sólo para predicados declarados transitivos Fuentes: P52-R2, P52-R3

16.56.20 INF-020 — Cierre transitivo de supersedes

IF
  ?x climb:supersedes ?y
  ?y climb:supersedes ?z
THEN
  ?x climb:supersedes ?z

Guards - ?x != ?z - sólo para predicados declarados transitivos Fuentes: P52-R2, P52-R3

16.56.21 INF-021 — Taxón ancestro de asignación primaria

IF
  ?entity climb:primaryTaxon ?taxon
  ?taxon climb:parentTaxon ?ancestor
THEN
  ?entity climb:hasTaxonAncestor ?ancestor

Guards - La jerarquía primaria debe estar libre de ciclos Consecuencias prohibidas - No convertir colección temática en clase superior Fuentes: P52-R7, P52-R8

16.56.22 INF-022 — Propagación recursiva de ancestros taxonómicos

IF
  ?entity climb:hasTaxonAncestor ?taxon
  ?taxon climb:parentTaxon ?ancestor
THEN
  ?entity climb:hasTaxonAncestor ?ancestor

Guards - Profundidad y número de resultados acotados Fuentes: P52-R7, P52-R8

16.56.23 INF-023 — Inversa segura entre fallo y movimiento afectado

IF
  ?failure climb:affectsMovement ?movement
THEN
  ?movement climb:hasFailureMode ?failure

Guards - ?failure a climb:FailurePattern - ?movement a climb:MovementConcept Fuentes: P52-R7, P52-R8

16.56.24 INF-024 — Candidato de prerrequisito no se promueve automáticamente

IF
  ?a climb:prerequisiteCandidate ?b
THEN
  _:assertion climb:requiresHumanCuration true

Guards - Preservar sourcePath y assertionStatus=Provisional Consecuencias prohibidas - No inferir climb:hasPrerequisite Fuentes: P52-R7, P52-R8

16.56.25 INF-025 — Dependencia curada produce relación inversa

IF
  ?a climb:hasPrerequisite ?b
THEN
  ?b climb:prerequisiteFor ?a

Guards - La dependencia estricta debe ser acíclica Fuentes: P52-R7, P52-R8

16.56.26 INF-026 — Etiqueta preferida heredada sólo para presentación

IF
  ?concept skos:prefLabel ?label
  FILTER(lang(?label)="en")
  FILTER NOT EXISTS {?concept skos:prefLabel ?es . FILTER(lang(?es)="es")}
THEN
  ?concept climb:displayFallbackLabel ?label

Guards - El triple derivado no usa skos:prefLabel Consecuencias prohibidas - No inventar traducción Fuentes: P52-R7, P52-R8

16.56.27 INF-027 — Deprecación resuelve reemplazo recomendado

IF
  ?old climb:deprecatedInFavorOf ?new
THEN
  ?old climb:recommendedReplacement ?new

Guards - El destino debe estar activo o explícitamente superseded Fuentes: P52-R10

16.56.28 INF-028 — Cadena de reemplazos para consulta

IF
  ?a climb:recommendedReplacement ?b
  ?b climb:recommendedReplacement ?c
THEN
  ?a climb:replacementClosure ?c

Guards - Sin ciclos de deprecación Fuentes: P52-R10

16.56.29 INF-029 — Composición expone componentes sin crear subclases

IF
  ?composition climb:hasComponentOccurrence ?occ
  ?occ climb:componentConcept ?concept
THEN
  ?composition climb:containsConcept ?concept

Consecuencias prohibidas - No inferir broaderTechnique Fuentes: P52-R7, P52-R8

16.56.30 INF-030 — Secuencia formal produce adyacencia contextual

IF
  ?comp climb:hasOrderedOccurrence ?a
  ?comp climb:hasOrderedOccurrence ?b
  ?a climb:orderIndex ?ia
  ?b climb:orderIndex ?ib
  FILTER(?ib = ?ia + 1)
THEN
  ?a climb:contextuallyPrecedes ?b

Consecuencias prohibidas - No inferir typicallyPrecedes global Fuentes: P52-R7, P52-R8

16.56.31 INF-031 — Faceta derivada conserva estado provisional

IF
  ?entity climb:derivedFacetAssignment ?assignment
THEN
  ?assignment climb:assertionStatus climb:DerivedProvisional

Consecuencias prohibidas - No promover a Asserted sin revisión Fuentes: P52-R7, P52-R8

16.56.32 INF-032 — Clasificación observacional requiere aserción reificada

IF
  ?obs climb:classificationAssertion ?assertion
  ?assertion climb:targetConcept ?concept
THEN
  ?obs climb:classifiedAs ?concept

Guards - La aserción debe declarar confianza, modelo y evidencia Consecuencias prohibidas - No fusionar observación y concepto Fuentes: P52-R7, P52-R8

16.56.33 INF-033 — Evidencia contradictoria abre estado disputado

IF
  ?assertion climb:supportedBy ?positive
  ?assertion climb:contradictedBy ?negative
THEN
  ?assertion climb:reviewState climb:Disputed

Consecuencias prohibidas - No eliminar ninguna evidencia Fuentes: P52-R1, P52-R3

16.56.34 INF-034 — Dos clasificaciones incompatibles conservan ambas

IF
  ?obs climb:classificationAssertion ?a1
  ?obs climb:classificationAssertion ?a2
  ?a1 climb:targetConcept ?c1
  ?a2 climb:targetConcept ?c2
  ?c1 climb:contrastsWith ?c2
  FILTER(?a1 != ?a2)
THEN
  ?obs climb:reviewState climb:SemanticConflict

Consecuencias prohibidas - No seleccionar ganador por regla Fuentes: P52-R1, P52-R3

16.56.35 INF-035 — Observación insuficiente se abstiene

IF
  ?obs climb:evidenceState climb:InsufficientEvidence
THEN
  ?obs climb:classificationState climb:Abstained

Consecuencias prohibidas - No inferir clase por defecto Fuentes: P52-R1, P52-R3

16.56.36 INF-036 — Relación temporal inversa local

IF
  ?a climb:intervalBefore ?b
THEN
  ?b climb:intervalAfter ?a

Guards - Los intervalos deben pertenecer al mismo intento o contexto declarado Fuentes: P52-R17

16.56.37 INF-037 — Relación meets implica before local

IF
  ?a climb:intervalMeets ?b
THEN
  ?a climb:intervalBefore ?b

Guards - Tolerancia temporal declarada Consecuencias prohibidas - No inferir separación positiva Fuentes: P52-R17

16.56.38 INF-038 — Overlap es simétrico

IF
  ?a climb:intervalOverlaps ?b
THEN
  ?b climb:intervalOverlappedBy ?a

Guards - Intervalos válidos Fuentes: P52-R17

16.56.39 INF-039 — Regla de revisión para exactEquivalent

IF
  ?a climb:exactEquivalent ?b
THEN
  _:assertion climb:requiresEquivalenceAudit true

Guards - Evidencia semántica y no sólo lexical Consecuencias prohibidas - No inferir desde alias o traducción Fuentes: P52-R7, P52-R8

16.56.40 INF-040 — closeEquivalent no se hace transitivo

IF
  ?a climb:closeEquivalent ?b
  ?b climb:closeEquivalent ?c
THEN
  _:diagnostic climb:nonTransitiveChainDetected true

Consecuencias prohibidas - No inferir ?a climb:closeEquivalent ?c Fuentes: P52-R7, P52-R8

16.56.41 INF-041 — Colección temática no crea jerarquía

IF
  ?collection skos:member ?concept
THEN
  ?concept climb:memberOfCollection ?collection

Consecuencias prohibidas - No inferir skos:broader Fuentes: P52-R7, P52-R8

16.56.42 INF-042 — Fuente retirada marca aserción afectada

IF
  ?assertion prov:wasDerivedFrom ?source
  ?source climb:sourceStatus climb:Withdrawn
THEN
  ?assertion climb:reviewState climb:SourceWithdrawn

Consecuencias prohibidas - No borrar la aserción histórica Fuentes: P52-R10

16.56.43 INF-043 — Release canónico produce digest verificable

IF
  ?release climb:canonicalNQuadsDigest ?digest
THEN
  ?release climb:integrityState climb:DigestDeclared

Guards - Digest generado sobre RDFC-1.0 o algoritmo identificado Fuentes: P52-R11

16.56.44 INF-044 — Ausencia no implica negación

IF
  FILTER NOT EXISTS {?s ?p ?o}
THEN
  emit Diagnostic:ClosedWorldRequest

Fuentes: P52-R7, P52-R8

16.56.45 INF-045 — Negación como fallo fuera del baseline

IF
  rule uses NOT EXISTS to conclude domain fact
THEN
  emit Diagnostic:NonMonotonicRule

Fuentes: P52-R7, P52-R8

16.56.46 INF-046 — Ciclo en relación estricta

IF
  ?x (climb:hasPrerequisite|climb:broaderTechnique|climb:supersedes)+ ?x
THEN
  emit Violation:StrictCycle

Fuentes: P52-R7, P52-R8

16.56.47 INF-047 — Self-loop irreflexivo

IF
  ?x ?p ?x
  ?p a climb:IrreflexiveProperty
THEN
  emit Violation:IrreflexiveSelfLoop

Fuentes: P52-R7, P52-R8

16.56.48 INF-048 — Dominio o rango inválido

IF
  ?s ?p ?o
  ?p climb:domain ?D
  ?p climb:range ?R
THEN
  emit Violation:DomainRange

Fuentes: P52-R7, P52-R8

16.56.49 INF-049 — Resultado inferido sin traza

IF
  ?triple climb:assertionStatus climb:Derived
  FILTER NOT EXISTS {?triple prov:wasGeneratedBy ?activity}
THEN
  emit Violation:MissingProofTrace

Fuentes: P52-R7, P52-R8