W3C home > Mailing lists > Public > www-rdf-logic@w3.org > February 2004

Re: Datatype restricted- allValuesFrom

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 18 Feb 2004 09:58:36 -0500 (EST)
Message-Id: <20040218.095836.02856213.pfps@research.bell-labs.com>
To: leb27@drexel.edu
Cc: www-rdf-logic@w3.org

From: Luis Bermudez <leb27@drexel.edu>
Subject: RE: Datatype restricted- allValuesFrom
Date: Wed, 18 Feb 2004 09:42:39 -0500

> Dear Peter:
> 
> Thanks for your fast response. 
> 
> I showed a small example of a my real problem, that is extending an
> ontology, which I cannot change (e.g. resources form datatype to object
> property), by restricting datatype property to only have values of a certain
> class (e.g. Resource B).

This is not allowed in OWL DL, because classes have individuals as
instances, which cannot be data values.

> So when doing :
> 
> <owl:Class rdf:ID="A">
>      <rdfs:subClassOf>
>        <owl:Restriction>
>           <owl:allValuesFrom>
> 	    <rdf:List>
> 	      <rdf:first
> rdf:datatype="http://www.w3.org/2001/XMLSchema#string">b1</rdf:first>
>               <rdf:rest>
> 	        <rdf:List
> rdf:rest="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil">
> 		  <rdf:first
> rdf:datatype="http://www.w3.org/2001/XMLSchema#string">b2</rdf:first>
> 		</rdf:List>
> 	      </rdf:rest>
> 	    </rdf:List>
>           </owl:allValuesFrom>
>          <owl:onProperty rdf:resource ="#hasB"/>         
>        </owl:Restriction>
>      </rdfs:subClassOf>
>    </owl:Class>
> 
> There is no longer any reference that b1 and b2 are individuals of B
> Then you could say that they could be typed as  nm:b1...., This does not
> work for me because is a big list of individuals, and they could constantly
> change.

What you appear to be needing is some way to talk about strings as
individuals, which is not allowed in OWL DL.  However, are you sure you
really want to do this?

> So I think I cannot use OWL-DL.
> 
> Thanks again.
> 
> Luis Bermudez

peter
Received on Wednesday, 18 February 2004 09:58:56 GMT

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