W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2002

Re: TEST: Functional and InverseFunctional tests for approval

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 04 Sep 2002 18:44:40 -0400 (EDT)
Message-Id: <20020904.184440.56463902.pfps@research.bell-labs.com>
To: jos.deroo.jd@belgium.agfa.com
Cc: www-webont-wg@w3.org

From: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
Subject: Re: TEST: Functional and InverseFunctional tests for approval
Date: Wed, 4 Sep 2002 21:21:02 +0200

> [...]
> 
> > At least one of these test cases is not dependant on the test cases Jeremy
> > proposes.  Therefore, I propose the following test case, to be added to the
> > approved list of OWL tests:
> >
> > DESCRIPTION:
> >
> > If prop belongs to owl:FunctionalProperty
> > then an OWL object has at most one value for prop.
> >
> > RATIONALE:
> >
> > This tests an inference that is not dependant upon the previous approved
> > tests for owl:FunctionalProperty.
> >
> > PREMISE
> >
> > <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
> >   xmlns:owl ="http://www.w3.org/2002/07/owl#"
> >   xmlns:eg ="http://www.example.org/">
> >     <owl:FunctionalProperty rdf:about="http://www.example.org/foo#prop" />
> >     <owl:Thing rdf:about="http://www.example.org/foo#object" />
> > </rdf:RDF>
> >
> > CONCLUSION
> >
> > <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
> >   xmlns:owl ="http://www.w3.org/2002/07/owl#"
> >   xmlns:eg ="http://www.example.org/">
> >     <owl:Thing rdf:about="http://www.example.org/foo#object">
> >       <rdf:type>
> >         <owl:Restriction>
> >         <owl:onProperty>
> >           <owl:FunctionalProperty rdf:about="http://www.example.org/foo#prop" />
> >         </owl:onProperty>
> >         <owl:maxCardinality>1</owl:maxCardinality>
> >         </owl:Restriction>
> >       </rdf:type>
> >     </owl:Thing>
> > </rdf:RDF>
> 

[...]

> I would rather go for for a nonconclusion here

Why would you not want this to follow?

[...]

peter
Received on Wednesday, 4 September 2002 18:45:00 GMT

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