quoll/asami

reasoning in asami

newtester805 opened this issue · 0 comments

Hello,
this is a fantastic project. Thank you so much for open source it!
I was wondering if there is an interest on adding some reasoning beginning with concept and entity satisfiability prior loading the data. Given the use of clojure, reasoning should be solved efficiently.
Any thoughts?
Many thanks in advance.