Lists Home |
Date Index |
Thomas B. Passin wrote,
> Miles Sabin wrote:
> > I've read all of those documents and there's nothing there that's
> > new since Tarski on the MT front, and the rest is KIF, say, with
> > angle brackets.
> > So where's the beef?
> Sure, no one is saying rdf/owl/... is new science (though there has
> been a lot of advances in, say, description logics, since Tarski, it
> is not rdf that has made them), it's adapting known stuff to use on
> the web, to use global identifiers, to piece together bits of
> ontology, and to do so according to some standards.
> That's the potential value.
IMO that's one clear example of value-subtract (DLs are too weak to
express non-trivial arithmetic constraints) and one promissory note.
Just how charitable am I supposed to be?