Visions of Aestia

One of the issues I’m struggling with at the moment is the fact that OWL doesn’t really handle subclassing very completely. I’d be pleased to shown I am wrong about my assertions here.

In the OWL model I can:
- Add new properties
- Refine the domain or range of a property.

However, I cannot:
- Remove a property.
- Change the domain or range of a property to something completely different.

Frankly, these are not onerous restrictions. However, I think it’s important to remember that RDF is meant to be distributed; these restrictions make it difficult to code around errors or model poorly-defined domains.

If there is an error in a document, I have no standard way of using the definition sans error. Consider the following scenario.

animals.rdf

<owl:Class rdf:ID="mammal">
  ...
  <rdfs:subClassOf>
    <owl:Restriction>
      <owl:onProperty rdf:resource="#birthMethod" />
      <owl:hasValue rdf:resource="#liveYoung" />
    </owl:Restriction>
  </rdfs:subClassOf>
</owl:Class>

australia.rdf

<animals:mammal rdf:ID="platypus">
  <animals:birthMethod rdf:resource="animals.rdf#laysEggs" />
</animals:mammal>

Here, the first document encodes a common, if misleading, definition of a mammal. Mammals (usually) give birth to live young, and the original author mistakenly included this assumption in his ontology.

However, this definition is wrong. The platypus is a mammal that lays eggs. Clearly, the definition needs to be changed by removing the restriction, and if I in fact have control over both documents, this is easy to accomplish.
Thanks to the distributed nature of RDF, however, this may not be possible. What if I can’t correct the document or convince the author he is mistaken? I need a way to assert that the platypus is indeed a mammal, but an exceptional one that lays eggs instead of giving birth to live young (note that without cardinality restrictions I can say an animal does both).
The tack I would like to take is to define a special subclass of mammal, say egglayingMammals, that removes the restriction. But I don’t know of any way to do this short of defining my own, non-standard properties.

Now, the current fact is that most ontologies are currently being created by domain experts. But as RDF trickles down to the common developer, more and more ontologies are going to be hastily created without the input of domain experts, and will contain errors and contradictions that need to be coded around. I think we need a way to create definitions that lifts or ignores the restrictions laid down by a superclass. We need a way to assert that some parts of a definition or certain data must be ignored. We need a standard way to assert that something is wrong, or that a perceived contradiction can be ignored. It may be messy and inelegant, but frankly so is most code (and data) in the real world. Ever try to normalize address data?

Just got back from my surprise vacation for our annivesary. We ended up going to Nelson instead of Rotorua - was disapointed at first but now really glad! I just wish the weather had held out so we could have gone to Able Tasman. Ah well, next time. Would have been hard with a little!

Cecily was, as always, an absolute surprise. Barely a protest on the plane there (daddy nearly crushed her against the seat!) and very little crying on the way back (she was over tired). She settled in fairly quickly at the hotel even though she’s never been away from home like that, and she had great fun at the beach building sand castles with daddy, at the petting zoo where she ate most of the food meant for the animals, and picking berries - where she again ate more than we took home!!! She absolutely adores berries.

All in all it was a great vacation, and I was sorry to come home, as much as I love wellington. I’m sure a good deal of regret was due to leaving the rental car, I’d forgotten how nice it is to have the freedom of a car… and I really liked that town.

Pushing String � Happy birthday to you

…when a song composed in 1893 is still under copyright in 2030. That’s 137 years, by my reckoning. Whatever happened to “limited duration”?

What’s really sad is that the current interpretation of the law prohibits derivative works, so even the oldest living composer can’t build upon it to create a new work.