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

Re: new semantics initiative drafts

From: R.V.Guha <guha@guha.com>
Date: Tue, 11 Jun 2002 16:06:22 -0700
Message-ID: <3D06826E.7050405@guha.com>
To: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
CC: w3c-rdfcore-wg@w3.org, phayes@ai.uwf.edu

We should probably expand on it ...

Imagine the following : OWL defines one model theory. RDF defines a 
completely different
one. DAML-S defines a third completely different one and so on.

 A particular KB, mixes vocabulary and axioms from all of these 
languages, i.e., involves
rdfs:subPropertyOf, owl:xyz, damls:abc and so on. Now, which model 
theory should we
be using to determine what is a valid entailment? Not clear.

 This is what we meant by that statement.

guha

Jos De_Roo wrote:

>
>I think I'm not completely understanding the last part of
>
>[[[
>   Further, we believe that a melange of model theories
>   will adversely impact developers building agents that
>   implement proof systems for these layers, since the
>   proof systems will likely be different for each layer.
>]]]
>    -- http://tap.stanford.edu/SemanticWebSemantics.html
>
>but anyhow, this gives us also a strong motivation/challenge
>
>-- .
>Jos
>  
>
Received on Tuesday, 11 June 2002 19:07:02 EDT

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