Re: DL Lite

Hi Rinke,

> To my understanding DL-LiteR cannot be a fragment of OWL DL 1.0 as it
> supports property inclusions?

OWL DL 1.0 does support property inclusions (subPropertyOf); what it
doesn't support is property inclusions involving chains of properties, and
neither does DL lite.

Bernardo

>
> -Rinke
>
> -----------------------------------------------
> Drs. Rinke Hoekstra
>
> Email: hoekstra@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
> -----------------------------------------------
>
>
>
>
>


***********************************
Dr. Bernardo Cuenca Grau
Research Fellow
Information Management Group
School Of Computer Science
University of Manchester, UK
http://www.cs.man.ac.uk/~bcg
************************************