Resumo Técnico: Repensando o Significado e as Ontologias sob a Perspectiva das Unidades Ontológicas

1. Declaração do Problema

O artigo aborda o desafio fundamental de representar e comunicar o significado pretendido dos termos ontológicos para garantir a interoperabilidade e o compartilhamento eficaz de conhecimento. Embora os axiomas lógicos sejam centrais para o design de ontologias, os autores argumentam que confiar apenas em ontologias existentes para alinhamento ou modularização é insuficiente devido a dois desafios filosóficos e práticos primários:

• Indeterminação da Referência: A dificuldade em determinar com certeza qual porção da realidade um termo refere-se, exacerbada por definições circulares ou termos primitivos que carecem de clarificação formal.
• Holismo do Significado: A afirmação de que o significado de um termo depende dos significados de todos os outros termos em uma linguagem. Isso cria fragilidade, onde mudanças em um termo impactam toda a rede, complicando o reuso e o versionamento.

Além disso, a engenharia de ontologias atual frequentemente confunde axiomas lógicos com anotações em linguagem natural (rótulos, definições, comentários) sem distinguir entre seu status lógico (analítico vs. sintético) ou seus tipos de condição (necessária vs. suficiente). Essa falta de precisão leva à ambiguidade, onde os usuários podem interpretar termos de maneiras diferentes com base em entendimentos variados de descrições em linguagem natural, mesmo quando os axiomas formais são idênticos.

2. Metodologia

Os autores propõem uma reversão de perspectiva: em vez de começar com ontologias existentes e trabalhar em direção ao alinhamento, eles começam com o termo ontológico como a unidade primária de análise. A metodologia é fundamentada nas seguintes estruturas teóricas e formais:

• Abordagem Intensional: Adotando uma visão intensional do significado (seguindo Guarino et al., 2009), onde o significado de um termo é uma relação intensional (uma função que mapeia mundos possíveis para relações extensionais). Isso contrasta com abordagens extensionais que equiparam o significado unicamente à referência.
• Identificadores Ontológicos (OIs): A introdução de identificadores globalmente únicos (OIs) que são distintos de rótulos em linguagem natural. Um OI é criado via um "processo de batismo" (dubbing process) para identificar uma relação intensional específica pretendida pelo autor.
• Declarações de Identificador Ontológico (OID): Uma estrutura formalizada para caracterizar a relação intensional identificada por um OI. Essas declarações são estruturadas como quadrupéletes:
  Sujeito OI | Indicador Analítico/Sintético | Tipo de Condição (NC/SC/NSC) | Caracterização
  • Analítico vs. Sintético: Distinguindo entre declarações verdadeiras por definição (analíticas, metafisicamente necessárias) e aquelas que requerem verificação empírica (sintéticas, metafisicamente contingentes).
  • Tipos de Condição: Diferenciando entre Condições Necessárias (NC), Condições Suficientes (SC) e Condições Necessárias e Suficientes (NSC).
• Unidades Ontológicas (OUs): O artefato central proposto é a Unidade Ontológica, uma entidade de conteúdo de informação que compreende uma coleção de declarações OID associadas a um único OI.
  • Especificação de Significado: Um subconjunto das declarações da OU, definido como a coleção de todas as declarações analíticas, não logicamente redutíveis que especificam condições necessárias ou necessárias e suficientes. Esta especificação é derivada tanto de declarações assertadas quanto daquelas inferidas via a lógica subjacente (Lógica de Descrição, especificamente SROIQ/OWL 2).
  • Estrutura Unificada: A abordagem integra expressões de linguagem natural diretamente na assinatura da teoria lógica, tratando-as como unidades lexicais que denotam relações intensionais, unificando assim declarações formais e de linguagem natural.

3. Principais Contribuições

O artigo introduz vários construtos teóricos e definições para operacionalizar o significado dos termos ontológicos:

