Re: Even more Fuzzy about FunctionalProperty!

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