Re: Inconsistency in DAML+OIL Axiomatic Semantics from Richard Fikes on 2001-04-14 (www-rdf-logic@w3.org from April 2001)

From: Richard Fikes <fikes@KSL.Stanford.EDU>
Date: Sat, 14 Apr 2001 07:51:23 -0700
To: Dan Connolly <connolly@w3.org>
CC: Ken Baclawski <kenb@ccs.neu.edu>, www-rdf-logic@w3.org
Message-ID: <3AD863EB.43A10764@ksl.stanford.edu>

> > We suggest that this axiom be changed to:
> > 
> > Ax8. (<=> (Type ?fp FunctionalProperty)
> >           (and (Type ?fp Property)
> >                (forall (?s ?v1 ?v2)
> >                   (=> (and (PropertyValue ?fp ?s ?v1)
> >                            (PropertyValue ?fp ?s ?v2))
> >                       (= ?v1 ?v2)))))
> 
> Yup... I think that's what we meant.

I agree.

I will make the correction in the Axiomatic Semantics document.

Richard

Received on Saturday, 14 April 2001 10:51:27 UTC