On Wed, May 22, 2013 at 8:25 AM, jo pol <[email protected]> wrote: > Now that the fix for the nullpointer execption is released (thanks) I'm > arriving at the next hurdle: > > I expected the owl reasoner to complain about "_:p < > http://purl.org/vocab/bio/0.1/mother> _:p" as the property is a subclass of > http://www.w3.org/2002/07/owl#differentFrom. But it does not. My code is > available on > https://code.google.com/p/gedcom2sem/source/browse/trunk/src/test/java/gedcom2sem/semweb/ValidationTest.java?r=302
I don't know how the reasoner that you're using will handle this, but I expect that since owl:differentFrom is used to encode DifferentIndividual OWL axioms, it's probably not an object property, and so the reasoner doesn't pick up on its special meaning as a superproperty as you'd expect. If you're using an RDF reasoner that won't take issue with owl:differentFrom being a special RDF property, the other thing that might be a problem is if you are actually declaring that :mother owl:subClassOf owl:differentFrom, as your message suggests (you said that "the property is a subclass of owl:differentFrom"), and not :method owl:subPropertyOf owl:differentFrom). //JT -- Joshua Taylor, http://www.cs.rpi.edu/~tayloj/
