W3C home > Mailing lists > Public > www-rdf-logic@w3.org > November 2000

Re: An Axiomatic Semantics of RDF, RDF Schema, and DAML-ONT

From: Richard Fikes <fikes@KSL.Stanford.EDU>
Date: Wed, 29 Nov 2000 09:15:12 -0800
Message-ID: <3A2539A0.E52B2379@ksl.stanford.edu>
To: Ora Lassila <daml@lassila.org>
CC: www-rdf-logic@w3.org
> let me say that (as the author of the RDF M+S spec) I find
> Richard and Deborah's document *extremely* helpful in communicating the
> meaning of the original RDF specification(s). The document even
> formalizes some of our non-verbalized intentions...
> I hope this helps others in understanding the RDF model.

Thanks much for the compliment.

> Small comment: Ax8 says that Property and Class are disjoint. Maybe I am
> missing something, but I fail to see the justification for this (we
> didn't intend this when working on the RDF Schema spec).

Ok.  I incorrectly presumed their disjointness from Figure 1 in Section
2.1.1 of the RDF Schema spec, which shows properties and classes as
nonoverlapping rectangles.  Our intent in the axiomatization is to
depict the intent of the language designers rather than to do language
design ourselves, so we will remove axiom Ax8.

Received on Wednesday, 29 November 2000 12:15:19 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:45:35 UTC