Jos,

I don't think there should be any impact on the test cases.

I would like your feedback however on how something like lbase could impact and interact with Euler

guha

Jos De_Roo wrote:

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/