Re: John Doe the Boxer

Some comments:

1. "rdf:Type"  should be "rdf:type".

2. To be within OWL DL, the properties other than the built-ins should be explicitly declared. 

hasAge, minimumAge, hasWeightInKg, MinimumWeightInKg, MaximumWeightInKg

Each of them should be typed with owl:DatatypeProperty. The first two properties should have xsd:positiveInteger as their range, and the others should have xsd:float as their range (instead of xsd:decimal). 

3. You can use some tools to build (and check) your ontology.

4. The web ontology language OWL itself doesn't deal with the change of fact, e.g. John's weight went up to 70 kg. The solution to this issue is application-specific, and the general solution need to be further researched. 


Hope the above comments be useful to you.


Yuzhong Qu


  ----- Original Message ----- 
  From: Hans Teijgeler 
  To: semantic-web@w3.org 
  Sent: Wednesday, April 13, 2005 4:35 AM
  Subject: 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"/>
                  <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"/>
                  <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
  author of ISO 15926-7
  website www.InfowebML.ws
  e-mail hans.teijgeler@quicknet.nl
  phone +31-72-509 2005