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.


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
>-- .
Received on Tuesday, 11 June 2002 19:07:02 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:13 UTC