Repolode
Enviar
fabio-rovai

fabio-rovai/open-ontologies

Motor en Rust para planificar, aplicar y certificar cambios en ontologías OWL/RDF, con informes del alcance del impacto y pruebas verificables en Lean 4 sobre las conclusiones derivadas.

Alternativa open source a:Protégé

Ver en GitHubSitio web
Estrellas
1,159
Forks
161
Issues abiertos
17
Último commit
hace 3 días

¿Qué es?

Open Ontologies es una herramienta de línea de comandos escrita en Rust y un servidor MCP para trabajar con ontologías OWL y RDFS. Antes de que un cambio llegue a producción, calcula un plan semántico que informa de las clases añadidas y eliminadas, los triples afectados, una puntuación de riesgo y las nuevas consecuencias que se derivarían del cambio. Un diff de texto no muestra esas consecuencias, así que el plan está pensado para detectar cambios que parecen correctos línea por línea, pero que permiten inferir hechos adicionales.

Las ejecuciones de razonamiento pueden generar un certificado de derivación: dos archivos TSV de texto sin formato que enumeran los triples afirmados y cada paso inferido, junto con su regla y sus premisas. Un verificador independiente en Lean 4, compilado sin Mathlib, vuelve a verificar ese certificado sin necesitar este motor ni una conexión de red. El verificador también rechaza conclusiones falsificadas e indica qué regla falla. Otras funciones incluyen la validación con SHACL, SPARQL 1.1 mediante Oxigraph, la carga de datos de CSV, JSON, XML, YAML, XLSX, Parquet, PostgreSQL y DuckDB como RDF, y la exportación a TPTP, CLIF, SMT-LIB y LADR.

El proyecto se distribuye como un único binario con versiones precompiladas, una imagen de Docker y un servidor MCP para clientes como Claude y Cursor.

Funciones clave

  • 01Planifica cambios en ontologías e informa de las clases añadidas y eliminadas, el alcance del impacto y una puntuación de riesgo antes de aplicarlos.
  • 02Informa de las nuevas consecuencias que se derivarían de un cambio, más allá de lo que muestra un diff de texto.
  • 03Genera certificados de derivación que un verificador de Lean 4 vuelve a comprobar sin necesitar el motor ni acceso a la red.
  • 04Rechaza conclusiones falsificadas e indica qué regla falla.
  • 05Valida datos con SHACL y consulta RDF con SPARQL 1.1.
  • 06Carga en RDF datos de CSV, JSON, XML, YAML, XLSX, Parquet, PostgreSQL y DuckDB.

Casos de uso

  • Revisar un cambio en una ontología de producción antes de publicarlo.
  • Entregar a un auditor un certificado que pueda volver a comprobar meses después sin instalar el software.
  • Conectar un asistente de IA como Claude o Cursor con herramientas para ontologías mediante MCP.
  • Convertir datos tabulares o relacionales a RDF para su integración semántica.

Inicio rápido

  1. 1

    Compilar el binario de Rust desde el repositorio

  2. 2

    Compilar el verificador de Lean 4

    cd lean && lake build
  3. 3

    Cargar una ontología pequeña y ejecutar razonamiento RDFS con un certificado

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

Antes de usarlo

  • El README no incluye un comando de instalación con un gestor de paquetes, así que la configuración requiere una compilación manual.
  • Las respuestas de insatisfacibilidad no ofrecen ninguna garantía, tal como indica el propio README.
  • Para aprovechar todas las funciones, hay que ejecutar el verificador de Lean 4 por separado, lo que requiere un paso adicional de configuración.

Temas

#ontology#owl#rdf#reasoning#sparql#shacl#rust#formal-verification#knowledge-graph#ai-native

Preguntas frecuentes

¿Qué es open-ontologies?
Motor en Rust para planificar, aplicar y certificar cambios en ontologías OWL/RDF, con informes del alcance del impacto y pruebas verificables en Lean 4 sobre las conclusiones derivadas. Open Ontologies es una herramienta de línea de comandos escrita en Rust y un servidor MCP para trabajar con ontologías OWL y RDFS. Antes de que un cambio llegue a producción, calcula un plan semántico que informa de las clases añadidas y eliminadas, los triples afectados, una puntuación de riesgo y las nuevas consecuencias que se derivarían del cambio. Un diff de texto no muestra esas consecuencias, así que el plan está pensado para detectar cambios que parecen correctos línea por línea, pero que permiten inferir hechos adicionales.
¿open-ontologies es gratuito? ¿Qué licencia tiene?
open-ontologies es open source bajo la licencia MIT. Revisa los términos de la licencia antes de usarlo en productos comerciales.
¿open-ontologies sigue mantenido?
Mantenimiento activo. El último commit de open-ontologies fue el 17 oct 2026.
¿Para qué puedo usar open-ontologies?
Revisar un cambio en una ontología de producción antes de publicarlo. Entregar a un auditor un certificado que pueda volver a comprobar meses después sin instalar el software. Conectar un asistente de IA como Claude o Cursor con herramientas para ontologías mediante MCP. Convertir datos tabulares o relacionales a RDF para su integración semántica.
¿Cómo se instala open-ontologies?
Compilar el binario de Rust desde el repositorio Compilar el verificador de Lean 4: cd lean && lake build Cargar una ontología pequeña y ejecutar razonamiento RDFS con un certificado: open-ontologies --data-dir /tmp/oo-demo/store reason --profile rdfs --certificate ./cert
¿Dónde consigo open-ontologies?
El código fuente y las instrucciones de instalación están en GitHub: https://github.com/fabio-rovai/open-ontologies

Resumen generado por IA a partir del README del proyecto. Las estadísticas de GitHub se actualizan a diario.

Proyectos relacionados