15. Ontología y relaciones entre movimientos — 16.59 15.3.10 Consultas semánticas oficiales

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

En esta página

16.59 15.3.10 Consultas semánticas oficiales
16.59.1 SQ-01 — Ancestros taxonómicos
16.59.2 SQ-02 — Descendientes de una familia
16.59.3 SQ-03 — Alternativas funcionales en placa
16.59.4 SQ-04 — Prerrequisitos candidatos de dyno
16.59.5 SQ-05 — Fallos que afectan una técnica
16.59.6 SQ-06 — Pares de diagnóstico diferencial
16.59.7 SQ-07 — Filtro multifaceta
16.59.8 SQ-08 — Composiciones que contienen un concepto
16.59.9 SQ-09 — Secuencia contextual de componentes
16.59.10 SQ-10 — Aserciones disputadas
16.59.11 SQ-11 — Hechos afirmados frente a derivados
16.59.12 SQ-12 — Cadena de deprecación
16.59.13 SQ-13 — Conceptos sin etiqueta bilingüe
16.59.14 SQ-14 — Ciclos en relaciones estrictas
16.59.15 SQ-15 — Self-loops irreflexivos
16.59.16 SQ-16 — Predicados fuera del vocabulario
16.59.17 SQ-17 — Observaciones abstencionistas
16.59.18 SQ-18 — Cola de curación semántica
16.59.19 SQ-19 — Impacto de una fuente
16.59.20 SQ-20 — Diferencias entre releases
16.59.21 SQ-21 — Movimientos con mecanismo común y pared distinta
16.59.22 SQ-22 — Hard negatives de clasificación
16.59.23 SQ-23 — Cobertura de reglas por concepto
16.59.24 SQ-24 — Trazas de prueba

16.59 15.3.10 Consultas semánticas oficiales

Se definieron 24 consultas con perfil y contrato de resultado.

16.59.1 SQ-01 — Ancestros taxonómicos

Navegar desde un concepto hasta todos sus taxones ancestros.

Perfil: RP4-QueryTime
Resultado: Lista ordenada de taxones únicos
Safeguards:
- Limitar profundidad lógica mediante jerarquía validada
- Timeout obligatorio

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT DISTINCT ?taxon ?label WHERE {
  VALUES ?concept { data:FOOT-FLAG-001 }
  ?concept climb:primaryTaxon/climb:parentTaxon* ?taxon .
  OPTIONAL { ?taxon skos:prefLabel ?label FILTER(lang(?label)="es") }
} ORDER BY ?taxon

16.59.2 SQ-02 — Descendientes de una familia

Recuperar todos los conceptos bajo una rama primaria.

Perfil: RP4-QueryTime
Resultado: IRIs de conceptos
Safeguards:
- No usar sobre grafos con ciclos
- Paginar resultados

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT DISTINCT ?concept WHERE {
  ?concept climb:primaryTaxon ?leaf .
  ?leaf climb:parentTaxon* data:TAX-DYNAMIC-MOVEMENT .
} ORDER BY ?concept

16.59.3 SQ-03 — Alternativas funcionales en placa

Encontrar alternativas con contexto de pared compatible.

Perfil: RP2-OWL2RL
Resultado: Pares simétricos deduplicados
Safeguards:
- Canonicalizar orden del par
- No interpretar alternativeTo como equivalencia

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT DISTINCT ?movement ?alternative WHERE {
  ?movement climb:wallContext climb:Slab ;
            climb:alternativeTo ?alternative .
  ?alternative climb:wallContext climb:Slab .
} ORDER BY ?movement ?alternative

16.59.4 SQ-04 — Prerrequisitos candidatos de dyno

Separar dependencias curadas de candidatos heredados.

Perfil: RP0-AssertedOnly
Resultado: Dependencias con estado y procedencia
Safeguards:
- No aplicar cierre transitivo a prerequisiteCandidate
- Exigir revisión humana antes de promoción

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT ?predicate ?dependency ?status WHERE {
  VALUES ?dyno { data:DYN-DYNO-001 }
  VALUES ?predicate { climb:hasPrerequisite climb:prerequisiteCandidate }
  ?assertion a climb:RelationAssertion ;
             climb:subject ?dyno ;
             climb:predicate ?predicate ;
             climb:object ?dependency ;
             climb:assertionStatus ?status .
} ORDER BY ?predicate ?dependency

