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
• To: Ora Lassila <daml@lassila.org>
• CC: www-rdf-logic@w3.org
• Message-ID: <3A2539A0.E52B2379@ksl.stanford.edu>

> 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.

Cheers,
Richard

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