- From: Marko Luther <luther@docomolab-euro.com>
- Date: Sat, 17 Oct 2009 18:57:12 +0200
- To: public-owl-comments@w3.org
- Message-Id: <ED352743-D08A-4C5F-8461-5CB0897F0058@docomolab-euro.com>
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>
Attachments
- application/pkcs7-signature attachment: smime.p7s
Received on Saturday, 17 October 2009 16:57:58 UTC