Relação semântica

From Systems analysis Wiki
Jump to navigation Jump to search

Relação semântica — uma relação formalizada entre entidades de um grafo de conhecimento, normalizada para um núcleo finito de predicados: subtipo (is-a), instância (instance-of), parte-todo (part-of), membro de coleção, localização/adjacência, antes/depois, participação/papel, propriedade/valor, causalidade, identidade/diferença, posse, oposição. Esta página registra formulações canônicas e sinônimos, propriedades lógicas e correspondências com padrões (RDF/RDFS, SKOS, OWL/OWL-Time, GeoSPARQL, OBO RO/BFO, PROV-O, Schema.org).

Núcleo básico de relações semânticas: normalização e dicionário de sinônimos

Formalismo (simplificado) Relação base (termo canônico) Normalização para o núcleo (pt.) Verbo/frase natural (sinônimos) Categoria Tipo (camada semântica / modo de uso) Propriedade chave
subclass-of / superclass-of Subtipo (gênero-espécie) é um tipo de / tem subtipo
  • é um (gênero-espécie)
  • é (gênero-espécie)
  • subtipo
  • espécie
  • tipo
 Taxonomia Ontológica (núcleo) transitiva; herança de axiomas/restrições da classe (não de valores de propriedades)
instance-of / has-instance Instância é uma instância de / tem instância
  • é uma (instância)
  • é (instância)
  • pertence à classe
  • pertence à classe
  • representante
  • instância
 Taxonomia Ontológica (núcleo) indivíduo → classe; não transitiva
part-of / has-part Parte-todo (meronímia) é parte de / inclui
  • consiste em
  • inclui
  • tem em sua composição
  • contém como parte
  • é montado a partir de
  • é composto por componentes
 Meronímia Ontológica (contextual; requer especificações de domínio) transitiva para meronímia de componentes; não confundir com member-of; sem herança de valores de propriedades; a transitividade não se aplica aos tipos "membro-coleção", "material-objeto", "porção-massa"; não confundir com subclass-of (gênero-espécie)
derived-from / gives-rise-to Origem/derivação deriva de / dá origem a
  • é obtido de
  • é formado a partir de
  • origina-se de
  • é derivado de
 Origem Ontológica (contextual; requer especificações de domínio) direcionada; não simétrica; permite cadeias
has-property / property-of Propriedade/atributo tem propriedade / propriedade de
  • tem a propriedade
  • tem o valor
  • possui a característica
  • é caracterizado por
  • tem o parâmetro
 Atributo Ontológica (núcleo) direcionada; não simétrica; não transitiva; para qualidades — padrão has_quality/characteristic_of
located-in / contains Localização (aninhamento) está localizado em / contém (como local)
  • está em
  • está localizado em
  • dentro de
  • dentro da área de
  • no território de
 Espaço Ontológica (contextual; requer especificações de domínio) direcionada; transitiva apenas com aninhamento de áreas em um mesmo modelo espacial; em outras interpretações, a transitividade não é presumida
before / after Cronologia precede / sucede
  • antes
  • antes de
  • vem antes de
  • depois
  • após
  • em seguida
 Tempo Ontológica (núcleo) transitiva; assimétrica; irreflexiva (ordem parcial estrita)
precondition-of / postcondition-of Condição/resultado de evento/ação é pré-condição de / é pós-condição de
  • condição para execução
  • pré-condição
  • necessário para
  • requerido para
  • resultado
  • efeito
  • consequência
 Eventos Ontológica (contextual; requer especificações de domínio) direcionada; não simétrica; geralmente acíclica; contextual
participates-in / has-participant Participação em evento participa de / tem participante
  • participa de
  • está envolvido em
  • está engajado em
  • toma parte em
 Eventos Ontológica (núcleo) direcionada; não simétrica; não transitiva
has-role / role-of Papel (temático) desempenha o papel de / papel de
  • desempenha o papel de
  • atua no papel de
  • age como
  • serve como
  • é um agente
  • é um paciente
  • é um instrumento
 Papéis Ontológica (contextual; requer especificações de domínio) direcionada; não simétrica; realizada em um evento/processo
