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)
• To: yzqu@seu.edu.cn
• Cc: www-rdf-logic@w3.org
• Message-Id: <20030328.055736.68546355.pfps@research.bell-labs.com>

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 UTC