Relaciones semánticas

From Systems analysis Wiki
Jump to navigation Jump to search

Relación semántica — una relación formalizada entre entidades de un grafo de conocimiento, normalizable a un núcleo finito de predicados: subtipo (is‑a), instancia (instance‑of), parte-todo (part‑of), miembro de colección, localización/adyacencia, antes/después, participación/rol, propiedad/valor, causalidad, identidad/diferencia, posesión, oposición. Esta página documenta las formulaciones canónicas y sinónimos, propiedades lógicas y correspondencias con estándares (RDF/RDFS, SKOS, OWL/OWL-Time, GeoSPARQL, OBO RO/BFO, PROV-O, Schema.org).

Núcleo base de relaciones semánticas: normalización y diccionario de sinónimos

Formalismo (simplificado) Relación base (término canónico) Normalización al núcleo (es.) Verbo natural, frase (sinónimos) Categoría Tipo (capa semántica / modo de uso) Propiedad clave
subclass-of / superclass-of Subtipo (género-especie) es un tipo de / tiene subtipo
  • es un tipo de (género-especie)
  • es un (género-especie)
  • subtipo de
  • especie de
  • tipo
 Taxonomía Ontológica (núcleo) transitiva; herencia de axiomas/restricciones de clase (no de valores de propiedades)
instance-of / has-instance Instancia es una instancia de / tiene instancia
  • es una (instancia)
  • es un (instancia)
  • pertenece a la clase
  • es miembro de la clase
  • representante de
  • instancia de
 Taxonomía Ontológica (núcleo) individuo → clase; no transitiva
part-of / has-part Parte-todo (meronimia) es parte de / incluye
  • consiste en
  • incluye
  • tiene en su composición
  • contiene como parte
  • está ensamblado de
  • se compone de
 Meronimia Ontológica (contextual; requiere especificaciones de dominio) transitiva para la meronimia de componentes; no confundir con member-of; sin herencia de valores de propiedades; la transitividad no se extiende a los tipos «miembro-colección», «material-objeto», «porción-masa»; no confundir con subclass-of (género-especie)
derived-from / gives-rise-to Origen/derivación proviene de / da origen a
  • se obtiene de
  • se forma a partir de
  • proviene de
  • se deriva de
 Origen Ontológica (contextual; requiere especificaciones de dominio) dirigida; no simétrica; permite cadenas
has-property / property-of Propiedad/atributo tiene propiedad / es propiedad de
  • tiene la propiedad
  • tiene el valor
  • posee la característica
  • se caracteriza por
  • tiene el parámetro
 Atributo Ontológica (núcleo) dirigida; no simétrica; no transitiva; para cualidades — patrón has_quality/characteristic_of
located-in / contains Localización (anidación) se encuentra en / contiene (como lugar)
  • se encuentra en
  • está ubicado en
  • dentro de
  • en los límites de la región
  • en el territorio de
 Espacio Ontológica (contextual; requiere especificaciones de dominio) dirigida; transitiva solo en la anidación de regiones dentro de un mismo modelo espacial; en otras interpretaciones, la transitividad no se asume
before / after Cronología precede a / sigue a
  • antes de
  • antes
  • va antes de
  • después de
  • después
  • luego
 Tiempo Ontológica (núcleo) transitiva; asimétrica; irreflexiva (orden parcial estricto)
precondition-of / postcondition-of Condición/resultado de evento/acción es precondición de / es postcondición de
  • condición para la ejecución
  • precondición
  • necesario para
  • requerido para
  • resultado
  • efecto
  • consecuencia
 Eventos Ontológica (contextual; requiere especificaciones de dominio) dirigida; no simétrica; generalmente acíclica; contextual
participates-in / has-participant Participación en evento participa en / tiene participante
  • participa en
  • está involucrado en
  • está implicado en
  • toma parte en
 Eventos Ontológica (núcleo) dirigida; no simétrica; no transitiva
has-role / role-of Rol (temático) desempeña el rol de / es el rol de
  • desempeña el rol de
  • actúa en el rol de
  • actúa como
  • sirve como
  • es el agente
  • es el paciente
  • es el instrumento
 Roles Ontológica (contextual; requiere especificaciones de dominio) dirigida; no simétrica; se realiza en un evento/proceso
