Re: new semantics initiative drafts

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