Datatype restricted- allValuesFrom

Hi All:
 
I have the following questions:
 
1. ) Could a datatype Property be restricted with  an "allValuesFrom"
restriction ?
 (I think is possible, but it will be OWL-Full)
 e.g. :
 
 <owl:DatatypeProperty rdf:ID="hasB">
    <rdfs:domain rdf:resource="#A"/>
 <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/
<http://www.w3.org/2001/XMLSchema#string> >    
  </owl:DatatypeProperty>
  
  <owl:Class rdf:ID="A">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom rdf:resource ="#B"/>         
         <owl:onProperty rdf:resource ="#hasB"/>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
 
  <owl:Class rdf:ID="B"/>
  <B rdf:ID="b1"/>
  <B rdf:ID="b2"/>
 
2.) If it is possible how should an individual look like?
 
 
  <A rdf:ID="individual_a">
    <hasB rdf:resource="#b1"/>
  </A>
 
or 
 
 <A rdf:ID="individual_a"> 
    <hasB>ns:b1<hasB>
  </A>



  3.) If I want to extend a datatype property so that it should be
restricted to a set of individuals is  the previous the best way to go, or
is there any work around to have it in OWL-DL ? 
 
Thank you very much,
 
Luis Bermudez
leb27@drexel.edu
 

Received on Wednesday, 18 February 2004 08:38:03 UTC