Whoops. Grrr. Argh.

January 2, 2010

Sigh. I forgot that I distinguish between equality and instantiation/subsumption in my toy ontology language. So the last few paragraphs are WRONG WRONG WRONG. Ironically, I derailed from writing because I thought my examples were WRONG WRONG WRONG the other way. Now, I find I’ve hypercorrected to a VERY WRONG INDEED.

Yay.

Advertisements
%d bloggers like this: