Difference between cardinality=1 and FunctionalProperty?

• From: Roger L. Costello <costello@mitre.org>
• Date: Wed, 26 Mar 2003 06:39:07 -0500
• To: www-rdf-logic@w3.org
• CC: "Costello,Roger L." <costello@mitre.org>
• Message-ID: <3E81915B.41ED8BA9@mitre.org>

Hi Folks,

Aren't the below two forms essentially stating the same thing:

     <owl:Class rdf:ID="Gun">
          <rdfs:subClassOf>
                <owl:Restriction>
                        <owl:onProperty rdf:resource="#serial"/>
                        <owl:cardinality>1</owl:cardinality>
                </owl:Restriction>
          </rdfs:subClassOf>
     </owl:Class>

     <owl:ObjectProperty rdf:ID="serial">
           <rdfs:domain rdf:resource="#Gun"/>
           <rdfs:range rdf:resource="&rdfs;#Literal"/>
     </owl:ObjectProperty>

VERSUS

     <owl:Class rdf:ID="Gun"/>

     <owl:FunctionalProperty rdf:ID="serial">
          <rdfs:domain rdf:resource="Gun" />
          <rdfs:range  rdf:resource="&rdfs;#Literal"/>
     </owl:FunctionalProperty>

Both forms state that an instance of Gun must have exactly one value for
the serial property; e.g.,

     <Gun rdf:ID="SmithWesson">
          <serial>ABCD</serial>
     </Gun>

Correct?  /Roger

Received on Wednesday, 26 March 2003 06:37:10 UTC