John Doe the Boxer

Assume: John Doe is a 23 years old and weighs 68.5 kg. He is an amateur
boxer and has a license with the AIBA (International Amateur Boxing
Association) as a "Senior Male Welter Weight Boxer":
 
<owl:Class rdf:ID="Boxer"/>
 
<owl:Class rdf:ID="BoxerToAibaRules">
     <rdfs:subClassOf rdf:resource="#Boxer"/>
</owl:Class>
 
<owl:Class rdf:ID="Man">
      <rdfs:subClassOf rdf:resource="#Person"/>
      <rdfs:subClassOf rdf:resource="#Male"/>
</owl:Class>
 
<owl:Class rdf:ID="MaleBoxerToAibaRules">
     <rdfs:subClassOf rdf:resource="#BoxerToAibaRules"/>
     <rdfs:subClassOf rdf:resource="#Man"/>
</owl:Class>
 
<owl:Class rdf:ID="SeniorMaleBoxerToAibaRules">
     <rdfs:subClassOf rdf:resource="#MaleBoxerToAibaRules"/>
     <minimumAge rdf:datatype="&xsd;positiveInteger">19</minimumAge>
</owl:Class>
 
<owl:Class rdf:ID="SeniorMaleWelterWeightBoxerToAibaRules">
     <rdfs:subClassOf rdf:resource="#SeniorMaleBoxerToAibaRules"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="
<http://www.aiba.org/owl#MinimumWeightInKg>
http://www.aiba.org/owl#MinimumWeightInKg"/>
                <owl:hasValue
rdf:datatype="&xsd;decimal">64.0</owl:hasValue>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="
<http://www.aiba.org/owl#MaximumWeightInKg>
http://www.aiba.org/owl#MaximumWeightInKg"/>
                <owl:hasValue
rdf:datatype="&xsd;decimal">69.0</owl:hasValue>
            </owl:Restriction>
        </rdfs:subClassOf>
</owl:Class>
 
<Person rdf:about="John Doe">
     <rdf:Type rdf:resource=#SeniorMaleWelterWeightBoxerToAibaRules"/>
     <hasAge rdf:datatype="&xsd;decimal">23</owl:hasAge>
     <hasWeightInKg rdf:datatype="&xsd;decimal">68.5</owl:hasWeightInKg>
</Person>
 
--------------------------------------------------------------
 
My questions are:
1) is the above listing correct? If not, where did I go wrong?
2) if John has eaten too many steaks and his weight went up to, say, 70 kg,
how can we:
     - tell that the weight of 68.5 kg is no longer valid, and now is 70 kg?
     - tell that, because of that, he does no longer qualify for the Welter
Weight class?
 
____________________________
Hans Teijgeler
co-author of ISO 15926-2 <http://www.infowebml.ws/ECM4.5/ECM4.5.html> 
author of ISO 15926-7
website www.InfowebML.ws <http://www.infowebml.ws/> 
e-mail hans.teijgeler@quicknet.nl
phone +31-72-509 2005