Cuál: el zócalo categórico (K)

El vendedor pone delante de ti, sobre el mostrador, una prenda doblada de tela suave, con el escudo bordado al pecho.

Sabes muchas cosas de esa prenda: que te la mostró el vendedor, que está sobre el mostrador, que cuesta 49,90 dólares.

Pero hay otra pregunta que tu mente responde antes de tocarla, y que ninguno de los cuatro pilares del capítulo anterior sabe contestar.

¿Qué es esto?

Es una camiseta. No esa camiseta, la que tienes enfrente, sino un ejemplar de una categoría que existía mucho antes de que llegara a la tienda y seguirá existiendo cuando la prenda esté en tu armario.

La pregunta parece menor, casi una formalidad. No lo es.

Es la grieta por la que se cuela un eje entero, y con él la mitad del poder de razonamiento de cualquier sistema serio.

Este capítulo trata de ese eje: K, el zócalo categórico, la respuesta a la pregunta cuál.

Lo que los pilares dejan sin decir

Volvamos a la escena con la que cerró el capítulo dos. Teníamos un hecho repartido en cuatro casilleros: el vendedor en Q, la camiseta en O, la tienda en L y el instante en T.

A primera vista, el hecho quedó descrito por completo.

Míralo con ojos de ingeniero y aparece un punto ciego enorme: hay información que esos cuatro pilares, por diseño, no te dejan expresar.

El vendedor vive en el eje Q. El cliente que compró la camiseta también. Hasta ahí, sin problemas.

Pero un sistema útil necesita algo más que un sitio donde guardar dos nombres. Necesita saber que los dos son personas.

Necesita reconocer que vendedor_17 y cliente_1042 comparten una naturaleza, para poder contar cuánta gente pasó por la tienda sin confundirla con las prendas.

Con la camiseta pasa lo mismo. Ese objeto físico, con su escudo bordado y su etiqueta de talla, vive bien en el eje O.

Pero la palabra «camiseta» nombra algo mucho más amplio que ese ejemplar sobre el mostrador. «Camiseta» es el tipo de cosa al que pertenece esa prenda.

Cualquier sistema con aspiraciones tiene que distinguir el ejemplar concreto (esta camiseta, con su talla y su color) de la categoría a la que pertenece.

La limitación es de fondo, y conviene nombrarla claro. Los pilares que hemos visto funcionan como un inventario de individuos: catalogan a esta persona, a este objeto, a este lugar, a este instante.

Falta un inventario distinto: el que define lo que esos individuos son.

Y eso no cabe en Q ni en O. Reclama su propio eje.

Qué es K, exactamente

La letra K viene de Kind en inglés, Klasse en alemán y la raíz griega katēgoría que comparten las lenguas latinas.

Es el eje que responde a la pregunta ¿cuál?: cuál, de entre un puñado de tipos, estados o categorías, le toca a algo.

Aloja en exclusiva tipos, categorías y conceptos abstractos. Ahí viven ideas genéricas como camiseta, prenda, largometraje, genero_drama, gol_jugada_abierta, kilogramo o infarto_agudo_de_miocardio.

La mejor imagen es la de un edificio sobre dos cimientos.

Los pilares Q, O, L y T son el primer zócalo, el de lo concreto. Ahí viven las cosas que existen materialmente, con identidad propia y casi siempre con un sitio en el espacio y en el tiempo.

K es el segundo zócalo, el de lo categórico. Ahí no hay nada que puedas tocar: hay nombres genéricos y moldes bajo los cuales agrupamos a los ejemplares del primero.

La distinción entre el individuo y su categoría es sutil, y es la herramienta más potente del modelo.

Una directora de cine de carne y hueso vive en Q: es una persona, serra, con fecha de nacimiento y filmografía. Pero el oficio de directora vive en K.

Un partido concreto vive en O: partido_arg_per_2026, ocurrió un sábado, terminó 2 a 1. Pero el concepto de partido de fútbol vive en K.

La ciudad donde se jugó vive en L. La categoría ciudad sede vive en K.

