[Pellet-users] Property chaining

[Rinke Hoekstra]

Hi,

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

(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
-----------------------------------------------