W3C home > Mailing lists > Public > www-rdf-interest@w3.org > February 2003

RE: Domain/Range Woes

From: Peter Crowther <Peter.Crowther@networkinference.com>
Date: Thu, 6 Feb 2003 11:30:50 -0000
Message-ID: <3BE4D3F0FB726240966DEF40418472B5012CB0@ni-lon-server1.ad.networkinference.com>
To: <www-rdf-interest@w3.org>

> From: Stephen K. Rhoads [mailto:rhoads@thrupoint.net] 
> > Well, validation may not be what you get.  If you now state 
> > something like
> >
> > <rdf:Description rdf:about="#John">
> >   <name>John</name>
> > </rdf:Description>
> >
> > There is nothing wrong.  All that you have said is that 
> John is either a
> > Person or a ContentProvider (or both).
> 
> But wouldn't a validator spit out an error saying that name 
> cannot be used
> with #John because #John has not been declared to be of type Person or
> ContentProvider -- which is the domain of name?

Depends on what this mythical 'validator' is supposed to do.  However,
if you simply use an appropriate inference engine such as Cerebra, FaCT
or Racer, the answer is a firm No.  Instead, the engine would use your
domain statement to deduce additional information about John.  As there
is nothing inconsistent with that additional information in your
ontology, there's nothing invalid.

		- Peter
Received on Thursday, 6 February 2003 06:31:26 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:58 GMT