Separar los ejemplares de sus categorías es lo que le permite a un sistema razonar en general.

Es lo que hace que el buscador de una plataforma de streaming entienda «muéstrame todos los largometrajes de género drama», en vez de obligarte a teclear el título de cada película una por una.

Cuatro familias dentro de K

El eje K no es una bolsa plana donde arrojamos etiquetas al azar. Es un entorno muy estructurado que aloja, al menos, cuatro familias distintas de entidades categóricas. Vale la pena recorrerlas una a una para entender su alcance.

1 · Tipos de objetos y eventos

Conceptos como camiseta, largometraje o ordenanza_municipal son, en sentido estricto, tipos. La camiseta física está en O; el molde camiseta está en K.

Para coser los dos ejes usamos una relación clave: instancia_de. Esa única tripleta es el cordón umbilical entre la prenda concreta y su concepto:

Esa misma forma se repite para cualquier individuo de cualquier pilar; lo que cambia es el eje de origen:

(camiseta_88,    instancia_de, camiseta)            ∈ M(O, K)
(vendedor_17,    instancia_de, rol_vendedor)        ∈ M(Q, K)
(pelicula_marea, instancia_de, largometraje)        ∈ M(O, K)
(modelo_lumen_2026, instancia_de, modelo_de_lenguaje) ∈ M(O, K)

Cualquier individuo registrado en Q, O o L debe poder responder a la pregunta «¿de qué concepto eres ejemplar?».

Ese hilo ata el grafo de hechos concretos con el diccionario abstracto del sistema. Sin él, los pilares serían un montón de nombres flotando sin red.

2 · Unidades de medida

Términos como kilogramo, segundo, dolar o grado_celsius son categorías puras. No son cosas materiales.

Nunca te cruzarás por la calle con «un kilogramo» flotando en el aire como una botella. Lo que ves es el patrón «ser un kilogramo» aplicado a la masa de una botella.

Como son conceptos para medir, todas las unidades viven en K.

Que las unidades vivan en K no es un capricho de catalogación. Es una necesidad.

Como veremos en el próximo capítulo, un número desnudo no significa nada. «18» no es nada hasta que sabes que son 18 gramos de café molido.

Y el único sitio donde puede vivir esa unidad es el zócalo categórico. Por eso K tenía que presentarse antes que N.

3 · Estados y valores enumerativos

En software abundan los campos que solo admiten un valor de una lista cerrada: casado / soltero / viudo, aprobado / pendiente / rechazado, encendido / apagado.

Esos valores no son números, y no deberían tratarse como texto libre. Son categorías de estado, y por tanto viven en K.

(gol_001,       pierna_ejecutora, pierna_zurda)      ∈ M(O, K)
(ordenanza_142, estado_tramite,    promulgada)        ∈ M(O, K)
(sesion_ia_5521, modo_entrega,     streaming)         ∈ M(O, K)

4 · Conceptos abstractos y nomenclaturas

Todo oficio serio tiene sus diccionarios cerrados: los diagnósticos médicos oficiales (CIE-10, SNOMED), los códigos de producto, los géneros de cine y de música, las clases de acto administrativo.

Cualquier lista controlada, sin excepción, aterriza en el eje K.

(pelicula_marea, genero,       genero_drama)     ∈ M(O, K)
(camiseta_88,    sku,          "cam_dep_m_azul")  ∈ M(O, K)
(ordenanza_142,  tipo_norma,   ordenanza_municipal) ∈ M(O, K)
(modelo_lumen_2026, arquitectura, transformer)     ∈ M(O, K)

Si una línea atraviesa a las cuatro familias es esta: todo lo que vive en K no es un ejemplar único del mundo, sino un patrón conceptual que puede aplicarse a decenas, miles o millones de casos.

Una sola plantilla, todas sus instancias

Que el molde viva separado de sus ejemplares no es solo orden conceptual. Es lo que hace barata una pregunta que en otros modelos sale cara.

