- From: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>
- Date: Fri, 5 Jun 2009 10:54:13 +0100
- To: Michael Schneider <schneid@fzi.de>
- Cc: "OWL 1.1" <public-owl-wg@w3.org>
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 > ====================================================================== > = > >
Received on Friday, 5 June 2009 09:54:55 UTC