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

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

Guha

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.3.1 : Wednesday, 2 March 2016 11:10:33 UTC