My suggestion was not accurate. A fragment from the vocabulary (which is
not mine) reads:
bio:mother rdf:type rdf:Property ,
owl:ObjectProperty ,
owl:FunctionalProperty ;
rdfs:subPropertyOf owl:differentFrom
I allready read about the open vs closed world, for example on
http://www.amberdown.net/2009/09/faq-using-rdfs-or-owl-as-a-schema-language-for-validating-rdf/but
it looks like I have more to learn.
2013/5/22 Joshua TAYLOR <[email protected]>
> 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/
>
