Re: TEST: Functional and InverseFunctional tests for approval

• From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
• Date: Tue, 27 Aug 2002 14:05:00 +0200
• To: <www-webont-wg@w3.org>
• Message-ID: <MABBLGKMPIJFCKFGDBEPEEBICBAA.jjc@hplb.hpl.hp.com>

Peter asks for these to be reformatted.
This is done by hand for now, so is in some sense inadequate ...

FunctionalProperty test002

DESCRIPTION

 If prop is an owl:FunctionalProperty,
 and a resource has prop arcs pointing to two
 different URIrefs, then those two URIrefs denote the
 same resource, and hence each have the same properties.

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/"
  xmlns:this="http://www.w3.org/2002/03owlt/FunctionalProperty/premises002#"
  xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises002" >
    <owl:FunctionalProperty rdf:ID="prop"/>
    <rdf:Description rdf:ID="subject">
      <this:prop rdf:resource="#object1" eg:prop2="value" />
      <this:prop rdf:resource="#object2" />
    </rdf:Description>
</rdf:RDF>

CONCLUSION

<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:eg ="http://www.example.org/"
  xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/test002" >
    <rdf:Description rdf:about="premises002#object2" eg:prop2="value"/>
</rdf:RDF>

InverseFunctionalProperty test001

DESCRIPTION

 If prop is an owl:InverseFunctionalProperty,
 and a resource has prop arcs pointing from two
 different URIrefs, then those two URIrefs denote the
 same resource.

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:this="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises
001#"

xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises00
1" >
    <owl:InverseFunctionalProperty rdf:ID="prop"/>
    <rdf:Description rdf:ID="subject1">
      <this:prop rdf:resource="#object" />
    </rdf:Description>
    <rdf:Description rdf:ID="subject2">
      <this:prop rdf:resource="#object" />
    </rdf:Description>
</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#"
xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusion
s001" >
    <rdf:Description rdf:about="premises001#subject1">
      <owl:sameIndividualAs rdf:resource="premises001#subject2" />
    </rdf:Description>
</rdf:RDF>

InverseFunctionalProperty test002

DESCRIPTION

 If prop is an owl:InverseFunctionalProperty,
 and a resource has prop arcs pointing to two
 different URIrefs, then those two URIrefs denote the
 same resource, and hence each have the same properties.

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

xmlns:this="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises
002#"

xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises00
2" >
    <owl:InverseFunctionalProperty rdf:ID="prop"/>
    <rdf:Description rdf:ID="subject1" eg:prop2="value" >
      <this:prop rdf:resource="#object" />
    </rdf:Description>
    <rdf:Description rdf:ID="subject2" >
      <this:prop rdf:resource="#object" />
    </rdf:Description>
</rdf:RDF>

CONCLUSION

<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:eg ="http://www.example.org/"
xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusion
s002" >
    <rdf:Description rdf:about="premises002#subject2" eg:prop2="value"/>
</rdf:RDF>

Received on Tuesday, 27 August 2002 08:00:26 UTC