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

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

From: Guha <guha@guha.com>
Date: Wed, 29 Nov 2000 12:24:30 -0800
Message-ID: <3A2565FE.2AC8C0A4@guha.com>
To: Ora Lassila <daml@lassila.org>
CC: www-rdf-logic@w3.org

 I think they *are* supposed to be disjoint. Can you give
me an example of an RDF  property that is also a class?


Ora Lassila wrote:

> 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 Wednesday, 29 November 2000 15:20:41 UTC

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