Typo in 'Interpretation of Axioms and Facts' table from Turner, David on 2007-04-05 (public-webont-comments@w3.org from April 2007)

From: Turner, David <davidt@hp.com>
Date: Thu, 5 Apr 2007 10:36:35 +0100
To: <public-webont-comments@w3.org>
Message-ID: <86FE9B2B91ADD04095335314BE6906E8D6D4DF@sdcexc04.emea.cpqcorp.net>

The table 'Interpretation of Axioms and Facts' [1] has an unbound
variable c in the right-hand column of the rows for the DatatypeProperty
and ObjectProperty constructs, in the condition

   <S(c),S(owl:DeprecatedProperty)> \in ER(rdf:type)

I suspect it should be a p, as in

   <S(p),S(owl:DeprecatedProperty)> \in ER(rdf:type)

Looks like a copy-and-paste error to me.


[1] http://www.w3.org/TR/owl-semantics/direct.html#3.3



-- 
Dave Turner  Cube T400, HP Labs Bristol, Filton Road, Bristol BS34 8QZ
davidt@hp.com          +44 117 3129104 (Work) +44 7962 811627 (Mobile)

Hewlett-Packard Limited. Registered No: 690597 England
Registered Office: Cain Road, Bracknell, Berks RG12 1HN

Received on Thursday, 5 April 2007 09:36:46 UTC