16.59.5 SQ-05 — Fallos que afectan una técnica

Consultar fallos directos e inversos de una técnica.

Perfil: RP3-DomainSafe
Resultado: Fallos canónicos
Safeguards:
- Deduplicar por IRI
- No inferir causalidad

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT DISTINCT ?failure ?label WHERE {
  VALUES ?movement { data:HOOK-HEEL-001 }
  { ?movement climb:hasFailureMode ?failure }
  UNION
  { ?failure climb:affectsMovement ?movement }
  OPTIONAL { ?failure skos:prefLabel ?label FILTER(lang(?label)="es") }
} ORDER BY ?failure

16.59.6 SQ-06 — Pares de diagnóstico diferencial

Recuperar pares contrastivos y de confusión común.

Perfil: RP2-OWL2RL
Resultado: Pares no dirigidos únicos
Safeguards:
- Orden lexicográfico para evitar duplicados

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT DISTINCT ?a ?relation ?b WHERE {
  VALUES ?relation { climb:contrastsWith climb:commonlyConfusedWith }
  ?a ?relation ?b .
  FILTER(STR(?a) < STR(?b))
} ORDER BY ?relation ?a ?b

16.59.7 SQ-07 — Filtro multifaceta

Combinar pared, régimen dinámico y sistema corporal.

Perfil: RP0-AssertedOnly
Resultado: Conceptos que cumplen todas las facetas
Safeguards:
- Declarar si las facetas son Asserted o DerivedProvisional

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT DISTINCT ?movement WHERE {
  ?movement climb:wallContext climb:Roof ;
            climb:dynamicRegime climb:BallisticFlight ;
            climb:bodySystem climb:MultiLimbCoordination .
} ORDER BY ?movement

16.59.8 SQ-08 — Composiciones que contienen un concepto

Localizar composiciones formales con un componente dado.

Perfil: RP3-DomainSafe
Resultado: Composiciones y ocurrencias
Safeguards:
- No asumir que containsConcept implica subclase

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT DISTINCT ?composition ?occurrence ?role WHERE {
  VALUES ?concept { data:DYN-DYNO-001 }
  ?composition climb:hasComponentOccurrence ?occurrence .
  ?occurrence climb:componentConcept ?concept .
  OPTIONAL { ?occurrence climb:componentRole ?role }
} ORDER BY ?composition ?occurrence

16.59.9 SQ-09 — Secuencia contextual de componentes

Mostrar componentes y restricciones temporales de una composición.

Perfil: RP0-AssertedOnly
Resultado: Filas ordenadas por composición
Safeguards:
- orderIndex debe ser único dentro de cada composición

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT ?composition ?index ?concept ?role WHERE {
  ?composition climb:hasOrderedOccurrence ?occ .
  ?occ climb:orderIndex ?index ;
       climb:componentConcept ?concept .
  OPTIONAL { ?occ climb:componentRole ?role }
} ORDER BY ?composition ?index

16.59.10 SQ-10 — Aserciones disputadas

Encontrar clasificaciones con evidencia positiva y contradictoria.

Perfil: RP3-DomainSafe
Resultado: Aserciones que requieren revisión
Safeguards:
- No resolver automáticamente el conflicto

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT DISTINCT ?observation ?assertion ?concept WHERE {
  ?observation climb:classificationAssertion ?assertion .
  ?assertion climb:targetConcept ?concept ;
             climb:supportedBy ?positive ;
             climb:contradictedBy ?negative .
} ORDER BY ?observation ?assertion

16.59.11 SQ-11 — Hechos afirmados frente a derivados

Comparar procedencia de una misma proposición.

Perfil: RP0-AssertedOnly
Resultado: Quads con grafo y actividad
Safeguards:
- Límite obligatorio
- No fusionar grafos en la interfaz sin mostrar procedencia

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT ?graph ?assertion ?s ?p ?o ?activity WHERE {
  GRAPH ?graph {
    ?assertion a climb:RelationAssertion ;
               climb:subject ?s ;
               climb:predicate ?p ;
               climb:object ?o .
  }
  FILTER(?graph IN (data:asserted, data:curated, data:inferred))
  OPTIONAL { ?assertion prov:wasGeneratedBy ?activity }
} LIMIT 500

