W3C home > Mailing lists > Public > www-rdf-logic@w3.org > April 2001

Re: Inconsistency in DAML+OIL Axiomatic Semantics

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

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