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

RE: A Model Theoretic Semantics for DAML-ONT (now, an Axiomatic Semantics)

From: McBride, Brian <bwm@hplb.hpl.hp.com>
Date: Sat, 2 Dec 2000 00:00:47 -0000
Message-ID: <5E13A1874524D411A876006008CD059F239528@0-mail-1.hpl.hp.com>
To: www-rdf-logic@w3.org
It is great to have a precise description of RDF and RDFS.
As well as its utility for DAML, this description will be
immensely helpful writing and errata/clarification of the
rdf specs.

A few minor nits:

Where the specified semantics differs from the current
RDF specs, it would be useful to mark this fact with a comment.

Ax15: Should that read:
      (=> (Type ?st Statement)
          (exists ...

Ax38: This says that the property "value" maps a resource to a
      resource or a literal.  Is that not true of all properties,
      not just "value"?

Ax40: I don't recall this constraint being specified anywhere.
      If it were, the domain would be "Container".

Brian McBride

> -----Original Message-----
> From: Ora Lassila [mailto:daml@lassila.org]
> Sent: 29 November 2000 15:03
> To: www-rdf-logic@w3.org
> Subject: Re: A Model Theoretic Semantics for DAML-ONT (now, 
> an Axiomatic
> Semantics)
> First, 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.
> 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).
> Regards,
> 	- Ora
> -- 
> Ora Lassila <daml@lassila.org> +1 (781) 993-4603
Received on Friday, 1 December 2000 19:00:52 UTC

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