• A Unidade Ontológica (OU): Definida como uma entidade de conteúdo de informação que contém uma coleção de declarações OID de especificação de significado para um OI específico, juntamente com metadados e declarações de não-especificação de significado (ex: sintéticas ou de condição suficiente) para contextualização.
• Especificação de Significado: Uma definição formal do "significado" de uma OU, derivada do fechamento dedutivo de todas as declarações OID de especificação de significado dentro da "teoria analítica" da OU (que inclui recursivamente declarações de OIs referenciados).
• Mecanismos de Tradução Formal:
  • Tradução Direta (Forward Translation): Mapeamento de declarações OID para axiomas de Lógica de Descrição (DL) (ex: OID_A ≡ caracterização para NSC, OID_A ⊑ caracterização para NC).
  • Tradução Reversa (Reverse Translation): Inferência de novas declarações OID de especificação de significado a partir de axiomas de DL, com etapas de verificação para garantir que o sujeito da declaração seja um OI válido.
• Distinção de Tipos de Declaração: Uma classificação rigorosa de declarações dentro de uma ontologia em:
  • Declarações OID de especificação de significado: Analíticas, não redutíveis, condições necessárias/NSC.
  • Declarações de Metadados da OU: Anotações não assertivas (ex: etiquetas legíveis por humanos) que caracterizam a própria OU, mas não definem seu significado.
  • Declarações Sintéticas: Alegações empíricas que auxiliam a compreensão, mas são excluídas da especificação de significado central.

4. Resultados e Desdobramentos Teóricos

O artigo não apresenta resultados experimentais empíricos, mas oferece uma estrutura teórica e exemplos ilustrativos demonstrando a viabilidade da abordagem:

• Resolução de Ambiguidade: Ao separar o OI (o termo) de seu rótulo e categorizar explicitamente as declarações por sua natureza analítica/sintética e tipo de condição, a estrutura reduz o risco de má interpretação causada pela ambiguidade da linguagem natural.
• Tratamento do Holismo: O conceito de "holismo da especificação de significado" é introduzido, reconhecendo que o significado de uma OU depende dos significados das especificações de outras OUs. No entanto, ao tornar essas dependências explícitas e computáveis, a estrutura permite a avaliação de como a combinação de OUs afeta seus significados individuais.
• Operacionalização em OWL 2: Os autores demonstram como a estrutura proposta pode ser implementada usando Lógica de Descrição padrão (SROIQ), mostrando como strings de linguagem natural podem ser tratadas como nomes de classes dentro da assinatura lógica.
• Suporte para Reuso e Versionamento: A estrutura teoricamente permite o controle refinado sobre o significado do termo. Sugere que modificar uma declaração de especificação de significado exige a criação de uma nova OU (novo compromisso ontológico), enquanto modificar declarações de não-significado (ex: rótulos) pode exigir apenas uma nova versão da OU existente.

5. Significância e Alegações

Os autores posicionam este trabalho como o estabelecimento da base teórica para uma nova abordagem às ontologias aplicadas. Suas alegações são modestas e focadas em contribuições fundamentais:

• Fundação de Fluxo Ascendente (Upstream): A OU é apresentada como um precursor das ontologias, operando "acima" da geração de ontologias. Visa fornecer uma base mais eficaz para tarefas de geração, reuso e manutenção de ontologias.
• Robustez Semântica Aprimorada: Ao formalizar o significado dos termos através de OUs, a abordagem busca melhorar a clareza e a acessibilidade dos termos através de domínios, abordando os desafios da indeterminação e do holismo.
• Facilitação de Alinhamento e Modularização: Embora o artigo não realize o alinhamento de ontologias em si, afirma que a especificação precisa dos significados dos termos via OUs tem o potencial de facilitar o alinhamento e a modularização das ontologias derivadas delas.
• Aplicações Futuras: O artigo afirma explicitamente que estabelece as bases para aplicações futuras, particularmente no reuso de termos (verificar se a importação de OUs altera seus significados especificados) e no versionamento (distinguir entre mudanças que alteram o compromisso ontológico versus aquelas que não o fazem).

Os autores reconhecem limitações, observando que a estrutura atual depende de semânticas de domínio fixo e ainda não aborda características de papéis complexos ou mistura conceitual (conceptual blending). Eles veem o trabalho como um passo em direção a uma abordagem de engenharia de ontologias mais computacionalmente viável e semanticamente robusta, afastando-se da suposição de consenso pré-existente em direção à construção ativa de significado através de artefatos estruturados baseados em unidades.