Si camiseta es una categoría en K, «todas las prendas de ese tipo» ya está dicho: son los individuos que cuelgan de ella, y camiseta_88 es uno más.

Preguntar por una unidad o por las diez mil cuesta lo mismo. En los dos casos recorres el mismo cable hacia el mismo molde.

# Cuántos ejemplares instancian la misma plantilla de K
count(u, Pattern(type_constraint=u.ind("camiseta")))

La frontera resbaladiza: ¿instancia (O) o clase (K)?

Tarde o temprano chocas con un caso incómodo. Ciertos objetos híbridos (un VAR, un algoritmo de recomendación, un modelo de lenguaje) parecen vivir en varios ejes a la vez.

La confusión se disuelve en cuanto entiendes que el eje no lo tiene la cosa, lo tiene cada uno de sus papeles. Una misma palabra nombra cosas distintas según qué le preguntes.

Aquí se ve la reificación en movimiento, y su parentesco con la agencia contextual (la regla D5, que formalizamos en el capítulo 9).

El mismo VAR es un objeto pasivo en O cuando describimos su instalación. Es el agente en Q cuando anula un gol. Y ese «anular el gol» es, a su vez, una situación que vive en O.

La entidad no se duplica al cambiar de eje. Es un solo individuo, mirado desde situaciones distintas.

Y un evento activo en un nivel, la revisión del VAR, puede volverse el objeto pasivo de otro: «la revisión del minuto 87 fue impugnada por el club». Eso es reificar.

La misma disciplina ordena a los demás híbridos del libro: transformer es la arquitectura (K), modelo_lumen_2026 el modelo desplegado (O), «el modelo resumió la consulta» el evento (O), y el modelo en su papel de redactor del informe el agente (Q).

Por qué K necesita un eje propio

Hay una objeción legítima que cualquier ingeniero de bases de datos plantea al llegar aquí: ¿para qué crear todo un eje nuevo? ¿Por qué no tratar las categorías como simples cadenas de texto guardadas en una columna? Que el atributo sea estado_civil y el valor sea la palabra "casado", y asunto resuelto.

A corto plazo, parece pragmático. A escala de arquitectura empresarial, es la receta perfecta para la fragmentación de datos. La objeción del texto plano no se sostiene por tres razones técnicas que se acumulan hasta colapsar los sistemas tradicionales.

Razón 1 · Las categorías tienen estructura interna

La palabra genero_drama no es una secuencia de letras. Es un nodo con mucha riqueza detrás.

Tiene equivalentes en otros idiomas. Tiene dependencias con otras categorías: el drama es un tipo de género narrativo. Tiene contextos donde se aplica y contextos donde no.

Si guardas «drama» como texto en una tabla, toda esa estructura queda fuera del alcance del motor. La palabra está ciega.

Si la tratas como un individuo con derechos propios dentro de K, esa categoría puede tener sus propios hechos colgando:

(genero_drama, etiqueta_en,  "drama")            ∈ M(K, K)
(genero_drama, subtipo_de,   genero_narrativo)   ∈ M(K, K)
(genero_drama, contrasta_con, genero_comedia)    ∈ M(K, K)
(genero_drama, uri_canonica, "schema:DramaSeries") ∈ M(K, K)

Visto así, K no es un archivo plano. Es una red de conceptos conectados, exactamente la que dibuja la Figura 3.1.

Los individuos de K son ciudadanos de primera. Y esa capacidad de enlazar conceptos entre sí será la clave cuando veamos cómo WQuestions se lleva con los diccionarios de otras industrias.

Razón 2 · El vocabulario serio exige autoridad externa

Las categorías que usan hospitales, bancos o gobiernos no salen de una lluvia de ideas de programadores. Vienen de autoridades internacionales que las publican con un identificador único, la URI.

QUDT regula las unidades. Schema.org(30) da los estándares del comercio web. SNOMED dicta los códigos médicos. La ICAO define las siglas de los aeropuertos.

Tratar una de estas categorías como texto ignora su peso legal e internacional. Registrada como individuo formal en K, se le puede colgar su URI para siempre:

