DISQUS

DISQUS Hello!  The comments on this profile are unclaimed and thus are unverified.

Do they belong to you? Claim these comments.

Mike Smith's picture

Unregistered

Feeds

aliases

  • Mike Smith

Mike Smith

1 year ago

in Owlgres: A Scalable OWL Reasoner on Thinking Clearly
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.

1 year ago

in Understanding SWRL (Part 2): DL Safety on Thinking Clearly
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.

2 years ago

in Spear Hunting, Cave Dwelling Apes on Thinking Clearly
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.
Returning? Login