Re: MISC: Internet Media Type registration: proposed TAG finding

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