W3C home > Mailing lists > Public > www-webont-wg@w3.org > April 2003

qualified restrictions - syntax proposal

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Thu, 24 Apr 2003 20:18:29 +0300
To: www-webont-wg@w3.org
Message-Id: <200304242018.29094.jjc@hpl.hp.com>

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 GMT

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