Esta tarde ya he logrado una versión inicial del razonador de OWL en Haskell. De momento sólo soporta conjunciones, disyunciones, negaciones y cuantificadores universal y existencial.
Lo he desarrollado utilizando HUnit para las pruebas unitarias. Realmente es cómodo el desarrollo basado en pruebas, sobre todo porque cuando llevas un montón de pruebas y todas funcionan, te quedas más tranquilo.
El código no creo que sea eficiente ni mucho menos, pero lo que quería era simplemente hacer un prototipo.
Si alguien tiene curiosidad, tendrá que bucear en el cvs del proyecto Weso en los módulo Reasoner.hs y TestReasoner.hs.
En breve intentaré limpiarlo y ampliarlo. Una de las cosas que quiero hacer es enlazarlo con la librería de mónadas de backtracking de Oleg Kiselyov y por supuesto, con el resto de los módulos de Weso.
No hay comentarios:
Publicar un comentario