16.59.12 SQ-12 — Cadena de deprecación

Resolver reemplazos sin perder conceptos históricos.

Perfil: RP4-QueryTime
Resultado: Reemplazo terminal por concepto antiguo
Safeguards:
- Abortar si existe ciclo
- Mostrar todos los saltos en auditoría

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT DISTINCT ?old ?replacement WHERE {
  ?old climb:deprecatedInFavorOf+/climb:deprecatedInFavorOf* ?replacement .
  FILTER NOT EXISTS { ?replacement climb:deprecatedInFavorOf ?next }
}

16.59.13 SQ-13 — Conceptos sin etiqueta bilingüe

Controlar etiquetas preferidas en español e inglés.

Perfil: RP5-Validation
Resultado: Conceptos no conformes
Safeguards:
- Ejecutar sobre grafo afirmado, no sobre fallback derivado

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT DISTINCT ?concept WHERE {
  ?concept a climb:MovementConcept .
  { FILTER NOT EXISTS { ?concept skos:prefLabel ?es . FILTER(lang(?es)="es") } }
  UNION
  { FILTER NOT EXISTS { ?concept skos:prefLabel ?en . FILTER(lang(?en)="en") } }
} ORDER BY ?concept

16.59.14 SQ-14 — Ciclos en relaciones estrictas

Detectar ciclos que invalidan un release.

Perfil: RP5-Validation
Resultado: Cero filas esperado
Safeguards:
- Timeout y límite de profundidad del motor
- Bloquear release si devuelve resultados

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT DISTINCT ?relation ?node WHERE {
  { ?node climb:broaderTechnique+ ?node . BIND(climb:broaderTechnique AS ?relation) }
  UNION
  { ?node climb:hasPrerequisite+ ?node . BIND(climb:hasPrerequisite AS ?relation) }
  UNION
  { ?node climb:supersedes+ ?node . BIND(climb:supersedes AS ?relation) }
  UNION
  { ?node climb:deprecatedInFavorOf+ ?node . BIND(climb:deprecatedInFavorOf AS ?relation) }
} ORDER BY ?relation ?node

16.59.15 SQ-15 — Self-loops irreflexivos

Detectar relaciones de un nodo consigo mismo.

Perfil: RP5-Validation
Resultado: Cero filas esperado
Safeguards:
- Bloquear release

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT ?s ?p WHERE {
  VALUES ?p { climb:broaderTechnique climb:hasPrerequisite climb:typicallyPrecedes climb:supersedes climb:deprecatedInFavorOf }
  ?s ?p ?s .
}

16.59.16 SQ-16 — Predicados fuera del vocabulario

Detectar aristas ontológicas no controladas.

Perfil: RP5-Validation
Resultado: Cero filas esperado
Safeguards:
- Distinguir propiedades de metadatos y relaciones de dominio

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT DISTINCT ?p WHERE {
  GRAPH data:asserted { ?s ?p ?o }
  FILTER(STRSTARTS(STR(?p), STR(climb:)))
  FILTER NOT EXISTS { ?p a climb:ControlledRelation }
} ORDER BY ?p

16.59.17 SQ-17 — Observaciones abstencionistas

Encontrar episodios sin evidencia suficiente.

Perfil: RP3-DomainSafe
Resultado: Observaciones y razón
Safeguards:
- Unknown no se convierte en clase de fondo

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT ?observation ?state ?reason WHERE {
  ?observation climb:classificationState climb:Abstained ;
               climb:evidenceState ?state .
  OPTIONAL { ?observation climb:abstentionReason ?reason }
} ORDER BY ?observation

16.59.18 SQ-18 — Cola de curación semántica

Priorizar aserciones provisionales y conflictos.

Perfil: RP0-AssertedOnly
Resultado: Aserciones pendientes
Safeguards:
- Paginar
- No exponer datos personales de anotadores

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT ?assertion ?status ?priority WHERE {
  ?assertion climb:assertionStatus ?status .
  FILTER(?status IN (climb:Provisional, climb:DerivedProvisional, climb:Disputed))
  OPTIONAL { ?assertion climb:curationPriority ?priority }
} ORDER BY DESC(?priority) ?assertion

