« Common Lisp and Web Development | Main | The Wizard of Woz »
2006-10-16
I am back...
Dear Journal,
I haven't written for a long time, and I am sure you thought I had abandoned you. Well, I am back now, and I haven't exactly been idle during my absence. I have made progress (at least) on the following things:
- RDF++ (wrote the axiomatic semantics, also did some optimization of the Wilbur reasoner)
- OINK (more features, and one day I might even get around to documenting them)
- Wilbur (even though it is hard to believe, we are getting closer to a real release...)
I also gave an invited talk at the DEXA 2006 workshop on Web Semantics.
More later. I promise.
Posted by ora at 15:59
Comments
RDF++:
You could also introduce something like a "directSubclassOf" and "directSubPropertyOf". I needed them sometimes, when you inference the whole subclass tree you seem to forget what the explicitly defined subclasses are. They are subclass relations between A and B - A sub B, where no other class C exists that is A sub C sub B. So: A directSub B.
Posted by: Leobard at October 20, 2006 03:11 AM
Wilbur's query language will support a feature where (parts of) queries can be executed with the reasoner "switched off", allowing what you suggest to be implemented. This is in the works.
Posted by: Ora Lassila at October 23, 2006 08:15 AM