RE: question on "forest-like anonymous individuals" restriction of OWL 2 DL

Thanks!

Cheers,
Michael

>-----Original Message-----
>From: Ian Horrocks [mailto:ian.horrocks@comlab.ox.ac.uk]
>Sent: Friday, June 05, 2009 11:54 AM
>To: Michael Schneider
>Cc: OWL 1.1
>Subject: Re: question on "forest-like anonymous individuals" restriction
>of OWL 2 DL
>
>On 29 May 2009, at 19:45, Michael Schneider wrote:
>
>> Hi all!
>>
>> I had to explain to someone the "forest-like anonymous individuals"
>> restriction of OWL 2 DL (Section 11.2 of the Structural Spec), but
>> I found myself uncertain about it. In particular, I'm unclear how
>> "fixed" the variable "OPE" is in the set of conditions.
>>
>> But it's easier to show my problem by an example: It's clear to me
>> (also from the example following the formal definition) that the
>> following is /not/ allowed in OWL 2 DL:
>>
>>   _:x :p _:y
>>   _:y :p _:x
>>
>> But what about
>>
>>   _:x :p _:y
>>   _:y :q _:x
>>
>> with /different/ properties?
>
>This is not allowed, but I agree that the wording could be made clearer.
>
>Ian
>
>
>>
>> Michael

--
Dipl.-Inform. Michael Schneider
Research Scientist, Dept. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: michael.schneider@fzi.de
WWW  : http://www.fzi.de/michael.schneider
=======================================================================
FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts, Az 14-0563.1, RP Karlsruhe
Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
Prof. Dr. Dr. h.c. Wolffried Stucky, Prof. Dr. Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
=======================================================================