member-of / has-member Membro de coleção é membro de / tem membros
  • pertence ao grupo
  • faz parte da equipe
  • membro da coleção
  • está no grupo
  • elemento do conjunto
 Coleções/filiação (não meronímia) Ontológica (núcleo) direcionada; não simétrica; não há transitividade; não confundir com part-of (componentes)
causes / caused-by Causalidade causa / é causado por
  • leva a
  • causa
  • resulta em
  • condiciona
  • conduz a
  • é a causa de
 Causal Ontológica (contextual; requer especificações de domínio) direcionada; assimétrica; acíclica dentro do tempo do domínio; para influência fraca, use prov:wasInfluencedBy
owns / owned-by (belongs-to) Posse/pertencimento possui / pertence a
  • possui
  • é proprietário de
  • está na posse de
  • consta no balanço
  • pertence a
 Pertencimento Ontológica (contextual; requer especificações de domínio) direcionada; não simétrica; não transitiva; distinguir posse legal de detenção de fato (não misturar com located-in)
same-as / same-as (sim.) Identidade (equivalência) é idêntico a / é idêntico a
  • é idêntico a
  • é o mesmo que
  • é equivalente a
  • a mesma coisa que
  • coincide com
 Equivalência Ontológica (núcleo; aplicar com cautela) reflexiva; simétrica; transitiva
different-from / different-from (sim.) Diferença/incompatibilidade é diferente de / é diferente de
  • não é idêntico a
  • é diferente
  • é incompatível com
  • não coincide com
 Diferença Ontológica (núcleo) simétrica; irreflexiva
adjacent-to / adjacent-to (sim.) Adjacência (topologia) é adjacente a / é adjacente a
  • faz fronteira com
  • é contíguo a
  • é vizinho de
  • está em contato com
 Topologia Ontológica (núcleo) simétrica; irreflexiva; não há transitividade
opposite-of / opposite-of (sim.) Oposição (antonímia) é oposto a / é oposto a
  • é oposto a
  • é antônimo de
  • é inverso em qualidade
  • é contrário a
  • é contraposto a
 Léxico-semântica Léxica/de tesauro (não axiomatizar) relação léxico-semântica; simétrica; não usar como axioma ontológico; preferencialmente modelar através de escalas qualitativas e disjunção de classes

Legenda de tipos:

  • Ontológica (núcleo) — permite axiomatização em OWL sem ressalvas especiais;
  • Ontológica (contextual; requer especificações de domínio) — a interpretação e as inferências dependem do domínio/modelo;
  • Léxica/de tesauro (não axiomatizar) — apenas para léxico/KOS, não usar para inferência lógica.

Correspondência das relações semânticas básicas com os padrões de ontologias