member-of / has-member Miembro de colección es miembro de / tiene miembros
  • pertenece al grupo
  • forma parte del equipo
  • miembro de la colección
  • está incluido en el grupo
  • elemento del conjunto
 Colecciones/membresía (no meronimia) Ontológica (núcleo) dirigida; no simétrica; no transitiva; no confundir con part-of (componentes)
causes / caused-by Causalidad causa / es causado por
  • conduce a
  • causa
  • implica
  • condiciona
  • lleva a
  • es la causa de
 Causal Ontológica (contextual; requiere especificaciones de dominio) dirigida; asimétrica; acíclica en el marco del tiempo del dominio; para influencia débil, usar prov:wasInfluencedBy
owns / owned-by (belongs-to) Posesión/pertenencia posee / pertenece a
  • posee
  • es propietario de
  • está en posesión de
  • está en el balance de
  • pertenece a
 Pertenencia Ontológica (contextual; requiere especificaciones de dominio) dirigida; no simétrica; no transitiva; distinguir entre posesión legal y tenencia física (no confundir con located-in)
same-as / same-as (sim.) Identidad (equivalencia) es idéntico a / es idéntico a
  • es idéntico a
  • es equivalente a
  • es lo mismo que
  • coincide con
 Equivalencia Ontológica (núcleo; aplicar con precaución) reflexiva; simétrica; transitiva
different-from / different-from (sim.) Diferencia/incompatibilidad es distinto de / es distinto de
  • no es idéntico a
  • es diferente de
  • es incompatible con
  • no coincide con
 Diferencia Ontológica (núcleo) simétrica; irreflexiva
adjacent-to / adjacent-to (sim.) Adyacencia (topología) es adyacente a / es adyacente a
  • limita con
  • colinda con
  • es vecino de
  • está en contacto con
 Topología Ontológica (núcleo) simétrica; irreflexiva; no transitiva
opposite-of / opposite-of (sim.) Oposición (antonimia) es opuesto a / es opuesto a
  • es opuesto a
  • es antónimo de
  • es contrario en cualidad
  • es contrario
  • se contrapone a
 Léxico-semántica Léxica/Tesauro (no axiomatizar) relación léxico-semántica; simétrica; no usar como axioma ontológico; es preferible modelar a través de escalas cualitativas y disyunción de clases

Leyenda de tipos:

  • Ontológica (núcleo) — permite la axiomatización en OWL sin especificaciones especiales;
  • Ontológica (contextual; requiere especificaciones de dominio) — la interpretación y las inferencias dependen del dominio/modelo;
  • Léxica/Tesauro (no axiomatizar) — solo para léxico/KOS, no utilizar para inferencia lógica.

Correspondencia de las relaciones semánticas base con los estándares de ontologías

