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

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
HPLabs



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