(qudt_miliseg,   uri_canonica, "http://qudt.org/vocab/unit/MilliSEC") ∈ M(K, K)
(snomed_infarto, uri_canonica, "http://snomed.info/id/22298006")     ∈ M(K, K)
(cie10_I21,      uri_canonica, "http://id.who.int/icd/release/10/2019/I21") ∈ M(K, K)

El caso más nítido es el CIE-10, la clasificación de enfermedades que publica la Organización Mundial de la Salud.

Cuando un médico anota el código I21 no escribe una palabra cualquiera. Apunta a una entrada formal, internacional, traducida a decenas de idiomas, que significa «infarto agudo de miocardio».

Si tu sistema guarda el diagnóstico como el texto libre «infarto», pierdes esa conexión. Un hospital alemán escribirá «Herzinfarkt», uno brasileño «infarto do miocárdio», y nadie podrá cruzar los datos.

Si guarda la categoría como un individuo de K con su URI del CIE-10, todos los hospitales del mundo hablan el mismo idioma sin esfuerzo.

La estadística global de salud, los estudios epidemiológicos y las alertas sanitarias descansan sobre este mecanismo.

Razón 3 · Las consultas sobre categorías son el corazón del sistema

Las preguntas de negocio que valen algo siempre cruzan categorías.

Un analista no pide un identificador concreto. Pide «todos los largometrajes de género drama estrenados después de 2024», o «todas las sesiones del modelo Lumen en modo streaming con más de mil tokens de salida».

Con las categorías guardadas como texto libre, esas búsquedas son un campo minado: uno escribió «Drama», otro «drama», otro «Dram.».

Convertidas en nodos de K, las consultas dejan de depender de la ortografía. Se vuelven exactas, predecibles y combinables.

Dos relaciones canónicas: instancia_de y subtipo_de

Para que esta red de conceptos funcione y sea navegable, hay dos relaciones fundacionales que organizan la estructura interna de K. Es vital entender cómo operan.

La primera es instancia_de, la relación más usada de todo el modelo.

Su único trabajo es hacer de puente: atar los individuos del mundo físico con sus definiciones en el eje K.

Y un punto importante: un individuo puede ser ejemplar de varios conceptos a la vez.

(messi, instancia_de, jugador_de_futbol)     ∈ M(Q, K)
(messi, instancia_de, capitan_de_seleccion)  ∈ M(Q, K)
(messi, instancia_de, persona_humana)        ∈ M(Q, K)
(messi, instancia_de, jugador_en_activo)     ∈ M(Q, K)

Estas cuatro asignaciones no compiten ni generan errores lógicos: coexisten en paralelo. Si el motor recibe una consulta filtrando por cualquiera de esas categorías, messi aparecerá como resultado válido.

La segunda relación es subtipo_de. A diferencia de la anterior, este conector nunca sale de las fronteras de K. Se usa en exclusiva para enlazar categorías entre sí, creando jerarquías y árboles de conocimiento (taxonomías):

(jugador_de_futbol,   subtipo_de, atleta_profesional)            ∈ M(K, K)
(atleta_profesional,  subtipo_de, persona_humana)                ∈ M(K, K)
(modelo_de_lenguaje,  subtipo_de, modelo_de_aprendizaje_automatico) ∈ M(K, K)
(modelo_transformer,  subtipo_de, modelo_de_lenguaje)            ∈ M(K, K)

¿Por qué importa tanto? Porque cuando declaras bien instancia_de y subtipo_de, el sistema empieza a deducir solo.

Si la máquina sabe que Messi es un jugador_de_futbol, y sabe que todo jugador es un atleta_profesional, concluye por su cuenta que Messi es un atleta profesional.

A eso se le llama cierre transitivo. Es el razonamiento más simple que existe, y evita que los programadores escriban a mano miles de reglas.

Una taxonomía bien declarada es razonamiento gratis: el sistema deduce lo que nunca le dijiste, solo porque supo encadenar «es un».El cierre transitivo, en una frase

