fabio-rovai/open-ontologies

O que é?

Recursos principais

• 01Planeja alterações em ontologias, mostrando classes adicionadas e removidas, o raio de impacto e uma pontuação de risco antes de aplicá-las.
• 02Informa novas consequências que seriam implicadas por uma alteração, além do que um diff de texto mostra.
• 03Gera certificados de derivação que um verificador em Lean 4 valida novamente sem o mecanismo nem acesso à rede.
• 04Rejeita conclusões forjadas e identifica a regra que falhou.
• 05Valida dados com SHACL e consulta RDF usando SPARQL 1.1.
• 06Carrega dados de CSV, JSON, XML, YAML, XLSX, Parquet, PostgreSQL e DuckDB em RDF.

Casos de uso

• Revisar uma alteração em uma ontologia de produção antes de publicá-la.
• Fornecer a um auditor um certificado que ele possa verificar novamente meses depois, sem instalar o software.
• Conectar um assistente de IA, como Claude ou Cursor, a ferramentas para ontologias por meio do MCP.
• Converter dados tabulares ou relacionais em RDF para integração semântica.

Início rápido

1. 1

   Compilar o binário Rust a partir do repositório

2. 2

   Compilar o verificador Lean 4

   cd lean && lake build
3. 3

   Carregar uma ontologia pequena e executar o raciocínio RDFS com um certificado

   open-ontologies --data-dir /tmp/oo-demo/store reason --profile rdfs --certificate ./cert

Antes de usar

• !O README não apresenta um comando de instalação por gerenciador de pacotes, então a configuração exige uma compilação manual.
• !As respostas de insatisfatibilidade não oferecem nenhuma garantia, como o próprio README informa.
• !Para aproveitar todos os recursos, é necessário executar o verificador Lean 4 separadamente, o que exige uma etapa adicional de configuração.

Tópicos

Perguntas frequentes

O que é open-ontologies?

Um mecanismo em Rust para planejar, aplicar e certificar alterações em ontologias OWL/RDF, com relatórios de raio de impacto e provas verificáveis de conclusões derivadas em Lean 4. Open Ontologies é uma ferramenta de linha de comando em Rust e um servidor MCP para trabalhar com ontologias OWL e RDFS. Antes de uma alteração chegar à produção, ela calcula um plano semântico que informa as classes adicionadas e removidas, as triplas afetadas, uma pontuação de risco e as novas consequências que seriam implicadas pela alteração. Um diff de texto não mostra essas consequências; por isso, o plano é voltado a alterações que parecem corretas linha por linha, mas inferem fatos adicionais.

open-ontologies é gratuito? Qual é a licença?

open-ontologies é open source sob a licença MIT. Confira os termos da licença antes de usá-lo em produtos comerciais.

open-ontologies ainda é mantido?

Manutenção ativa. O último commit de open-ontologies foi em 17 de out. de 2026.

Para que posso usar open-ontologies?

Revisar uma alteração em uma ontologia de produção antes de publicá-la. Fornecer a um auditor um certificado que ele possa verificar novamente meses depois, sem instalar o software. Conectar um assistente de IA, como Claude ou Cursor, a ferramentas para ontologias por meio do MCP. Converter dados tabulares ou relacionais em RDF para integração semântica.

Como instalar open-ontologies?

Compilar o binário Rust a partir do repositório Compilar o verificador Lean 4: cd lean && lake build Carregar uma ontologia pequena e executar o raciocínio RDFS com um certificado: open-ontologies --data-dir /tmp/oo-demo/store reason --profile rdfs --certificate ./cert

Onde consigo open-ontologies?

O código-fonte e as instruções de instalação estão no GitHub: https://github.com/fabio-rovai/open-ontologies