W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > June 2002

Re: new semantics initiative drafts

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Tue, 11 Jun 2002 23:53:01 +0200
To: guha@guha.com
Cc: "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>, "patrick hayes <phayes" <phayes@ai.uwf.edu>
Message-ID: <OF76C18B45.6F0DD03B-ONC1256BD5.006F64FD@agfa.be>


> Drafts of the documents that Pat mentions are now available.
>
> a) Semantics for the Languages of the Semantic Web:
> This document describes the technique of providing a semantics
> for a semantic web language Li by using a
> base logic, defined in this document, called Lbase. Also explains
> its equivalence with the approach of defining
> a model theory directly for Li.
>
> url: http://tap.stanford.edu/SemanticWebSemantics.html
>
> This document should probably eventually become a W3C Note.
>
> b) RDF(S) Semantics based on LBase:
> This rather short document provides a set of axioms that
> provide the semantics for RDF(S) based on Lbase.
>
> url: http://www.coginst.uwf.edu/~phayes/RDF(S)_based_on_Lbase.html
>
> This document should eventually become part of the rdf spec
> alongside the MT document.
>
> Feedback please!

I basically find a new MT speak Lbase/Li and no bugs I think
I'm just wondering about any impact on the current testcases
-- http://www.w3.org/2000/10/rdf-tests/rdfcore/
-- http://www.w3.org/2002/03owlt/
if any???

-- .
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 11 June 2002 17:56:01 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:49:13 EDT