- From: Dan Connolly <connolly@w3.org>
- Date: Mon, 02 Jul 2001 17:37:15 -0500
- To: Richard Fikes <fikes@KSL.Stanford.EDU>, www-rdf-logic <www-rdf-logic@w3.org>
Dan Connolly wrote: [...] > > That is, the above example > > restriction could also contain a value "Sam-Jones" for property hasValue > > so that the restriction is saying that it is the class of all objects > > that have "Sam-Jones" as a parent and all of whose parents are type > > "Person". The RDF for that restriction would be: > > > > (Type R Restriction) > > (onProperty R parent) > > (toClass R person) > > (hasValue R Sam-Jones) > > Yes... provided Sam-Jones is a parent, that's the same as > > (Type R Restriction) > (onProperty R parent) > (hasValue R Sam-Jones) > > no? Oops... no, I spoke/wrote too quickly. Perhaps it's not so simple to fix after all. Hmm... -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Monday, 2 July 2001 18:37:17 UTC