Typos in the OWL/XML variant of the sample ontology given in the OWL 2 Primer

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  <http://www.docomolab-euro.com>
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>

Received on Saturday, 17 October 2009 16:57:58 UTC