[Pellet-users] Property chaining

[Rinke Hoekstra]

On 18 mrt 2008, at 12:29, Rinke Hoekstra wrote:
> I was just playing around with property inclusion axioms in Protege 4
> and Pellet, and was surprised to notice that Pellet supports property
> chains of the form:
>
> a.b -> c

Actually, I shouldn't have been surprised as this is part of the OWL  
1.1 spec (as it currently stands)... but still, a pointer would be  
nice :)

-Rinke


> (i.e. the concatenation of a and b is a sub property of c)
>
> As I understood, SROIQ (per [1]) only supports either
> a.b -> b
> or
> a.b -> a
>
> which is a lot more constrained than the other pattern.
>
> Is there any literature available on the implementation of property
> chaining in Pellet?
>
> Thanks,
>
> 	Rinke
>
> [1] http://www.cs.man.ac.uk/~sattler/publications/sroiq-TR.pdf
>
> -----------------------------------------------
> Drs. Rinke Hoekstra
>
> Email: hoekstra at uva.nl    Skype:  rinkehoekstra
> Phone: +31-20-5253499     Fax:   +31-20-5253495
> Web:   http://www.leibnizcenter.org/users/rinke
>
> Leibniz Center for Law,          Faculty of Law
> University of Amsterdam,            PO Box 1030
> 1000 BA  Amsterdam,             The Netherlands
> -----------------------------------------------
>
>
>
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
>
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/

-----------------------------------------------
Drs. Rinke Hoekstra

Email: hoekstra at uva.nl    Skype:  rinkehoekstra
Phone: +31-20-5253499     Fax:   +31-20-5253495
Web:   http://www.leibnizcenter.org/users/rinke

Leibniz Center for Law,          Faculty of Law
University of Amsterdam,            PO Box 1030
1000 BA  Amsterdam,             The Netherlands
-----------------------------------------------