Relação base (núcleo) Relação base (termo canônico) RDF/RDFS/Dublin Core SKOS OWL / OWL‑Time / GeoSPARQL OBO RO / BFO (se houver) Schema.org / outros Observações
subclass-of Subtipo (gênero-espécie) rdfs:subClassOf skos:broader / skos:narrower — (em OWL, usa-se rdfs:subClassOf) — — Hierarquia de classes; transitiva; herança de axiomas/restrições (não de valores). Em SKOS — hierarquia de tesauro (por padrão, não é transitiva; existem skos:broaderTransitive / skos:narrowerTransitive). A equivalência de classes é definida separadamente: owl:equivalentClass.
instance-of Instância rdf:type — owl:Class / owl:NamedIndividual — schema:additionalType Tipificação "indivíduo → classe" (não transitiva). Múltipla tipificação é permitida. Não confundir com subclass-of (classe → classe).
part-of / has-part Parte-todo (meronímia) dcterms:isPartOf / dcterms:hasPart — owl:ObjectProperty personalizada (frequentemente declarada como owl:TransitiveProperty) bfo:part_of / bfo:has_part ; ro:part_of / ro:has_part schema:isPartOf / schema:hasPart Meronímia estrutural/de componentes; transitiva para o "part_of" de componentes. Não confundir com filiação (member-of).
member-of / has-member Membro de coleção rdfs:member skos:member / skos:memberList — ro:member_of / ro:has_member schema:member / schema:memberOf ; org:memberOf / org:hasMember rdfs:member historicamente se refere a contêineres RDF; é uma superpropriedade das propriedades de contêiner numeradas rdf:_1, rdf:_2, ...; para grupos/organizações, é preferível usar schema.org ou W3C ORG. Não é transitiva. Difere de component-whole.
located-in / contains Localização (aninhamento) dcterms:spatial — geosparql:sfWithin / geosparql:sfContains ro:located_in schema:containedInPlace / schema:containsPlace ; schema:location Para geometria estrita — GeoSPARQL (DE-9IM; contenção de áreas). Em GeoSPARQL, a transitividade não é anotada como owl:TransitiveProperty; é admissível como uma suposição do modelo para hierarquias de áreas. `dcterms:spatial` é uma vinculação de referência "suave". Em RO, `ro:located_in` é declarado como transitivo; em nível de aplicação, especifique o domínio/tipo de localização (administrativa, anatômica, etc.) para que a transitividade seja válida em seu modelo.
adjacent-to / overlaps Adjacência / sobreposição (topologia) — (se necessário) skos:related geosparql:sfTouches / geosparql:sfOverlaps — — Relações diferentes (touches ≠ overlaps); ambas são simétricas; não há transitividade. Nos termos do DE-9IM: touches — tocam-se nas fronteiras; overlaps — interseção com uma interseção não vazia de interiores.
before / after Sequência temporal (antes/depois) — — time:before / time:after ; também time:intervalBefore / time:intervalAfter bfo:precedes / bfo:preceded_by — Modelado como uma ordem parcial estrita. Em OWL-Time, a transitividade é explicitamente definida; a assimetria/irreflexividade, se necessário, são definidas por axiomas na ontologia do projeto.
participates-in / has-participant Participação em evento — — — ro:participates_in / ro:has_participant sem:hasActor / lode:involvedAgent ; prov:wasAssociatedWith ; prov:qualifiedAssociation ; schema:participant / schema:attendee / schema:performer Participação ≠ papel; para papéis — veja has-role.
has-role / role-of Papel (papéis temáticos) — — owl:ObjectProperty personalizada ro:has_role / ro:role_of ; bfo:Role prov:hadRole (dentro de prov:qualifiedAssociation) ; schema:Role (classe), schema:roleName Papéis são realizados em eventos/processos; não confundir com tipificação (instance-of).
has-property / has-value Propriedade / valor rdf:value (vinculação geral de valor) — owl:DatatypeProperty / owl:ObjectProperty (tipos de propriedades) ro:has_quality / ro:characteristic_of schema:additionalProperty ; schema:value ; schema:PropertyValue / schema:QuantitativeValue Para qualidades, o padrão RO (quality/characteristic of) é conveniente. owl:hasValue é um construtor em restrições (e não uma propriedade comum).
causes Causalidade — — — ro:causally_related_to ; ro:causally_upstream_of / ro:causally_downstream_of prov:wasInfluencedBy Relação causal direcionada; geralmente acíclica. Especifique o contexto temporal e o domínio de definição.
same-as Identidade (equivalência) — skos:exactMatch / skos:closeMatch owl:sameAs ; para classes/propriedades: owl:equivalentClass / owl:equivalentProperty — schema:sameAs Usar com cautela. skos:exactMatch/closeMatch — apenas para conceitos SKOS, predominantemente de esquemas diferentes (propriedades de mapeamento); das propriedades de mapeamento, apenas skos:exactMatch é transitiva (ambas são simétricas); não confundir com owl:sameAs (identidade de recursos).
different-from Diferença / incompatibilidade — — owl:differentFrom ; owl:AllDifferent ; para classes: owl:disjointWith ; também owl:AllDisjointClasses / owl:AllDisjointProperties — — Diferenciação explícita de indivíduos e disjunção de classes/propriedades (em conjuntos — AllDisjoint).
owns / owned-by (belongs-to) Posse / pertencimento — — owl:ObjectProperty personalizada — schema:owns ; schema:OwnershipInfo Recomenda-se definir domínio/alcance e cardinalidades; distinguir posse legal de detenção de fato (não confundir com located-in).
opposite-of Oposição (antonímia) — — — — (léxico) lexinfo:antonym ; WordNet antonym Relação lexical; não usar como axioma ontológico. Em KOS, na ausência de uma propriedade estrita, permite-se skos:related.
derived-from / gives-rise-to Origem / derivação — — — (se necessário em bio-ontologias) ro:develops_from PROV-O: prov:wasDerivedFrom Derivação direcionada; permite cadeias. Separar de meronímia (part-of) e de identidade (same-as).
precondition-of / postcondition-of Pré/pós-condição de evento/ação — — — — OWL-S (W3C Member Submission): process:hasPrecondition ; process:hasResult (historicamente: process:hasEffect) Usar para ontologias de processo. Em modelos alternativos — através de causalidade/tempo (bfo:precedes, time:before) ou padrões PROV (prov:used, prov:wasGeneratedBy) — dependendo do contexto.
related-to Relação associativa (KOS) — skos:related — — — Simétrica; não há transitividade. Usar apenas em tesauros/KOS; semântica fraca — não para inferência lógica.

