OWL 2 Primer: example ontology has several undeclared entities

Dear OWL Working Group,

Section 13 of the OWL 2 Primer contains an example "families" ontology:

 
<http://www.w3.org/TR/2009/REC-owl2-primer-20091027/#Appendix:_The_Complete_Sample_Ontology>

I have found that for several classes and properties used in axioms of 
the ontology there are no entity declarations of the form 
"Declaration(...)". Examples are the class ":Grandfather" and the 
property ":hasRelative". The full set of undeclared entities can be seen 
by applying the OWLAPI-based online OWL validator at:

     <http://owl.cs.manchester.ac.uk/validator/>

This tool also confirms that the ontology is not a valid OWL 2 DL 
ontology due to the missing declarations.

Best regards,
Michael Schneider

-- 
.........................................................
Dipl.-Inform. Michael Schneider
Research Scientist, IPE / WIM

FZI Forschungszentrum Informatik
Haid-und-Neu-Str. 10–14
76131 Karlsruhe, Germany
Tel.: +49 721 9654-726
Fax: +49 721 9654-727

michael.schneider@fzi.de
www.fzi.de

.........................................................
Forschungszentrum Informatik (FZI) an der Universität Karlsruhe
Stiftung des bürgerlichen Rechts
Stiftung Az: 14-0563.1 Regierungspräsidium Karlsruhe
Vorstand: Dipl. Wi.-Ing. Michael Flor, Prof. Dr. Ralf Reussner,
Prof. Dr. Rudi Studer, Prof. Dr.-Ing. J. Marius Zöllner
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
.........................................................

Received on Sunday, 25 March 2012 17:49:42 UTC