qualified restrictions - syntax proposal

Add to the language:
owl:QualifiedRestriction
and
owl:valuesFrom


1: Unqualified restrictions
   - cardinality, maxCardinality, minCardinality

all unchanged

2: Qualified cardinaltiy restrictions

<owl:QualifiedRestriction>
  <owl:onProperty>
     <owl:ObjectProperty rdf:about="#foo"/>
  </owl:onProperty>
  <owl:cardinality rdf:datatype="&xsd;int">3</owl:cardinality>
  <owl:valuesFrom>
     <owl:Class rdf:about="#bar"/>
  </owl:valuesFrom>
</owl:QualifiedRestriction>


<owl:QualifiedRestriction>
  <owl:onProperty>
     <owl:DatatypeProperty rdf:about="#foo"/>
  </owl:onProperty>
  <owl:minCardinality rdf:datatype="&xsd;int">3</owl:cardinality>
  <owl:valuesFrom>
     <owl:DataRange>
 ... ugly ..
     </owl:DataRange>
  </owl:valuesFrom>
</owl:QualifiedRestriction>

etc.

3. someValuesFrom and allValuesFrom changed to use owl:QualifiedRestricition 
e.g

<owl:QualifiedRestriction>
  <owl:onProperty>
     <owl:ObjectProperty rdf:about="#foo"/>
  </owl:onProperty>
  <owl:someValuesFrom>
     <owl:Class rdf:about="#bar"/>
  </owl:someValuesFrom>
</owl:QualifiedRestriction>

<owl:QualifiedRestriction>
  <owl:onProperty>
     <owl:DatatypeProperty rdf:about="#foo"/>
  </owl:onProperty>
  <owl:allValuesFrom rdf:resource="&xsd;byte"/>
</owl:QualifiedRestriction>

So QualifiedRestricitions have either 3 child elements or 2 child elements.
Jeremy

Received on Thursday, 24 April 2003 14:18:17 UTC