> 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