Projeto Open Source #150: Ontologias Abertas — Servidor MCP Rust para Engenharia de Ontologias Nativas de IA

Introdução

"A ontologia da Pizza é o exercício clássico para aprender OWL. Fazê-lo manualmente no Protégé leva cerca de quatro horas. Com este servidor MCP, um agente de IA obtém 96% de cobertura em cinco minutos."

Este é o artigo #186 na série "Um Projeto de Código Aberto por Dia". O projeto de hoje é Open Ontologies — um servidor MCP em Rust da The Tesseract Academy (Reino Unido) que empacota toda a cadeia de ferramentas de engenharia de ontologia como ferramentas chamáveis para agentes de IA.

O artigo #150 abordou o Ontology Playground da Microsoft — uma ferramenta de aprendizado para entender o que são ontologias e como projetá-las. Open Ontologies visa um cenário diferente: você já sabe o que são ontologias e precisa de um agente de IA para construir ontologias OWL de nível de produção, enquanto lida com validação, raciocínio, alinhamento e governança em um pipeline de engenharia completo.

Binário único. Sem JVM (Protégé precisa de Java). Conecta-se ao Claude Code, Claude Desktop, Cursor ou qualquer cliente compatível com MCP. 341 Estrelas. Licença MIT.

O Que Você Aprenderá

• Como Open Ontologies e Ontology Playground diferem: engenharia de produção vs. aprendizado
• Arquitetura de três camadas: o que Dynamics, Causal e Planner fazem cada um
• As mais de 70 ferramentas MCP, categorizadas e explicadas
• Aplicativo de desktop Studio: construção de ontologias via chat de IA
• Benchmarks: ontologia da Pizza, alinhamento OAEI, desempenho de verificação de consistência
• Suporte ao framework IES e ao Programa Nacional de Gêmeos Digitais do Reino Unido

Pré-requisitos

• Conceitos básicos de ontologia (classes, propriedades, OWL) — veja o #183 se você precisar começar por aí
• Experiência conectando um servidor MCP ao Claude Code ou Claude Desktop
• Não é necessário conhecimento em Rust

Contexto: O Problema da Cadeia de Ferramentas de Ontologia

A engenharia de ontologia tradicional funciona no Protégé — um aplicativo de desktop baseado em JVM que tem sido o padrão do campo por décadas. É completo, mas tem problemas estruturais para fluxos de trabalho modernos de IA:

• Dependência de JVM: instalação pesada, inicialização lenta
• Sem integração de IA: sem API, agentes não podem chamá-lo programaticamente
• Governança fraca: sem controle de versão, gerenciamento de mudanças ou aplicação de políticas para uso em produção
• Desempenho: o raciocinador HermiT atinge 4.936 microsegundos de latência mediana para verificações de consistência

Open Ontologies reconstrói essa cadeia de ferramentas em Rust com MCP: as verificações de consistência caem para 0,3 microsegundos de latência mediana (16.000x mais rápido), cada recurso exposto a agentes de IA via protocolo MCP.

Arquitetura de Três Camadas

Camada de Dinâmica: Operações Atômicas + Raciocínio OWL-RL

A fundação é Oxigraph, um motor SPARQL 1.1 puro em Rust usado como o armazenamento de triplas. Construído em cima:

• ActionSchema: quatro ferramentas MCP principais com suporte a operações atômicas concorrentes
• Regras causais: pré-condições e pós-condições para ações de ontologia
• Fechamento OWL-RL: computação automática de fechamento de raciocínio após mudanças na ontologia

Camada Causal: Identificação Causal

A ferramenta onto_certify_action, com identificação de backdoor PyWhy opcional (ativada via a flag de recurso causal-pywhy).

Na saúde, finanças e outros domínios regulamentados, relações causais em ontologias requerem verificação formal — esta camada lida com isso.

Camada de Planejamento: Compilação PDDL + Validação de Plano

Compila sequências de operações de ontologia em PDDL (Planning Domain Definition Language), chama o planejador Fast Downward, valida o plano de mudança em um sandbox e, em seguida, aplica-o à ontologia ao vivo.

Mais de 70 Ferramentas MCP

Agentes de IA chamam essas ferramentas via protocolo MCP. Agrupadas por função:

Operações Principais

validate        Validar a correção estrutural da ontologia OWL
load / save     Carregar e salvar arquivos de ontologia
query           Consultas SPARQL
diff            Comparar duas versões de ontologia
lint            Verificação de estilo e convenção

Raciocínio

reason          Executar raciocínio OWL-RL, expandir triplas implícitas
dl_explain      Explicar o caminho de derivação para uma conclusão de raciocínio
dl_check        Verificação de consistência
classify_el     Classificação de raciocinador EL (leve, muito rápido)

Alinhamento

align           Alinhamento de classes entre duas ontologias
align_fuzzy     Alinhamento difuso (lida com inconsistências de nomenclatura)
align_flora     Alinhamento baseado no algoritmo Flora
eval_alignment  Avaliar a qualidade do alinhamento (precisão/revocação/F1)

Governança do Ciclo de Vida

plan      Gerar plano de mudança de ontologia
apply     Aplicar um plano de mudança validado
lock      Bloquear a ontologia (impedir modificação acidental)
drift     Detectar o quanto a ontologia se desviou de uma linha de base
enforce   Aplicar restrições de política
monitor   Monitoramento contínuo do estado da ontologia

Gestão de Políticas (estilo Terraform)

policy_register   Registrar políticas de governança
policy_list       Listar todas as políticas ativas
policy_check      Verificar se a ontologia viola alguma política

Aumento RAG

segment_retrieve              Recuperação de fatia TBox para RAG orientado por ontologia
graph_projection_lossy_check  Análise de perda de projeção de gráfico
eval_rag / eval_rag_mmrag     Avaliação da qualidade do pipeline RAG

Aplicativo de Desktop Studio

Construído com Tauri 2. Arquitetura de três processos:

Tauri shell (janela nativa)
    ↓
Rust engine sidecar (localhost:8080)   ← núcleo computacional
    ↕
Node.js agent sidecar (conexão MCP) ← Claude Opus 4.8

Painel de Chat de IA

Duas modos de construção:

• /build: pipeline de construção profundo de 13 etapas gerando ontologias de produção de grau IES
• /sketch: protótipo rápido de 3 etapas, estrutura inicial em minutos

Visualização de Árvore Virtualizada

Renderiza ontologias com mais de 1.500 classes sem atraso — apenas os nós DOM visíveis são renderizados, tudo o mais permanece virtualizado. O Protégé desacelera visivelmente em ontologias grandes.

Painel de Linhagem

Registro completo de auditoria respaldado por SQLite: cada mudança na ontologia registrada — quem mudou o que, quando.

Benchmarks

Construção da Ontologia da Pizza

A ontologia da Pizza é o exercício clássico de aprendizado de OWL: 99 classes, várias propriedades, definições de pizza nomeadas.

OntoAxiom: Identificação de Axiomas LLM

Este benchmark testa como w