Disqus - Latest Comments for Mike Smith

Re: Spear Hunting, Cave Dwelling Apes

Mike Smith — Mon, 23 Apr 2007 09:20:23 -0000

Credit where credit is due - for me, the idea of blogging about specific animals on a semi-regular basis is attributable to Bruce Schneier's "Friday Squid Blogging."

Of course, primates are at least 1000x more interesting than squid.

Re: Understanding SWRL (Part 2): DL Safety

Mike Smith — Tue, 28 Aug 2007 08:34:16 -0000

When using SWRL syntax, Pellet will throw up a lot of warnings: Just Ignore Them.

The warnings are a result of species validation (which does not handle SWRL). Adding -s off to the command line will avoid the validation and eliminate the warning messages.

Re: Owlgres: A Scalable OWL Reasoner

Mike Smith — Mon, 24 Mar 2008 12:39:41 -0000

Readers should note that LUBM, as generally used, is not expressible in DL-Lite because it uses transitive properties and because qualified existentials are used in the left side of subsumption relations. The results presented here are with a modified version that reduces the expressivity.