W3C home > Mailing lists > Public > www-rdf-logic@w3.org > March 2003

Re: Multiple Functional Properties equivalent to Intersection?

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Fri, 28 Mar 2003 05:57:36 -0500 (EST)
Message-Id: <20030328.055736.68546355.pfps@research.bell-labs.com>
To: yzqu@seu.edu.cn
Cc: www-rdf-logic@w3.org

From: "Yuzhong Qu" <yzqu@seu.edu.cn>
Subject: Re: Multiple Functional Properties equivalent to Intersection?
Date: Fri, 28 Mar 2003 18:00:32 +0800

> The VERSION 1 contains cross-referential syntactic constructs:
>     The axiom about the class GunLicense refer to properties(registeredGun
> and holder), and vice versa.
>     
> Is there any constraint on this kind issue in OWL Lite/DL?
> 
> Thanks!
> 
> Yuzhong Qu

I'm confused as to what a ``cross-referential syntactic construct'' could
be.   Perhaps you mean that there is a syntactic cycle in the constructs.
There is no bar to this in OWL.

peter
Received on Friday, 28 March 2003 05:57:47 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:43 GMT