W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2009

RE: Defining properties between classes

From: Michael Schneider <schneid@fzi.de>
Date: Tue, 3 Feb 2009 12:56:54 +0100
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A001070C63@judith.fzi.de>
To: "Bijan Parsia" <bparsia@cs.manchester.ac.uk>, "Loris Bozzato" <loris.bozzato@uninsubria.it>
Cc: <public-owl-dev@w3.org>
Bijan Parsia answered to Loris Bozzato:

>On 31 Jan 2009, at 03:22, Loris Bozzato wrote:
>> I'd like to model the fact that every instance of a class C has as
>> value of the property P every instance of a class D.
>Really? Where D is unconstrained (i.e., may have arbitrary members)?

Hm, sounds to me as if P should be a super property of the Cartesian product
of C and D?

@Loris: I remember having found a way to define Cartesian products in terms
of OWL 2 in this forum a while ago:


Maybe this is what you want, but note that it is a pretty complicated
construction, and it's not very intuitive, IMHO. (Also note that this was
never intended to be of any practical value. ;-))


Dipl.-Inform. Michael Schneider
Research Scientist, Dept. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: schneid@fzi.de
WWW  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555


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
Stiftung Az: 14-0563.1 Regierungspräsidium Karlsruhe
Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
Prof. Dr. rer. nat. Dr. h.c. Wolffried Stucky, Prof. Dr. rer. nat. Rudi
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus


Received on Tuesday, 3 February 2009 11:57:36 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:17 UTC