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