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

Hello,

In response to Michael's comment, Ian and I have made the following changes to
the Syntax document:

http://www.w3.org/2007/OWL/wiki/index.php?title=Syntax&diff=24654&oldid=24647

I hope things are clearer now. Please let me know should you have any comments.

Regards,

	Boris

> -----Original Message-----
> From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org] On
> Behalf Of Michael Schneider
> Sent: 29 May 2009 20:46
> To: OWL 1.1
> Subject: question on "forest-like anonymous individuals" restriction of OWL 2
> DL
> 
> 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?
> 
> 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
> =======================================================================
>

Received on Friday, 26 June 2009 11:30:56 UTC