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

Re: A Model Theoretic Semantics for DAML-ONT

From: Deborah McGuinness <dlm@ksl.stanford.edu>
Date: Thu, 09 Nov 2000 09:44:11 -0800
Message-ID: <3A0AE26B.1EB121A8@ksl.stanford.edu>
To: Dan Connolly <connolly@w3.org>
CC: www-rdf-logic@w3.org, fikes@ksl.stanford.edu
sorry - obviously i had not read the contact info and acceptable use policy
statement in dan's message below..

the document is now available
in word:
http://www.ksl.stanford.edu/people/dlm/DAML-Ont-kif-axioms-001107.doc

html (with a little more formatting)
http://www.ksl.stanford.edu/people/dlm/DAML-Ont-kif-axioms-001107.html

and text
http://www.ksl.stanford.edu/people/dlm/DAML-Ont-kif-axioms-001107.txt

all three are pointed to off of
http://www.ksl.stanford.edu/projects/daml



Dan Connolly wrote:

> Crud! I reviewed this thing in detail, but lost
> it to a crash. Anyway...
>
> Deborah McGuinness wrote:
> [...]
> > The document is attached here as a word document and is also available
> > off of the knowledge systems laboratory's DAML page:
> > http://www.ksl.Stanford.EDU/projects/daml/
> > or directly available from:
> > http://www.ksl.Stanford.EDU/people/dlm/DAML-Ont-kif-axioms-001107.doc
>
> I managed to read it, after fumbling around looking
> for word conversion tools (and finding that abiword,
> which was already installed, works pretty well
> on this document).
>
> I managed to convert it and upload it too:
> http://www.daml.org/2000/10/DAML-Ont-kif-axioms-001107.html
>
> But please, in the future, take it easy on the
> unsolicited attachments, especially proprietary attachments...
>
> [[[
> Contact Info and Acceptable Use Policy
>
> [...]
>
> Attachments in proprietary formats are not welcome. Don't
> assume I have a license to any particular piece of software (e.g.
> Microsoft Word, PowerPoint). Please use plain text, HTML,
> PDF, etc.; i.e. data formats with publicly available specifications
> and multiple widely-available implementations.
> ]]]
>
> -- Dan Connolly, W3C
> http://www.w3.org/People/Connolly/#contact
> Thu, 02 Nov 2000 22:23:23 GMT
>
> --
> bind default <http://www.w3.org/People/Connolly/kb>.
> <mailto:connolly@w3.org> is mailbox of
>   [a Person; called "Dan Connolly";
>   affiliation [ a Consortium; called "W3C";
>              homePage <http://www.w3.org> ];
>   homePage <http://www.w3.org/People/Connolly/>;
>  ].

--
 Deborah L. McGuinness
 Knowledge Systems Laboratory
 Gates Computer Science Building, 2A Room 241
 Stanford University, Stanford, CA 94305-9020
 email: dlm@ksl.stanford.edu
 URL: http://ksl.stanford.edu/people/dlm/index.html
 (voice) 650 723 9770    (stanford fax) 650 725 5850   (computer fax)  801
705 0941
Received on Thursday, 9 November 2000 12:44:08 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:32 UTC