- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Wed, 04 Sep 2002 18:44:40 -0400 (EDT)
- 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 UTC