Re: Part-whole example for how-to-do document from Jos De_Roo on 2002-09-12 (www-webont-wg@w3.org from September 2002)

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 12 Sep 2002 15:50:56 +0200
To: larry.eshelman@philips.com
Cc: www-webont-wg@w3.org
Message-ID: <OFEAFB4225.A606E8BE-ONC1256C32.004A89DD@agfa.be>

[...]

> Classes:
>
> widget:Component     rdf:type rdfs:Class.
> widget:IntegralWhole rdf:type rdfs:Class.
>
> Properties:
>
> widget:hasPart       rdf:type            rdfs:Property.
> widget:PartOf        owl:inverseOf       widget:hasPart
>
> widget:hasComponent  rdf:SubPropertyOf   widget:hasPart
> widget:hasComponent  rdf:type            rdfs:TransitiveProperty.
> widget:hasComponent  owl:allValuesFrom widget:Component.
> widget:componentOf   owl:inverseOf     widget:hasComponent.
> widget:componentOf   owl:allValuesFrom widget:Component 
widget:IntegralWhole.
> widget:componentOf   owl:cardinality 1.

I don't understand
  widget:hasComponent  owl:allValuesFrom widget:Component.
did you mean
  widget:hasComponent  rdfs:range widget:Component.
or is there a
  restriction(widget:hasComponent owl:allValuesFrom(widget:Component))
?

and also
  widget:componentOf   owl:allValuesFrom widget:Component.
  widget:componentOf   owl:cardinality 1.
did you mean
  widget:componentOf   rdfs:range widget:Component.
  widget:componentOf   rdf:type owl:FuntionalProperty.
or is there a
  restriction(widget:componentOf owl:allValuesFrom(widget:Component) 
owl:cardinality(1))
?

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Thursday, 12 September 2002 09:51:34 UTC