Relación base (núcleo) Relación base (término canónico) RDF/RDFS/Dublin Core SKOS OWL / OWL-Time / GeoSPARQL OBO RO / BFO (si aplica) Schema.org / otros Notas
subclass-of Subtipo (género-especie) rdfs:subClassOf skos:broader / skos:narrower — (en OWL se utiliza rdfs:subClassOf) — — Jerarquía de clases; transitiva; herencia de axiomas/restricciones (no de valores). En SKOS, es una jerarquía de tesauro (por defecto no es transitiva; existen skos:broaderTransitive / skos:narrowerTransitive). La equivalencia de clases se define por separado: owl:equivalentClass.
instance-of Instancia rdf:type — owl:Class / owl:NamedIndividual — schema:additionalType Tipificación «individuo → clase» (no transitiva). Se permite la tipificación múltiple. No confundir con subclass-of (clase → clase).
part-of / has-part Parte-todo (meronimia) dcterms:isPartOf / dcterms:hasPart — owl:ObjectProperty personalizada (a menudo declarada como owl:TransitiveProperty) bfo:part_of / bfo:has_part ; ro:part_of / ro:has_part schema:isPartOf / schema:hasPart Meronimia estructural/de componentes; transitiva para el «part_of» de componentes. No confundir con membresía (member-of).
member-of / has-member Miembro de colección rdfs:member skos:member / skos:memberList — ro:member_of / ro:has_member schema:member / schema:memberOf ; org:memberOf / org:hasMember rdfs:member se refiere históricamente a los contenedores RDF; es una superpropiedad de las propiedades de contenedor numeradas rdf:_1, rdf:_2, …; para grupos/organizaciones, son preferibles schema.org o W3C ORG. No es transitiva. Difiere de la relación componente-todo.
located-in / contains Localización (anidación) dcterms:spatial — geosparql:sfWithin / geosparql:sfContains ro:located_in schema:containedInPlace / schema:containsPlace ; schema:location Para geometría estricta — GeoSPARQL (DE-9IM; inclusión de regiones). En GeoSPARQL, la transitividad no se anota como owl:TransitiveProperty; es admisible como una suposición del modelo para jerarquías de regiones. dcterms:spatial es una vinculación de referencia «suave». En RO, ro:located_in se declara transitiva; a nivel de aplicación, especifique el dominio/tipo de localización (administrativa, anatómica, etc.) para que la transitividad sea válida en su modelo.
adjacent-to / overlaps Adyacencia / superposición (topología) — (si es necesario) skos:related geosparql:sfTouches / geosparql:sfOverlaps — — Relaciones diferentes (touches ≠ overlaps); ambas son simétricas; no hay transitividad. En términos de DE-9IM: touches — las fronteras se tocan; overlaps — intersección con una intersección no vacía de los interiores.
before / after Secuencia temporal (antes/después) — — time:before / time:after ; también time:intervalBefore / time:intervalAfter bfo:precedes / bfo:preceded_by — Se modela como un orden parcial estricto. En OWL-Time, la transitividad está explícitamente definida; la asimetría/irreflexividad se definen mediante axiomas en la ontología del proyecto si es necesario.
participates-in / has-participant Participación en evento — — — ro:participates_in / ro:has_participant sem:hasActor / lode:involvedAgent ; prov:wasAssociatedWith ; prov:qualifiedAssociation ; schema:participant / schema:attendee / schema:performer Participación ≠ rol; para los roles, ver has-role.
has-role / role-of Rol (roles temáticos) — — owl:ObjectProperty personalizada ro:has_role / ro:role_of ; bfo:Role prov:hadRole (dentro de prov:qualifiedAssociation) ; schema:Role (clase), schema:roleName Los roles se realizan en eventos/procesos; no confundir con la tipificación (instance-of).
has-property / has-value Propiedad / valor rdf:value (vinculación general de valor) — owl:DatatypeProperty / owl:ObjectProperty (tipos de propiedades) ro:has_quality / ro:characteristic_of schema:additionalProperty ; schema:value ; schema:PropertyValue / schema:QuantitativeValue Para cualidades, es conveniente el patrón de RO (quality/characteristic of). owl:hasValue es un constructor en restricciones (y no una propiedad ordinaria).
causes Causalidad — — — ro:causally_related_to ; ro:causally_upstream_of / ro:causally_downstream_of prov:wasInfluencedBy Relación causal dirigida; generalmente acíclica. Especifique el contexto temporal y el dominio de definición.
same-as Identidad (equivalencia) — skos:exactMatch / skos:closeMatch owl:sameAs ; para clases/propiedades: owl:equivalentClass / owl:equivalentProperty — schema:sameAs Usar con precaución. skos:exactMatch/closeMatch — solo para conceptos SKOS, principalmente de esquemas diferentes (propiedades de mapeo); de las propiedades de mapeo, solo skos:exactMatch es transitiva (ambas son simétricas); no confundir con owl:sameAs (identidad de recursos).
different-from Diferencia / incompatibilidad — — owl:differentFrom ; owl:AllDifferent ; para clases: owl:disjointWith ; también owl:AllDisjointClasses / owl:AllDisjointProperties — — Distinción explícita de individuos y disyunción de clases/propiedades (en conjuntos — AllDisjoint).
owns / owned-by (belongs-to) Posesión / pertenencia — — owl:ObjectProperty personalizada — schema:owns ; schema:OwnershipInfo Se recomienda definir el dominio/rango y las cardinalidades; distinguir entre posesión legal y tenencia física (no confundir con located-in).
opposite-of Oposición (antonimia) — — — — (léxico) lexinfo:antonym ; WordNet antonym Relación léxica; no usar como axioma ontológico. En KOS, si no hay una propiedad estricta, se permite skos:related.
derived-from / gives-rise-to Origen / derivación — — — (si es necesario en bio-ontologías) ro:develops_from PROV-O: prov:wasDerivedFrom Derivación dirigida; permite cadenas. Separar de la meronimia (part-of) y de la identidad (same-as).
precondition-of / postcondition-of Pre/postcondición de evento/acción — — — — OWL-S (W3C Member Submission): process:hasPrecondition ; process:hasResult (históricamente: process:hasEffect) Usar para ontologías de procesos. En modelos alternativos, se puede expresar mediante causalidad/tiempo (bfo:precedes, time:before) o patrones PROV (prov:used, prov:wasGeneratedBy), según el contexto.
related-to Relación asociativa (KOS) — skos:related — — — Simétrica; no transitiva. Usar solo en tesauros/KOS; semántica débil — no para inferencia lógica.

