Re: Inconsistency in DAML+OIL Axiomatic Semantics

> > 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