RE: John Doe the Boxer

Thanks for your quick response!
 
re 3: which tool(s) would you recommend?
 
Regards,
Hans

  _____  

From: semantic-web-request@w3.org [mailto:semantic-web-request@w3.org] On
Behalf Of Yuzhong Qu
Sent: woensdag 13 april 2005 3:29
To: Hans Teijgeler
Cc: SWIG
Subject: 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 <mailto:hans.teijgeler@quicknet.nl>  
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>
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