Lo que ya se intentó: tres puertas, ningún piso

Antes de ver cómo K aloja las ontologías del mundo, conviene entender por qué nadie lo había resuelto antes. No fue por falta de intentos: la industria abrió tres grandes puertas, y cada una se quedó a un paso.

A estas tres puertas se sumaron dos variantes que chocaron con el mismo muro.

Los estándares de intercambio (FHIR, EDI(20), ISO 20022(21)) funcionan como un servicio de mensajería: traducen para el transporte, no unifican.

Y la limpieza a posteriori (OpenIE(23), los sistemas de saneamiento de datos) intenta reconciliar el caos después de que ocurrió, a un coste que se vuelve inmanejable al cruzar decenas de sistemas.

El balance, llevado a cuatro dominios concretos, es elocuente:

El patrón de los fracasos es nítido. Todas levantaron techos espléndidos. Ninguna construyó el piso.

Y un piso es justo lo que aporta el eje K: una capa por debajo de todos los vocabularios, lo bastante discreta para no estorbar la jerga de médicos o arquitectos, y lo bastante firme para que la información fluya sin traductores.

Ese piso son las preguntas. Veamos cómo K abraza las ontologías que ya existen en lugar de competir con ellas.

K como zócalo para las ontologías existentes

La promesa de más impacto del eje K es que no obliga a ninguna empresa a reinventar su vocabulario.

Los diccionarios que ya rigen en el mundo (Schema.org, QUDT, SNOMED, CIDOC CRM, Biolink) se alojan dentro de K con sus relaciones internas intactas.

WQuestions no viene a competir con ellos ni a reemplazarlos. Viene a abrazarlos.

Esta integración pacífica ocurre en tres niveles técnicos.

Nivel 1 · Importar URIs canónicas

En lugar de copiar un diccionario completo, el sistema aloja los conceptos que necesita y ancla a cada uno su URI internacional:

{
  "concepto": "infarto_agudo_de_miocardio",
  "eje": "K",
  "uri_snomed": "http://snomed.info/id/22298006",
  "uri_icd10": "I21",
  "etiqueta_es": "infarto agudo de miocardio",
  "etiqueta_en": "acute myocardial infarction"
}

El beneficio es inmediato: cuando el software de un laboratorio y el de un hospital referencian la misma URI, la sincronización de los historiales es perfecta, por más que una base esté en español y la otra en inglés.

Nivel 2 · Mapear el vocabulario de dominio

En la práctica, las empresas se resisten a usar términos oficiales largos. Prefieren su jerga.

K lo resuelve dejando que cada organización defina apodos que apuntan al término oficial. Si en una clínica los médicos escriben «IAM», el sistema lo ata así:

(iam_clinica_norte, alias_de, infarto_agudo_de_miocardio)   ∈ M(K, K)

Con esa sola instrucción, todas las búsquedas que el médico haga tecleando «IAM» apuntan al concepto global de SNOMED.

De aquí sale una decisión de fondo, la D9, que veremos en los capítulos de lingüística: el usuario final nunca debería tener que tocar una etiqueta oficial.

El usuario usa sus palabras. La estructura traduce por debajo. K es la maquinaria que lo hace posible.

Nivel 3 · Federar conceptos equivalentes

El caos semántico alcanza su punto máximo cuando dos entidades internacionales describen exactamente la misma enfermedad pero publican URIs distintas. K resuelve el conflicto permitiendo declarar una equivalencia explícita:

(snomed_infarto, equivalente_a, icd10_I21)   ∈ M(K, K)

Con el tiempo, a medida que el sistema se alimenta, K se convierte solo en una red maestra de equivalencias entre normas distintas.

Acaba siendo el puente de traducción que las ontologías de dominio nunca lograron, o nunca quisieron, construir entre ellas.

El enchufe: las ontologías ponen los nodos; WQuestions, los cables

