SKOS in Mulgara's RLog

I have long been impressed by Paul's technical prowess. His recent implementation of SKOS definitions in Mulgara's RLog has done it again.

RLog is a logic programming language like Prolog that Paul created. RLog natively understands URIs and RDF's notions of subject-predicate-object relations. RLog's implementation of SKOS requires a mere 7 rules (!) once the 95 axioms are laid down. Naturally, those axioms and rules include huge chunks of RDFS and OWL.

RLog makes it easy (if you are a logic programmer) to make rules files for Mulgara's Krule rule engine. Support for RDFS has been provided in Krule for some time.

Paul has been talking about integrating RLog into Mulgara for over two years. I hope he can make that happen during 2009. Scalable or not, it is insanely cool. Until an integration happens, RLog must be run as a separate tool, as does Krule.