Creando individuos en la ABox: validaciones en una semántica de mundo abierto
Más cosas que voy implementando en mi biblioteca OWL para Clojure. En otro post, mostré como se podía definir la TBox, con un procedimiento similar al de usar migraciones para definir el esquema de una base de datos relacional. Ahora vamos mostrar lo que sería el ...
