- From: R.V.Guha <guha@guha.com>
- Date: Tue, 11 Jun 2002 16:06:22 -0700
- 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 UTC