- From: Ziv Hellman <ziv@unicorn.com>
- Date: Sun, 20 May 2001 12:29:59 +0200
- To: "pat hayes" <phayes@ai.uwf.edu>, "Danny Ayers" <danny@panlanka.net>
- Cc: <www-rdf-logic@w3.org>
Received on Sunday, 20 May 2001 05:30:57 UTC
Hmm... but if there are "significant implications" for computational advantages once one gets to the level of automated reasoners, then this is an argument that carries much more practical weight than purely "aesthetic" ones, and _should_ get more air-time. No? Same with reasoning - how would you go about querying this alongside e.g. a list of Director, Age Restriction, Country of origin, Duration + another 4 sets I can't think of... Reasoners have been using formats like this since the 1960s. You would unify the two expressions from left to right. I also suspect that there is something happening at a psychological level in these arguments - it's far easier for a human to relate to information in a structure like that below - but is this necessarily the case for machines? Yes, there are significant computational advantages. In general, the more stuff you can incorporate into the unifier, the more efficient the inference search: you tend to be trading an exponential for a linear cost, a very good trade. Pat Hayes
Received on Sunday, 20 May 2001 05:30:57 UTC