[Pellet-users] owl11:subObjectPropertyOf

[Michael Smith]

On Mon, 2007-06-18 at 18:23 +0200, Wolfgang May wrote:

> it seems that Pellet (1.4) does not support owl11:subObjectPropertyOf
> (we are using it in combination with jena). The Web page says that 1.4 
> supports OWL 1.1 completely. Are we doing something wrong?
> For the following input,
> 
> **
> @prefix owl: <http://www.w3.org/2002/07/owl#>.
> @prefix owl11: <http://www.w3.org/2006/12/owl11#>.
> @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
> @prefix : <foo://bla/names#> .
> @prefix person: <foo://bla/persons/> .
> :kate :child :john, :sue.
> :john :child :alice, :bob.
> #:child owl11:subObjectPropertyOf :descendant.
> (:child :child) owl11:subObjectPropertyOf :grandchild. \end{verbatimwrite}
> **

Try replacing owl11:subObjectPropertyOf with rdfs:subPropertyOf - it
should give you the expected behavior.  The current Pellet does not
support all permutations of the vocabulary.

> Aside: the link to OWL-1.1 on http://pellet.owldl.com/ is broken:
> Instead of 
>  http://webont.org/owl1.1/
> it should be
>  http://webont.org/owl/1.1/

Thank you, this has been updated.
-- 
Mike Smith

Clark & Parsia