El mecanismo no se limita a K. Una entidad de cualquier ontología externa se enchufa en el eje que le toca por naturaleza: una persona de CIDOC CRM (E21_Person) en Q, un evento de Schema.org en O, un lugar de GeoNames en L. Siempre conservando su URI como ancla de identidad.

Lo que ninguna de esas ontologías sabe hacer sola es enlazar a fondo nodos de catálogos distintos.

Ahí entra WQuestions. Las ontologías ponen los nodos. El eje M pone los cables que cruzan de una a otra.

Cuatro dominios, cuatro vistas de K

Para terminar de materializar la función del eje categórico, resulta ilustrativo ver qué información específica almacena K en distintos sectores. Recorramos nuestros cuatro ejemplos y añadamos el entorno de la inteligencia artificial como caso de estudio.

D1 · La plantilla y la instancia

Hay una regla estricta que gobierna la frontera entre el eje abstracto K y los ejes del mundo físico, sobre todo el eje O.

Se respeta sin excepciones. Y es la primera decisión de diseño que el libro registra formalmente.

Ante cualquier dato nuevo, la pregunta que hay que hacerse es directa: ¿esto tiene fecha de creación, historia propia o un sitio en el mapa?

Si la respuesta es sí, su lugar es el eje O. Si no tiene ninguna de esas tres cosas, pertenece a K.

Observemos la diferencia en la práctica:

De esta dualidad sale un patrón muy sólido: siempre hay un molde en K del que nace un ejemplar concreto en O, unidos por el cordón umbilical de instancia_de.

El modelo de camiseta que diseña una marca vive como tipo. Cada vez que un vendedor despacha una unidad, el sistema crea un ejemplar nuevo con sus propios datos: qué talla y color se vendió, a qué cliente, a qué hora exacta.

# La plantilla teórica (atemporal) — vive en K
(camiseta) ∈ K
  tipo_camiseta : camiseta_deportiva
  talla_base    : talla_m
  color_base    : azul

# El evento instanciado (situado) — vive en O
(venta_001)  ∈ O
  instancia_de : venta
  objeto       : camiseta_88
  agente       : vendedor_17
  cliente      : cliente_1042
  monto        : 49.90 dolar
  cuando       : 2026-05-14T16:32:00

Esa danza constante entre la plantilla atemporal de K y la ocurrencia situada de O es uno de los patrones de modelado más poderosos en aplicaciones comerciales a gran escala. Lo veremos reaparecer una y otra vez cuando lleguemos a los casos prácticos de la Parte V.

Trampa de programación: la categoría guardada como texto

Resumen del capítulo

El eje K opera como el segundo gran zócalo fundacional de la arquitectura, el complemento abstracto de los pilares físicos (Q, O, L, T). Hemos establecido que:

• Aloja tipos conceptuales, unidades de medida, estados enumerativos y nomenclaturas oficiales (las cuatro familias).
• Posee una rica estructura interna: los conceptos se vinculan entre sí generando redes semánticas, no listas planas.
• Proporciona el terreno donde aterrizan las ontologías industriales existentes (Schema.org, QUDT, SNOMED, CIDOC CRM, Biolink), importando su rigor sin exigir que el usuario final hable en código.
• Dota al sistema de inteligencia habilitando la inferencia transitiva mediante el uso cruzado de instancia_de y subtipo_de.
• Garantiza el orden con la regla fronteriza D1, que separa la plantilla atemporal de la instancia situada.

Con K ya formalizado, el universo de individuos que el sistema puede modelar está casi cubierto.

Q, O, L, T y K son los cinco ejes que dan casa a todas las cosas del mundo y a todas sus categorías.

Pero para medir la realidad falta un eje más en este bloque: N, el de las magnitudes y los números.

Y ese eje esconde más complejidad de la que aparenta, porque impone una regla que no admite excepciones: un número desnudo no significa nada; todo número válido viene con su unidad.

El único sitio donde pueden vivir las unidades es K. Por eso K tenía que presentarse en detalle antes de que nos atreviéramos a hablar de números.

A ese eje dedicamos el capítulo siguiente.