Re: John Doe the Boxer

As to the tools, Protege is one of the candidates.

Manchester Univ., Maryland Univ. and others did a lot of works on tools for building, checking and debugging OWL ontology.


Yuzhong Qu
  ----- Original Message ----- 
  From: Hans Teijgeler 
  To: 'Yuzhong Qu' 
  Cc: 'SWIG' 
  Sent: Wednesday, April 13, 2005 5:44 PM
  Subject: 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 
    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