Thinking Clearly .

Whilst preparing to lecture on resolution, I found an amusing example resolution proof based on the “She’s a witch” scene from Monty Python and the Holy Grail. The SAMEWEIGHT predicate is clearly a lame bit of modeling, but c’mon. It’s a cool example!

I converted their coding to an OWL ontology, but it seems that Swoop’s pretty printing is really all messed up. Sigh. I tweaked it by hand and fought a bit with WordPress into something a bit more accurate.

If you run it through the Pellet demo (with the right settings), you’ll see that Girl is, in fact, inferred to be an instance of Witch.

If you uncomment the the bit which asserts that Girl is an instance of the complement of Witch, you’ll get an inconsistent ontology.

To really match up with the original example, I should work out the tableau based proof. Maybe in another post.

Getting away from the original example, I suppose I should make weight a datatype property. However, I don’t think I can then encode the sameness of weight in OWL or even OWL 1.1, since that would require me to relate data values from two different individuals. This goes beyond the expressivity of datatype properties in OWL and into full “concrete domains”. Again, a subject for another post!

(Sigh. We need a good ontology repository here at C&P, as well as getting a new version of the online Pellet demo up and running.)

In the spirit of burning, I point you to Zoe’s Welcome In Another Year. I don’t think there’s a recording of her covering Susanna Martin, but the Touchstone version is just dandy.

This entry was posted on Tuesday, January 2nd, 2007 at 8:31 am and is filed under Goofy. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.