16.59.19 SQ-19 — Impacto de una fuente

Encontrar aserciones derivadas de una fuente concreta.

Perfil: RP4-QueryTime
Resultado: Entidades y aserciones afectadas
Safeguards:
- Acotar path sobre grafo de procedencia

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT DISTINCT ?entity ?assertion WHERE {
  VALUES ?source { data:P52-R2 }
  ?assertion prov:wasDerivedFrom+ ?source .
  OPTIONAL { ?entity climb:hasAssertion ?assertion }
} ORDER BY ?entity ?assertion

16.59.20 SQ-20 — Diferencias entre releases

Comparar quads canónicos de dos releases.

Perfil: RP0-AssertedOnly
Resultado: Grafo de adiciones
Safeguards:
- Canonicalizar ambos datasets con el mismo algoritmo
- Separar adiciones, eliminaciones y cambios de estado

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

CONSTRUCT { ?s ?p ?o } WHERE {
  GRAPH data:releaseCurrent { ?s ?p ?o }
  FILTER NOT EXISTS { GRAPH data:releasePrevious { ?s ?p ?o } }
}

16.59.21 SQ-21 — Movimientos con mecanismo común y pared distinta

Encontrar contrastes contextuales sin duplicar conceptos.

Perfil: RP0-AssertedOnly
Resultado: Pares y facetas
Safeguards:
- Límite obligatorio
- No inferir equivalencia

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT DISTINCT ?a ?b ?mechanism ?wallA ?wallB WHERE {
  ?a climb:functionalMechanism ?mechanism ; climb:wallContext ?wallA .
  ?b climb:functionalMechanism ?mechanism ; climb:wallContext ?wallB .
  FILTER(?a < ?b && ?wallA != ?wallB)
} LIMIT 500

16.59.22 SQ-22 — Hard negatives de clasificación

Recuperar pares contrastivos con evidencia observable.

Perfil: RP3-DomainSafe
Resultado: Pares y señales discriminantes
Safeguards:
- Conservar procedencia de cada señal

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT DISTINCT ?a ?b ?signal WHERE {
  ?a climb:contrastsWith ?b ; climb:hasObservableSignal ?signal .
  FILTER EXISTS { ?b climb:hasCounterEvidence ?signal }
  FILTER(STR(?a) < STR(?b))
}

16.59.23 SQ-23 — Cobertura de reglas por concepto

Auditar qué reglas pueden producir hechos sobre cada entidad.

Perfil: RP0-AssertedOnly
Resultado: Conteo por concepto
Safeguards:
- No confundir cobertura sintáctica con validación empírica

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT ?concept (COUNT(DISTINCT ?rule) AS ?ruleCount) WHERE {
  ?rule a climb:InferenceRule ; climb:targetsClass ?class .
  ?concept a ?class .
} GROUP BY ?concept ORDER BY ?ruleCount ?concept

16.59.24 SQ-24 — Trazas de prueba

Recuperar la cadena de reglas y hechos que justifican un triple derivado.

Perfil: RP3-DomainSafe
Resultado: Traza ordenada de inferencia
Safeguards:
- Profundidad máxima
- Ocultar evidencia sensible en vistas públicas

PREFIX climb: <https://example.org/climb/ontology/>
PREFIX data:  <https://example.org/climb/data/>
PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:   <http://www.w3.org/2002/07/owl#>
PREFIX skos:  <http://www.w3.org/2004/02/skos/core#>
PREFIX prov:  <http://www.w3.org/ns/prov#>
PREFIX sh:    <http://www.w3.org/ns/shacl#>
PREFIX xsd:   <http://www.w3.org/2001/XMLSchema#>

SELECT ?step ?rule ?input ?output WHERE {
  VALUES ?derivedAssertion { data:exampleDerivedAssertion }
  ?derivedAssertion prov:wasGeneratedBy/prov:wasInformedBy* ?step .
  ?step climb:ruleId ?rule ; climb:inputAssertion ?input ; climb:outputAssertion ?output .
} ORDER BY ?step