owl:Restriction

• From: Gary Ng <Gary.Ng@networkinference.com>
• Date: Tue, 5 Aug 2003 12:04:48 +0100
• To: "Www-Rdf-Logic@W3.Org" <www-rdf-logic@w3.org>
• Message-ID: <3BE4D3F0FB726240966DEF40418472B53E9905@ni-lon-server1.ad.networkinference.com>

Hi all,

I am confused as to whether the following piece of OWL is valid:

<owl:Restriction>
  <owl:onProperty rdf:resource="#callThemselves" />
  <owl:hasValue   rdf:datatype="&xsd;string">Human</owl:hasValue>
  <rdfs:subClassOf rdf:resource="#HomoSapien"/>
</owl:Restriction>

It does not violate the definition of owl restriction, as it has exactly
one onProperty, and exactly one value constraint.

I believe this is valid (albeit unconventional) as owl:Restriction is a
"subclass" of owl:Class. The normative RDF Schema for owl seems to
suggest that anything that can appear within owl:Class can certainly
appear in owl:Restriction in the RDF XML format. (e.g. the rdfs:domain
for intersectionOf is a Class).

Please yell if I am totally wrong. If it is invalid, we need to make
sure our tools do not export this form.

Cheers,

Gary


Gary Ng, PhD 	     gary.ng@networkinference.com
Senior Software Engineer
Network Inference (Holdings) Ltd
Tel: +44 (0) 20 7616 0717 Fax: +44 (0) 20 7616 0701

Received on Tuesday, 5 August 2003 07:04:57 UTC