Principales ontologías y vocabularios

  • RDF y RDFS (W3C) — RDF: modelo de datos abstracto para grafos de conocimiento basado en ternas sujeto-predicado-objeto; RDFS: un vocabulario mínimo para definir clases/propiedades y jerarquías (subClassOf, subPropertyOf, domain/range).
  • OWL / OWL 2 (W3C) — lenguaje de representación del conocimiento para la definición formal de ontologías (clases, axiomas, tipos e inversiones de propiedades, equivalencia/disyunción), diseñado para la inferencia automática en lógica de descripción (DL).
  • SKOS (W3C) — modelo para representar tesauros, clasificaciones y vocabularios controlados sobre RDF/RDFS (broader/narrower/related, colecciones, correspondencias entre tesauros); no define herencia de clases.
  • OWL-Time (W3C) — ontología del tiempo en OWL 2 DL: instantes, intervalos, relaciones topológicas (before/after), duraciones y posiciones temporales-calendáricas.
  • GeoSPARQL (OGC) — estándar de OGC para la geosemántica: una pequeña ontología OWL de «entidades/geometrías espaciales», un vocabulario de relaciones topológicas (within/contains, touches/overlaps, etc.) y extensiones de SPARQL para consultas geoespaciales.
  • BFO y RO (OBO) — BFO: ontología de nivel superior (continuant/occurrent, etc.) para alinear ontologías de dominio; RO (Relations Ontology): un conjunto interdominio de predicados relacionales (part_of/has_part, participates_in, causales, etc.).
  • PROV-O (W3C) — ontología OWL de procedencia de datos que implementa el modelo PROV-DM: entidades, actividades, agentes y sus relaciones para el intercambio y análisis de información de procedencia (provenance).
  • Schema.org — vocabulario web aplicado para el marcado de datos estructurados en páginas (JSON-LD/RDFa/Microdata); una iniciativa de los motores de búsqueda (2011) para unificar tipos y propiedades en la web abierta.

Principales ontologías y vocabularios: enlaces oficiales

Nombre Organismo / estado Documentación oficial
RDF 1.2 Concepts and Abstract Data Model Borrador de Trabajo del W3C (2025) Página de la especificación
RDF 1.2 Schema (RDFS) Borrador de Trabajo del W3C (2025; revisión de la versión de 2014 sin cambios técnicos) Página de la especificación
DCMI Metadata Terms (Dublin Core Terms) Especificación DCMI (2020) Página de la especificación
OWL 2 Web Ontology Language Recomendación del W3C (2012, 2.ª ed.) Visión general/hoja de ruta de las especificaciones de OWL 2
SKOS Reference Recomendación del W3C (2009) Página de la especificación
Time Ontology in OWL (OWL-Time) Borrador de Recomendación Candidata del W3C (2022) Página de la especificación
GeoSPARQL 1.1 Estándar de Implementación OGC Página del estándar OGC · Documento del estándar (OGC 22-047r1)
Basic Formal Ontology (BFO) OBO Foundry (ontología de nivel superior) Ficha/documentación oficial
OBO Relations Ontology (RO) OBO Foundry (relaciones) Ficha/documentación oficial
PROV-O: The PROV Ontology Recomendación del W3C (2013) Página de la especificación
The Organization Ontology (ORG) Recomendación del W3C (2014) Página de la especificación
Schema.org (documentation) Documentación oficial del proyecto Esquemas y documentación
LexInfo (ontología léxico-semántica) Sitio web/ontología oficial Sitio web oficial · OWL 3.0
Retrieved from "https://systems-analysis.info/int/index.php?title=Relaciones_semánticas&oldid=6309"