Monthly Archives: April 2005

Subtext

I took a look at the subtext programming language. There’s a nice screencast which demonstrates why subtext is so different from conventional programming languages. The key is that although Subtext is a functional language, it has no syntax! Programming is … Continue reading

Posted in Uncategorized | Tagged , , , | Leave a comment

Who Should You Vote For?

Saw this first over at Leigh’s blog. Here’s my equivalent, which is exactly in line. Unfortunately I can’t vote Green since they’re not fielding a candidate in my constituency this time round. I voted Labour last time and regret it … Continue reading

Posted in Uncategorized | Tagged | Leave a comment

Unique Name Assumption

My son told me a riddle this morning that is a perfect illustration of the unique name assumption: Two sons and two fathers went to a pizza restaurant. They ordered three pizzas. When they came, everyone had a whole pizza. … Continue reading

Posted in Uncategorized | Tagged , | Leave a comment

Refactoring Bio With Einstein Part 1: First Steps

I’m going to try to describe the life of Albert Einstein using the BIO vocabulary. I’m expecting this to be quite difficult but hopefully should understand better where the vocabulary is deficient. I’m keen to examine how ordering of events … Continue reading

Posted in Uncategorized | Tagged , , , , , , , , | 11 Comments

OWL-Time Properties

Following on from my recent diagram of the OWL-Time ontology, here’s one depicting some of the properties defined in the ontology and how they relate to instants and intervals: I don’t think it’s as clear as the previous one so … Continue reading

Posted in Uncategorized | Tagged , , , , | 2 Comments

Fried == Bad

This is probably enough to tempt me back to Moveable Type. That and the little voice that keeps telling me that Aaron is still right

Posted in Uncategorized | Tagged | 1 Comment

OWL-Time Ontology

I’ve been examining the OWL-Time ontology, which is a successor to the earlier DAML-Time work. To help understand the ontology I drew this diagram: The arrows represent sub-classing: the arrowhead points to the superclass.

Posted in Uncategorized | Tagged , , , , , | 2 Comments

VANN Vocabulary Update

See if I can still remember how to work this weblog thingamajig… :) I’ve just updated the VANN vocabulary. This is little RDF vocabulary for making annotations on RDF schemas. I use it on vocab.org to annotate the vocabularies with … Continue reading

Posted in Uncategorized | Tagged | Leave a comment