I just came across [1] the use of reification for describing inheritance with exceptions - e.g. mammals have 4 legs, bats which are mammals have 2. This would strike me as being a very desirable facility, though how this appears in the RDF version of reification, or whether there's an equally good way of doing this (using the quantification in DAML+OIL?) I've no idea. [1] Artificial Intelligence - A Modern Approach, Russell & Norvig 1995. (someone <Dan C?> recommended this book recently as required reading, and quite rightly too - it's getting a bit old, but it could hardly be more comprehensive) --- Danny Ayers http://www.isacat.netReceived on Thursday, 17 May 2001 05:47:48 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:45:37 UTC