| CARVIEW |
Select Language
HTTP/2 200
date: Wed, 08 Oct 2025 23:06:02 GMT
content-type: text/html
content-encoding: gzip
last-modified: Thu, 13 Jul 2023 18:20:30 GMT
cache-control: max-age=2592000, public
expires: Fri, 07 Nov 2025 16:35:34 GMT
vary: Accept-Encoding
access-control-allow-origin: *
x-request-id: 98b70d5b09fe2f50
strict-transport-security: max-age=15552015; preload
x-frame-options: deny
x-xss-protection: 1; mode=block
cf-cache-status: HIT
set-cookie: __cf_bm=m3WMvnT9NyWudTK_lTsYlmq16lmldDC4Vs1hIWNuDRg-1759964762-1.0.1.1-M5qDu6TK5N5rBRN5YUjf2KDsjq3VFfQzDj.upvfidbA375ykFn.MhrK2C0lu4.Y0Yh0y32_CABZwmGL8FlsDEp0UcXkn6N_TBU6_.CpK58w; path=/; expires=Wed, 08-Oct-25 23:36:02 GMT; domain=.w3.org; HttpOnly; Secure; SameSite=None
server: cloudflare
cf-ray: 98b94953d8e7a9c3-BLR
alt-svc: h3=":443"; ma=86400
Review of 14-Dec-2001 RDF model theory document from Graham Klyne on 2002-01-02 (w3c-rdfcore-wg@w3.org from January 2002)
Review of 14-Dec-2001 RDF model theory document
- From: Graham Klyne <GK@NineByNine.org>
- Date: Wed, 02 Jan 2002 17:46:43 +0000
- To: Pat Hayes <phayes@ai.uwf.edu>
- Cc: RDF core WG <w3c-rdfcore-wg@w3.org>
- Message-Id: <5.1.0.14.2.20020102153721.038c61f0@joy.songbird.com>
Pat,
all,
My review comments are attached in the form of an edited document with my
embedded comments in red italic. (They're also in square brackets in case
the colour/italic doesn't come through for some.)
Many of my comments are editorial, trying to take the viewpoint of a
non-logician approaching this material for the first time. These comments
may be heeded or disregarded as you see fit.
I thought the new material on vocabulary entailment was very enlightening.
NOTE: I'm thinking the Strong Herbrand lemma is incorrect as stated. See
my comments in section 2.2 for a counter-example.
#g
--------------------------
__
/\ \ Graham Klyne
/ \ \ (GK@ACM.ORG)
/ /\ \ \
/ / /\ \ \
/ / /__\_\ \
/ / /________\
\/___________/
Attachments
- text/html attachment: w3-rdf-mt-current-draft-GK-comments.html
Received on Wednesday, 2 January 2002 12:50:02 UTC