I've started to experiment with http://moustaki.org/ontospec/ should probably get something working soon. Maybe it's better to use the Python script (http://sw.deri.org/svn/sw/2005/08/sioc/ontology/spec/ ?), I think Prolog sounds like more fun though, so I'll start with that :)