LC3 Responses/ML1

From OWL
Revision as of 16:43, 19 October 2009 by Markus Krötzsch (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

To: luther@docomolab-euro.com
CC: public-owl-comments@w3.org
Subject: [LC response] To Marko Luther

Dear Marko,

Thank you for your comment
     <http://lists.w3.org/Archives/Public/public-owl-comments/2009Oct/0010.html>
on the OWL 2 Web Ontology Language last call drafts.

Thank you very much for the thorough comments. We have implemented all the proposed changes to make the OWL/XML serialization validate, see the according diffs [1] and [2]. As to the suggested alternative handling of the rdf: and xsd: namespaces, we encountered problems when applying conversion tools [3] to the modified version, whence we preferred to stick with the current (correct) way of specifying them.

[1] http://www.w3.org/2007/OWL/wiki/index.php?title=Primer&diff=26024&oldid=25969

[2] http://www.w3.org/2007/OWL/wiki/index.php?title=Primer&diff=26033&oldid=26027

[3] http://owl.cs.manchester.ac.uk/converter/

Please acknowledge receipt of this email to <mailto:public-owl-comments@w3.org> (replying to this email should suffice). In your acknowledgment please let us know whether or not you are satisfied with the working group's response to your comment.

Regards,
Sebastian Rudolph
on behalf of the W3C OWL Working Group



CUT AND PASTE THE BODY OF THE MESSAGE (I.E. FROM "Dear" TO "Group") INTO THE BODY OF AN EMAIL MESSAGE. SET THE To:, CC:, AND Subject: LINES ACCORDINGLY.

PLEASE TRY TO REPLY IN A WAY THAT WILL ALLOW THREADING TO WORK APPROPRIATELY, I.E., SO THAT YOUR REPLY CONTINUES THE THREAD STARTED BY THE ORIGINAL COMMENT EMAIL


I have found some typos in the OWL/XML version of the complete sample  
ontology given in the OWL 2 Primer in Appendix 13 at

<http://www.w3.org/2007/OWL/wiki/Primer#Appendix:_The_Complete_Sample_Ontology 
 >

that make the ontology fail to validate against the given XML schema.  
Applying the substitutions given at the end of this message makes the  
ontology valid.
Furthermore, the entity declarations at the head of the ontology

<!DOCTYPE Ontology [
<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
]>

could be removed if the references "&xsd;" and "&rdfs;" to these  
entities would be replaced by the corresponding default prefix names  
"xsd:" and "rdfs:".

I strongly suggest that all examples given in any syntax to respect  
the specification,
Marko Luther

--
Dr. Marko Luther
Phone:  +49-89-56824-204  mailto:luther@docomolab-euro.com
Fax:      +49-89-56824-301  >
Mobile: +49 172-855 7763

DOCOMO Communications Laboratories Europe GmbH
Landsberger Strasse 312, 80687 Munich, Germany
Geschäftsführer: Dr. Masami Yabusaki, Dr. Narumi Umeda, Kazushige  
Yoshida
Amtsgericht München, HRB 132967

--

"PropertyChain" => "ObjectPropertyChain"
"SameIndividuals" => "SameIndividual"
"URI" => "IRI"

<SameIndividual>
      <Individual IRI="John"/>
      <Individual IRI="otherOnt:JohnBrown"/>
    </SameIndividual>
    <SameIndividual>
      <Individual IRI="Mary"/>
      <Individual IRI="otherOnt:MaryBrown"/>
</SameIndividual>
=>
<SameIndividual>
      <NamedIndividual IRI="John"/>
      <NamedIndividual abbreviatedIRI="otherOnt:JohnBrown"/>
    </SameIndividual>
    <SameIndividual>
      <NamedIndividual IRI="Mary"/>
      <NamedIndividual abbreviatedIRI="otherOnt:MaryBrown"/>
</SameIndividual>


      <ObjectHasValue>
        <ObjectProperty IRI="hasParent"/>
        <Individual IRI="John"/>
      </ObjectHasValue>
=>
      <ObjectHasValue>
        <ObjectProperty IRI="hasParent"/>
        <NamedIndividual IRI="John"/>
      </ObjectHasValue>

IRI="otherOnt:child" => abbreviatedIRI="otherOnt:child"
IRI="otherOnt:age" => abbreviatedIRI="otherOnt:age"
IRI="otherOnt:Grownup" => abbreviatedIRI="otherOnt:Grownup"


    <SubClassOf>
      <Class IRI="ChildlessPerson"/>
      <ObjectIntersectionOf>
        <Class IRI="Person"/>
        <ObjectComplementOf>
          <ObjectSomeValuesFrom>
            <InverseObjectProperty>
              <ObjectProperty IRI="hasParent"/>
            </InverseObjectProperty>
            <Class abbreviatedIRI="owl:Thing"/>
          </ObjectSomeValuesFrom>
        </ObjectComplementOf>
      </ObjectIntersectionOf>
    </SubClassOf>
=>
    <SubClassOf>
      <Class IRI="ChildlessPerson"/>
      <ObjectIntersectionOf>
        <Class IRI="Person"/>
        <ObjectComplementOf>
          <ObjectSomeValuesFrom>
            <ObjectInverseOf>
              <ObjectProperty IRI="hasParent"/>
            </ObjectInverseOf>
            <Class abbreviatedIRI="owl:Thing"/>
          </ObjectSomeValuesFrom>
        </ObjectComplementOf>
      </ObjectIntersectionOf>
    </SubClassOf>

   <EquivalentClasses>
      <Class IRI="Orphan"/>
      <ObjectAllValuesFrom>
        <InverseObjectProperty>
          <ObjectProperty IRI="hasChild"/>
        </InverseObjectProperty>
        <Class IRI="Dead"/>
      </ObjectAllValuesFrom>
    </EquivalentClasses>
=>
    <EquivalentClasses>
      <Class IRI="Orphan"/>
      <ObjectAllValuesFrom>
        <ObjectInverseOf>
          <ObjectProperty IRI="hasChild"/>
        </ObjectInverseOf>
        <Class IRI="Dead"/>
      </ObjectAllValuesFrom>
    </EquivalentClasses>