- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Wed, 05 Mar 2003 09:35:20 -0500 (EST)
- 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 UTC