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

Re: Even more Fuzzy about FunctionalProperty!

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 05 Mar 2003 09:35:20 -0500 (EST)
Message-Id: <20030305.093520.68534358.pfps@research.bell-labs.com>
To: costello@mitre.org
Cc: www-rdf-logic@w3.org

From: "Roger L. Costello" <costello@mitre.org>
Subject: Re: Even more Fuzzy about FunctionalProperty!
Date: Wed, 05 Mar 2003 08:46:44 -0500

> 
> Peter Crowther wrote:
> > 
> > > From: Roger L. Costello [mailto:costello@mitre.org]
> > > So, my question is this: Are inferences on a
> > > FunctionalProperty done in this fashion:
> > >
> > >    "You can blindly infer that the values are equal."
> > >
> > > Or, is there some "reconciling" done on the values?
> > 
> > The latter.
> 
> Okay, then what are the "rules" for being able to infer that the values
> two instances of a FunctionalProperty are equal?
> 
> Suppose that I declare P to be a FunctionalPropery.  Suppose that in
> instance 1  P has the value A, and in instance 2 P has the value B. 
> What are the rules for allowing me to infer that A = B?

Rule?  Where did rules come into this discussion?

It is a consequence of the model-theoretic semantics for OWL that the
consequence above is entailed by the premises.

> Thanks!  /Roger

peter
Received on Wednesday, 5 March 2003 09:35:36 GMT

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