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>
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:40:22 UTC