Hacer visible la organización del conocimiento.
01De hechos y reglas a conceptos, relaciones y esquemas.
02Una estructura ayuda a leer el dominio; su significado necesita reglas.
No son solo palabras conectadas.
01Los nodos representan conceptos u objetos.
02Las aristas tienen un nombre y una dirección.
03El significado de la relación determina cómo podemos razonar.
Una afirmación en tres piezas.
01ballena —es_un→ mamífero
02mamífero —tiene→ sangre_caliente
03ballena —habita→ océano
«Es un» no significa «tiene un».
01Taxonomía: de una categoría a otra más general.
02Parte, propiedad y hábitat son relaciones diferentes.
03No todas son transitivas ni se heredan de la misma manera.
Seguir el camino y justificarlo.
Leer las seis relaciones y la política
Consulta: ballena —es_un→ vertebrado. Herencia de tiene: desactivada. Solo es_un es transitiva aquí; no propagamos habita.
- ballena —es_un→ mamífero
- mamífero —es_un→ vertebrado
- vertebrado —es_un→ animal
- mamífero —tiene→ sangre_caliente
- ballena —habita→ océano
- ballena_azul —es_un→ ballena
Leer la relación consultada
Consulta: ballena —es_un→ vertebrado. Herencia de tiene: desactivada. No tratamos todas las aristas como equivalentes.
Menos repetición, más responsabilidad semántica.
01La inclusión de categorías permite componer es_un.
02Heredar otra propiedad exige una regla adicional.
03La regla didáctica de tiene no es una regla universal de RDF.
«Normalmente» cambia la afirmación.
01«Las aves vuelan» como regla universal choca con el pingüino.
02«Las aves normalmente vuelan» expresa un valor típico, revisable.
03La excepción exige una política de razonamiento explícita.
¿Cualquier camino sirve como prueba?
Un concepto con ranuras.
01Un marco agrupa campos con nombre.
02Puede contener datos, valores por defecto y procedimientos.
03La propuesta clásica de Minsky organiza expectativas sobre situaciones.
Dato, supuesto y cálculo.
01nombre: valor cargado y obligatorio.
02capacidad: 30 por defecto, reemplazable.
03plazas: capacidad − inscriptos, calculada al consultar.
Completar no es observar.
| Ranura | Valor | Origen |
|---|---|---|
| nombre | Aula Norte | Dato cargado |
| inscriptos | 20 | Dato cargado |
Cargar los datos del aula
El marco agrupa ranuras con nombre. Distingamos lo cargado de lo que todavía no sabemos.
Un dato nuevo puede retirar una conclusión.
01Capacidad supuesta 30 → plazas calculadas 10.
02Capacidad confirmada 18 → plazas calculadas −2.
03Se reemplaza el supuesto y se recalculan sus consecuencias.
Una semejanza útil, con límites.
01Ranuras y atributos; procedimientos y cálculos.
02El propósito del marco es organizar conocimiento para razonar.
03Los mecanismos concretos dependen del sistema que lo implemente.
¿Qué sabemos realmente de esas 10 plazas?
Un acuerdo que puede interpretarse formalmente.
01Clases, propiedades, individuos y axiomas.
02Las definiciones se hacen explícitas y compartidas.
03La semántica permite distinguir interpretación de intuición.
Clase e individuo no son intercambiables.
01Docente y Estudiante: clases. Ana y Luis: individuos ficticios.
02atiende: propiedad que conecta individuos.
03Dominio, rango y disjunción: axiomas con efectos diferentes.
Mismo nombre no garantiza mismo concepto.
01Acordar identificadores, definiciones y alcance.
02Relacionar vocabularios exige correspondencias justificadas.
03Una etiqueta compartida no resuelve automáticamente la equivalencia.
Inferir tipos antes de buscar un conflicto.
| Persona | Clase | Origen |
|---|---|---|
| Todavía no hay tipos explícitos ni inferidos. | ||
Afirmación y axiomas disponibles
Ana atiende Luis · dominio: Docente · rango: Estudiante. Sin tipos iniciales. No hay disjunción entre Docente y Estudiante.
No escrito no significa falso.
01La falta de un tipo explícito no impide inferirlo.
02Dos clases distintas no son necesariamente disjuntas.
03Un axioma puede tener consecuencias que no estaban almacenadas.
Un campo obligatorio plantea otra pregunta.
01RDFS/OWL describen significado y consecuencias.
02Validar una ficha comprueba condiciones sobre los datos presentes.
03SHACL permite expresar formas y restricciones para validar grafos.
¿Falta un tipo o hay un error?
Representar, enriquecer y consultar.
01RDF: tripletas. RDFS: vocabulario de clases y propiedades.
02OWL: axiomas más expresivos.
03SPARQL: patrones de consulta; la inferencia depende del régimen usado.
Entidades, relaciones y datos que se pueden revisar.
01Un grafo de conocimiento organiza afirmaciones sobre entidades.
02Puede apoyarse en una ontología y combinar varias fuentes.
03El tamaño no define por sí solo la técnica: también puede empezar pequeño.
Mismo patrón, distinto conocimiento disponible.
PREFIX ex: <https://example.org/aula/>
SELECT ?persona WHERE { ?persona ex:dicta ex:FIA . }
ORDER BY ?persona| Sujeto | Relación | Objeto | Origen |
|---|---|---|---|
| Ana | dicta | FIA | Explícito |
| Bruno | dicta | FIA | Explícito |
| Clara | dicta | Programacion | Explícito |
| Clara | tipo | Docente | Explícito |
Fijar datos y modo de consulta
Solo tripletas explícitas. Consulta de quienes dictan FIA. Todos los nombres y registros de este laboratorio son ficticios.
¿Quién lo afirma y con qué respaldo?
01Guardar fuente, fecha y contexto de las afirmaciones.
02Distinguir registros explícitos de consecuencias inferidas.
03Una referencia hace revisable un dato; no lo vuelve infalible.
Un grafo también puede equivocarse.
01La extracción automática puede introducir errores.
02Las fuentes pueden discrepar o quedar desactualizadas.
03Corregir un dato exige revisar las consecuencias que dependían de él.
Combinar fluidez con información trazable.
01Un modelo puede consultar un grafo para apoyar una respuesta.
02La respuesta debería conservar las fuentes y sus límites.
03Consultar una fuente no garantiza usarla ni interpretarla correctamente.
Elegir según qué necesitamos hacer.
| Representación | Aporte | Desafío |
|---|---|---|
| Red semántica | Ver conceptos y relaciones | Necesita precisar semántica y excepciones |
| Marco | Agrupar ranuras y valores típicos | Los supuestos necesitan revisión |
| Ontología | Acordar clases y axiomas | Construcción y mantenimiento exigentes |
| Grafo de conocimiento | Conectar datos y consultarlos | Calidad, fuentes y actualización |
El dibujo organiza; las reglas justifican.
Seguir trabajando con los ejemplos.
01Apunte de Unidad 2, apartados 7.1–7.5.
02Los datos descargables son ficticios y reproducen el laboratorio de consultas.