- From: Seth Russell <seth@robustai.net>
- Date: Thu, 30 May 2002 12:06:26 -0700
- To: "Dan Connolly" <connolly@w3.org>, "patrick hayes" <phayes@ai.uwf.edu>
- Cc: <www-rdf-logic@w3.org>
From: "patrick hayes" <phayes@ai.uwf.edu> > I wasn't disagreeing with your statement about appeal, but wishing to > convey that phrases like "AAAA inferences" , where AAAA refers to a > formal language with a defined model theory, are pretty universally > understood to mean "inferences that are valid according to the AAAA > semantics". It is pretty hard for me to think what else it could > possibly mean, in fact. Agents reading data from the Semantic Web are being used to aggregate assertions, written in RDF syntax, from many different namespaces and sources. Then these agents calculate entailments based upon the rules which they trust. Why would we want to classify those entailments by the namespaces? Of what conceivable use is that? Seth Russell
Received on Thursday, 30 May 2002 15:12:55 UTC