Tawny-OWL is a clojure library which provides a DSL for the construction of OWL Ontologies (http://www.w3.org/2004/OWL/). The practical upshot of this, is that allows a form of logic reasoning over sets of facts about the world, with strong computational guarantees about decidability.
At it's simplest it looks rather like the Manchester Syntax, but is fully programmatic language, which allows for arbitrary templating of expressions. Where possible, it uses clojure facilities directly, so things like autocomplete, and documentation look up work out-of-the-box, in what ever IDE is your poison. It comes complete with reasoner support using HermiT (http://www.hermit-reasoner.com/) or ELK (http://code.google.com/p/elk-reasoner/). Tawny-OWL current implements all of the object and annotation side of OWL; expression of datatype properties will follow shortly. Although, it's been available for a while, this is the first release that I have announced here. I'd welcome feedback. The Clojure is a bit nasty at places--I learnt the language at the same time. https://github.com/phillord/tawny-owl and on clojars. Phil -- Phillip Lord, Phone: +44 (0) 191 222 7827 Lecturer in Bioinformatics, Email: phillip.l...@newcastle.ac.uk School of Computing Science, http://homepages.cs.ncl.ac.uk/phillip.lord Room 914 Claremont Tower, skype: russet_apples Newcastle University, msn: m...@russet.org.uk NE1 7RU twitter: phillord -- -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
