The classic example of subProperties is: "brother is a subproperty of
Because every pair of brothers is also a pair of siblings.
I don't know the exact meaning of your predicates, but if it is true
Forall X, Y =20
IF X isManufacturedFrom Y then it necessarily follows that=20
X ManufacturingInvolves Y.
Then the subpropertyOf holds, by definition.
M&CT, Phantom Works=20
COOL TIP: to skip the phone menu tree and get a human on the phone, go
From: S Page [mailto:skierpage@...
Sent: Monday, August 13, 2007 3:34 PM
To: Uschold, Michael F
Subject: Re: [Semediawiki-user] Does SMW have any support for
Uschold, Michael F wrote:
> I looked everywhere I could think of, and saw no examples or discusion
> of how SMW supports rdfs subproperties.
> There would have to be a sub-relation analogous to subCategory, but I=20
> found no references to this, nor to any workaround where by this may=20
> be supported.
If you look in the code, it seems people are thinking about it...
MediaWiki doesn't have anything that maps directly to rdfs:subproperty,
but you're free to create your own Relation:subproperty_of and use
http://ontoworld.org/wiki/Help:Import_vocabulary to export it in RDF as
rdfs:subPropertyOf. (subClassOf is not listed in
http://ontoworld.org/wiki/MediaWiki:Smw_import_rdfs, so you can't
currently do this on ontoworld.org.)
Would you use it to say, e.g. Relation:isManufacturedFrom is a
subproperty of Relation:ManufacturingInvolves ?