Principais ontologias e vocabulários

  • RDF e RDFS (W3C) — RDF: modelo abstrato de grafo de conhecimento baseado em triplas sujeito-predicado-objeto; RDFS: vocabulário mínimo para definir classes/propriedades e hierarquias (subClassOf, subPropertyOf, domain/range).
  • OWL / OWL 2 (W3C) — linguagem de representação de conhecimento para a definição formal de ontologias (classes, axiomas, tipos e inversões de propriedades, equivalência/disjunção), projetada para inferência automática em lógica de descrição (DL).
  • SKOS (W3C) — modelo para representar tesauros, classificações e vocabulários controlados sobre RDF/RDFS (broader/narrower/related, coleções, correspondências entre tesauros); não define herança de classe.
  • OWL-Time (W3C) — ontologia do tempo em OWL 2 DL: instantes, intervalos, relações topológicas (before/after), durações e posições temporais-calendáricas.
  • GeoSPARQL (OGC) — padrão do OGC para geosemântica: uma pequena ontologia OWL de "entidades espaciais/geometrias", um vocabulário de relações topológicas (within/contains, touches/overlaps, etc.) e extensões SPARQL para consultas geoespaciais.
  • BFO e RO (OBO) — BFO: ontologia de nível superior (continuant/occurrent, etc.) para harmonizar ontologias de domínio; RO (Relations Ontology): um conjunto interdomínio de predicados relacionais (part_of/has_part, participates_in, causais, etc.).
  • PROV-O (W3C) — ontologia OWL de proveniência de dados, que implementa o modelo PROV-DM: entidades, atividades, agentes e suas relações para troca e análise de informações de proveniência (provenance).
  • Schema.org — vocabulário web aplicado para marcação de dados estruturados em páginas (JSON-LD/RDFa/Microdata); uma iniciativa dos motores de busca (2011) para unificar tipos e propriedades na web aberta.
Nome Órgão / status Documentação oficial
RDF 1.2 Concepts and Abstract Data Model W3C Working Draft (2025) Página da especificação
RDF 1.2 Schema (RDFS) W3C Working Draft (2025; edição da versão de 2014 sem alterações técnicas) Página da especificação
DCMI Metadata Terms (Dublin Core Terms) DCMI Specification (2020) Página da especificação
OWL 2 Web Ontology Language W3C Recommendation (2012, 2nd Ed.) Visão geral/roadmap das especificações OWL 2
SKOS Reference W3C Recommendation (2009) Página da especificação
Time Ontology in OWL (OWL-Time) W3C Candidate Recommendation Draft (2022) Página da especificação
GeoSPARQL 1.1 OGC Implementation Standard Página do padrão OGC · Documento do padrão (OGC 22-047r1)
Basic Formal Ontology (BFO) OBO Foundry (upper ontology) Ficha/documentação oficial
OBO Relations Ontology (RO) OBO Foundry (relations) Ficha/documentação oficial
PROV-O: The PROV Ontology W3C Recommendation (2013) Página da especificação
The Organization Ontology (ORG) W3C Recommendation (2014) Página da especificação
Schema.org (documentation) Documentação oficial do projeto Esquemas e documentação
LexInfo (ontologia léxico-semântica) Site/ontologia oficial Site oficial · OWL 3.0
Retrieved from "https://systems-analysis.info/int/index.php?title=Relação_semântica&oldid=6313"