- From: Nikita Ogievetsky <nogievet@cogx.com>
- Date: Mon, 10 Mar 2003 22:22:15 -0800
- To: <www-rdf-logic@w3.org>, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, "Peter Crowther" <Peter.Crowther@networkinference.com>
> > In other words, "is-a CityOnARiver" assertion will be inferred from > > "hasFeature YYYRiver", "is-a City"? > Peter F. Patel-Schneider wrote: > OWL reasoners sign up to support this sort of inference. Peter Crowther wrote: > A different Peter, I know, but... yes. > > > This is very becoming but also looks rather dangerous. > > I wonder if tools can really support this. > > OilEd, for example, seems to support it without much difficulty. Dear Peters, thanks :-) This is quite interesting! I will try to play with it. Thomas's question is actually related to the doubts I was talking about. This kind of inferences seams to be OK for some simple cases, but as class definitions are getting more complex ... And if you need to make several inferencing "hops"... Well that is were the fun begins! Smells like a potential for uncertainties ... --Nikita
Received on Tuesday, 11 March 2003 01:22:25 UTC